Graphical Animation of Lotos Specifications

  • Jesús Sánchez Allende
  • Gonzalo León Serrano


The development of complex communication systems has promoted the use of Formal Description Techniques (FDTs) in order to facilitate the specification and analysis of complex systems.


Behaviour Expression Finite State Machine Visual Language Animation Sequence Extend Finite State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Amer, P.D and New, D. Protocol visualization in Estelle. Computer Networks and ISDN Systems, 25:741–760, 1993.CrossRefGoogle Scholar
  2. Gotzhein, R. The Formal Definition of the Architectural Concept “Interaction Point”. In S. Vuong, editor, FORTE’89, pages 84-98, Vancouver, Canada, December 1989.Google Scholar
  3. ISO. Information processing systems-Open Systems Interconnection-Estelle-a formal description technique based on an extended state transition model. IS-9074, 1989.Google Scholar
  4. ISO-8807. Information processing systems-open systems interconnection-LOTOS-a formal description technique based on the temporal ordering of observational behaviour, 1988.Google Scholar
  5. ISO/IEC JTC1/SC21 N4871. G-LOTOS: DAM1 to IS8807 on graphical representation for LOTOS, January 1992.Google Scholar
  6. Hinterplattner, J., Nirschl, H., and Sana, H. Process Topology Diagrams. In Jose Mañas Juan Quemada and Enrique Vázquez, editors, FORTE’90 Third International Conference on Formal Description Techniques, pages 535-550, Madrid, November 1990.Google Scholar
  7. Mañas, J. A. and de Miguel, T. From LOTOS to C. In Ken J. Turner, editor, Formal Description Techniques, I, pages 79-84, Stirling, Scotland, UK, 1989. IFIP, North-Holland. Proceedings FORTE’88, 6–9 September, 1988.Google Scholar
  8. Nieto, C.M. Técnicas de Descripción Formal Aplicadas a la Evaluación de Prestaciones de Sistemas de Comunicaciones. PhD thesis, Dpt. Ingeniería Telemática, ETSITM, Tech. Univ., Madrid (ES), 1991.Google Scholar
  9. Pulli, P., Elmstrom, R, León, G, and Puente, J. A. IPTES. Incremental Prototyping Tecnology for Embedded Real-Time Systems. In ESPRIT Information Processing and Software, Results and Progress of Selected Proyects, pages 497-512. Commission of European Communities, November 1991.Google Scholar
  10. Sánchez, J. and León, G. PTD: Architectural System Description Support Based on Visual Specification Languages. In Benny Graf Mortensen and Antonio Núñez, editors, EUROMICRO 92, pages 513-520. North-Holland, September 1992.Google Scholar
  11. Vissers, C.A., Scollo, G., and van Sinderen, M. Architecture and Specification Style in Formal Descriptions of Distributed Systems. In Sudhir Aggarwal and Krishan Sabnani, editors, Protocol Specification, Testing, and Verification VIII, pages 189–204, Atlantic City, New Jersey, USA, June 1988. IFIP, Elsevier Science B.V. (North-Holland).Google Scholar
  12. Winstanley, A.C. and Bustard, D.W. EXPOSE: an animation tool for process-oriented specifications. Sowtware Engineering Journal, pages 463-475, November 1991.Google Scholar

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Jesús Sánchez Allende
    • 1
  • Gonzalo León Serrano
    • 1
  1. 1.Dpto. Ingeniería de Sistemas Telemáticos (DIT), ETSI Telecomunicación UPMCiudad UniversitariaMadridSpain

Personalised recommendations