Protocol animation based on event-driven visualization scenarios in real-time LOTOS
Saved in:
| Title: | Protocol animation based on event-driven visualization scenarios in real-time LOTOS |
|---|---|
| Authors: | Yasumoto, Keiichi1 yasumoto@is.aist-nara.ac.jp, Umedu, Takaaki2 umedu@ist.osaka-u.ac.jp, Yamaguchi, Hirozumi2 h-yamagu@ist.osaka-u.ac.jp, Nakata, Akio2 nakata@ist.osaka-u.ac.jp, Higashino, Teruo2 higashino@ics.es.osaka-u.ac.jp |
| Source: | Computer Networks. Dec2002, Vol. 40 Issue 5, p639. 25p. |
| Subjects: | Animation (Cinematography), LOTOS (Computer program language), Synchronous digital hierarchy (Data transmission) |
| 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. [Copyright &y& Elsevier] |
| Copyright of Computer Networks is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 7922556 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Protocol animation based on event-driven visualization scenarios in real-time LOTOS – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Yasumoto%2C+Keiichi%22">Yasumoto, Keiichi</searchLink><relatesTo>1</relatesTo><i> yasumoto@is.aist-nara.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Umedu%2C+Takaaki%22">Umedu, Takaaki</searchLink><relatesTo>2</relatesTo><i> umedu@ist.osaka-u.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Yamaguchi%2C+Hirozumi%22">Yamaguchi, Hirozumi</searchLink><relatesTo>2</relatesTo><i> h-yamagu@ist.osaka-u.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Nakata%2C+Akio%22">Nakata, Akio</searchLink><relatesTo>2</relatesTo><i> nakata@ist.osaka-u.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Higashino%2C+Teruo%22">Higashino, Teruo</searchLink><relatesTo>2</relatesTo><i> higashino@ics.es.osaka-u.ac.jp</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computer+Networks%22">Computer Networks</searchLink>. Dec2002, Vol. 40 Issue 5, p639. 25p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Animation+%28Cinematography%29%22">Animation (Cinematography)</searchLink><br /><searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronous+digital+hierarchy+%28Data+transmission%29%22">Synchronous digital hierarchy (Data transmission)</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. [Copyright &y& Elsevier] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Computer Networks is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=7922556 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/S1389-1286(02)00357-2 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 25 StartPage: 639 Subjects: – SubjectFull: Animation (Cinematography) Type: general – SubjectFull: LOTOS (Computer program language) Type: general – SubjectFull: Synchronous digital hierarchy (Data transmission) Type: general Titles: – TitleFull: Protocol animation based on event-driven visualization scenarios in real-time LOTOS Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Yasumoto, Keiichi – PersonEntity: Name: NameFull: Umedu, Takaaki – PersonEntity: Name: NameFull: Yamaguchi, Hirozumi – PersonEntity: Name: NameFull: Nakata, Akio – PersonEntity: Name: NameFull: Higashino, Teruo IsPartOfRelationships: – BibEntity: Dates: – D: 05 M: 12 Text: Dec2002 Type: published Y: 2002 Identifiers: – Type: issn-print Value: 13891286 Numbering: – Type: volume Value: 40 – Type: issue Value: 5 Titles: – TitleFull: Computer Networks Type: main |
| ResultId | 1 |