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.

• Type: Journal
• Year: 2002
• Where: CN
• Authors: Bernard Stepien, Luigi Logrippo
• Keywords: CN 2002, LOTOS Actions, LOTOS Execution Traces, Specific Lotos Styles