DSpace Repository

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

Show simple item record

dc.contributor.author Yasumoto, Keiichi
dc.contributor.author Umedu, Takaaki
dc.contributor.author Yamaguchi, Hirozumi
dc.contributor.author Nakata, Akio
dc.contributor.author Higashino, Teruo
dc.date.accessioned 2016-11-24T05:59:58Z
dc.date.available 2016-11-24T05:59:58Z
dc.date.issued 2002-09-17
dc.identifier.uri http://hdl.handle.net/10061/11112
dc.description.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.
dc.language.iso en
dc.publisher Elsevier
dc.rights Copyright c 2002 Elsevier Science B.V. All rights reserved.
dc.subject Protocol animation
dc.subject LOTOS
dc.subject E-LOTOS
dc.subject Multi-way synchronization
dc.subject Real-time systems
dc.subject ompiler
dc.title Protocol animation based on event-driven visualization scenarios in real-time LOTOS
dc.type.nii Journal Article
dc.contributor.alternative 安本, 慶一
dc.contributor.alternative 梅津, 高朗
dc.contributor.alternative 山口, 弘純
dc.contributor.alternative 中田, 明夫
dc.contributor.alternative 東野, 輝夫
dc.identifier.fulltexturl http://www.sciencedirect.com/science/article/pii/S1389128602003572
dc.textversion Author
dc.identifier.jtitle Computer Networks
dc.identifier.volume 40
dc.identifier.issue 5
dc.identifier.spage 639
dc.identifier.epage 663
dc.relation.doi 10.1016/S1389-1286(02)00357-2
dc.identifier.NAIST-ID 73292559


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account