Protocol animation based on event-driven visualization scenarios in real-time LOTOS

Authors:
Keiichi Yasumoto;Takaaki Umedu;Hirozumi Yamaguchi;Akio Nakata;Teruo Higashino
Affiliations:
Graduate School of Information Science, Nara Institute of Science and Technology, 8916-s, Takayama, Ikoma, Nara 630-0192, Japan;Department of Information and Mathematical Sciences, Graduate School of Information Science and Technology, 1-3 Machikaneyama-cho, Osaka University, Osaka 560-8531 Japan;Department of Information and Mathematical Sciences, Graduate School of Information Science and Technology, 1-3 Machikaneyama-cho, Osaka University, Osaka 560-8531 Japan;Department of Information and Mathematical Sciences, Graduate School of Information Science and Technology, 1-3 Machikaneyama-cho, Osaka University, Osaka 560-8531 Japan;Department of Information and Mathematical Sciences, Graduate School of Information Science and Technology, 1-3 Machikaneyama-cho, Osaka University, Osaka 560-8531 Japan
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Year:
2002

Citing 14
Cited 0

VERDI: a visual environment for designing distributed systems

Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Specification styles in distributed systems design and verification

TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Animating algorithms with XTANGO

ACM SIGACT News
A generalized processor sharing approach to flow control in integrated services networks: the single-node case

IEEE/ACM Transactions on Networking (TON)
The visualization of parallel systems: an overview

Journal of Parallel and Distributed Computing - Special issue on tools and methods for visualization of parallel systems and computations
Protocol visualization in Estelle

Computer Networks and ISDN Systems - Special issue on tools for FDTs
Efficient fair queueing using deficit round robin

SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
An introduction to ET-LOTOS for the description of time-sensitive systems

Computer Networks and ISDN Systems
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Proceedings of the 37th Annual Design Automation Conference
A compiler to implement LOTOS specifications in distributed environments

Computer Networks: The International Journal of Computer and Telecommunications Networking
Creating an Accurate Portrayal of Concurrent Executions

IEEE Concurrency
Focusing in Algorithm Explanation

IEEE Transactions on Visualization and Computer Graphics
Visual animation of LOTOS using SOLVE

Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Hardware synthesis from protocol specifications in LOTOS

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a method for animating behavior of communication protocols/systems based on event-driven visualization scenarios (VSs) described in a subclass of E-LOTOS called real-time LOTOS. In the proposed method, first we pick up some interesting events in the original specification of the protocol, and then describe a VS for those events so that the corresponding animations are executed just after their execution. We execute the original specification and its VS in parallel under a multi-way synchronization mechanism so that the corresponding animation is activated when each event in the original specification is executed. To describe animations in real-time LOTOS, we have defined some primitive animation operations as ADT functions. The pair of the original specification and its VS is converted into a multi-threaded Java program using our real-time LOTOS compiler where animation primitives described as ADT functions are replaced in the corresponding methods, implemented as Java class libraries. In our visualization method, we can specify the VS without modifying the original specification, and we can derive a Java program which animates the original specification in real-time. We have carried out an experiment to visualize a real-time LOTOS specification of a prioritized queuing mechanism of the differentiated service where two types of VSs for algorithm animation and performance evaluation are used for visualization.