Graphic visualization and animation of LOTOS execution traces

Computer Networks

Volumn 40, Issue 5, 2002, Pages 665-681

  Stepien, Bernard ^a   Logrippo, Luigi ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

Formal description techniques; Graphic animation; Language of temporal ordering specifications; LOTOS; Message sequence charts; MSC; Telecommunications software engineering

Indexed keywords

COMPUTER GRAPHICS; COMPUTER SOFTWARE; FORMAL LANGUAGES; PROGRAM TRANSLATORS; SOFTWARE ENGINEERING; TELECOMMUNICATION SYSTEMS; VISUALIZATION;

GRAPHIC VISUALIZATION;

ANIMATION;

EID: 0037027870     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(02)00356-0     Document Type: Article

References (35)

1. D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, Z. Yi, Formal methods for mobility standards, in: Proceedings of the 1999 IEEE Emerging Technologies Symposium on Wireless Communications and Systems, Richardson, TX, 1999.
2. Amyot D., Logrippo L. Use case maps and LOTOS for the prototyping and validation of a mobile group call system. Computer Communications. 23:2000;1135-1157.
3. Bolognesi T., Brinksma E. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems. 14:1987;25-59.
4. Also in van Eijk P.H.J., Vissers C.A., Diaz M. The Formal Description Technique LOTOS. 1989;23-73 North Holland, Amsterdam.
5. Bolognesi T., De Frutos D., Langerak R., Latella D. Correctness preserving transformations for the early phases of software development. Bolognesi T., Lagemaat J.v.d., Visser C. LOTOSpere: Software Development with LOTOS. 1995;161-180 Kluwer.
6. Bolognesi T., Najm E., Tilanus P.A.J. G-LOTOS: a graphical language for concurrent systems. Computer Networks and ISDN Systems. 26:1994;1101-1127.
7. Also appeared in different version in Bolognesi T., Lagemaat J.v.d., Visser C. LOTOSpere: Software Development with LOTOS. 1995;Kluwer, Dordrecht. pp. 391-450.
8. Bolognesi T., Hagsang O., Latella D., Pehrson B. The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE. Computer Networks and ISDN Systems. 22:1991;61-77.
9. Buhr R. Use case maps as architectural entities for complex systems. IEEE Transaction on Software Engineering. 24(12):1998;1131-1155.
10. Ehrig H., Mahr B. Fundamentals of algebraic specifications I, equations and initial semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. 1985;Springer, Berlin.
11. Faci M., Logrippo L., Stepien B. Formal specification of telephone systems in LOTOS: The constraint oriented approach. Computer Networks and ISDN Systems. 21:1991;53-67.
12. Faci M., Logrippo L., Stepien B. Structural models for specifying telephone systems. Computer Networks and ISDN Systems. 29:1997;501-528.
13. Fantechi A., Mekhanet B., Najm E., Cunha P., Queiroz J. Correctness-preserving transformations for the late phases of software development. Bolognesi T., Lagemaat J.v.d., Visser C. LOTOSpere: Software Development with LOTOS. 1995;181-199 Kluwer, Dordrecht.
14. Giannotti F., Latella D. Gate splitting in LOTOS specifications using abstract interpretation. Science of Computer Programming. 23(2-3):1994;127-149.
15. Haugen O. From MSC-2000 to UML 2.0 - The future of sequence diagrams. Reed R., Reed J. SDL 2001 Meeting UML. 2001;38-51 Springer, Berlin.
16. ISO - Information Processing Systems, Open Systems Interconnection, in: E. Brinksma (Ed.), LOTOS, a Formal Description Technique Based on the Temporal Ordering of Observation Behavior, ISO 8807, 1989.
17. J. Quemada (Ed.), Information technology - Enhancements to LOTOS (E-LOTOS), ISO/IEC 15437, 2001.
18. ITU-T - Recommendation Z.120: Message Sequence Chart (MSC-2000), Geneva, 2000.
19. ITU-T - Recommendation Z.1: Specification and Description Language (SDL), Geneva, 2000.
20. K. Kimbler, L. Verhaard, D. Sobirk, T. Tallinger, C. Hagenfeldt, M. Stolt, Simulated in CS2 infrastructure for service animation and validation, in: Proceedings of 2000 IEEE Intelligent Network Workshop, Cape Town, May 2000.
21. Kremer H., Lagemaat J.v.d., Rennoch A., Scollo G. Protocol design using LOTOS. Diaz M., Groz R. Formal Description Techniques V. 1993;231-246 North-Holland, Amsterdam.
22. Logrippo L., Faci M., Haj-Hussein M. An introduction to LOTOS: learning by examples. Computer Networks and ISDN Systems. 23(5):1992;325-342. Errata in 25 (1992) 99-100.
23. Logrippo L., Faci M., Haj-Hussein M. An introduction to LOTOS: learning by examples. Computer Networks and ISDN Systems. 23(5):1992;325-342. Errata in 25 (1992) 99-100.
24. Object Management Group, Unified Modeling Language (UML), version 1.4, 2001. Available from .
25. Probert R.L., Ural H., Williams A.V. Rapid generation of functional tests using MSCs, SDL and TTCN. Journal of Computer Communications. 24:2001;374-393.
26. Quemada J., Pavon S., Fernandez A. Transforming LOTOS specifications with LOLA: the parameterized expansion. Turner K.J. Formal Description Techniques 88. 1988;North-Holland, Amsterdam.
27. K.J. Turner, Constraint-oriented style in LOTOS, in: Proceedings of the British Computer Society Workshop on Formal Methods in Standards, British Computer Society, 1988, pp. 1-13.
28. Turner K.J., McClenaghan A. Visual animation of LOTOS using SOLVE. Hogrefe D., Leue S. Formal Description Techniques VII. 1995;283-285 Chapman-Hall, London.
29. K. Turner, Realising architectural feature descriptions using LOTOS, Réseaux et sytèmes répartis (RSR-CP), December 2000, pp. 145-187.
30. Turner K. The N-body problem in LOTOS. Bowman H. Proceedings of the Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science. vol. 43:June 2001;1-23 Elsevier, Amsterdam.
31. van Eijk P.H.J., Vissers C.A., Diaz M. The Formal Description Technique LOTOS. 1989;North-Holland, Amsterdam.
32. Visser C.A., Scollo G., van Sinderen M.A., Brinksma E. Specification style in distributed systems design and verification. Theoretical Computer Science. 89:1991;179-206.
33. XML - Extensible Markup Language 1.0 W3C Recommendation, 6 October 2000. Available from < http://www.w3.org/TR/2000/REC-xml-20001006>.
34. Yasumoto K., Higashino T., Abe K., Matsuura T., Taniguchi K. A LOTOS compiler generating multi-threaded object codes. Bochmann G.v., Dssouli R., Rafiq O. Formal Description Techniques VIII. 1996;271-286 North-Holland, Amsterdam.
35. L. Zambenedetti, M.J. Almeida, E-DART: a specification environment for the E-LOTOS formal technique, in: Proceedings of the 4th Workshop on Parallel and Distributed Real-Time Systems, Orlando, FA, 1998.