Article Title:Graphic visualization and animation of LOTOS execution traces
Abstract:
Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to message sequence charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly. (C) 2002 Elsevier Science B.V. All rights reserved.
Keywords: telecommunications software engineering; formal description techniques; LOTOS; language of temporal ordering specifications; MSC; message sequence charts; graphic animation
DOI: 10.1016/S1389-1286(02)00356-0
Source:COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
Welcome to correct the error, please contact email: humanisticspider@gmail.com