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

Saved in:
Bibliographic Details
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