Abstract
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.
This work has been partially sponsored by the “Programa de cooperación científica con Iberoamérica”, and by the Spanish CICYT (Spanish Research Council) within the MEDAS (Advanced Methodology for Communication Systems Development) research project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amer, P.D and New, D. Protocol visualization in Estelle. Computer Networks and ISDN Systems, 25:741–760, 1993.
Gotzhein, R. The Formal Definition of the Architectural Concept “Interaction Point”. In S. Vuong, editor, FORTE’89, pages 84-98, Vancouver, Canada, December 1989.
ISO. Information processing systems-Open Systems Interconnection-Estelle-a formal description technique based on an extended state transition model. IS-9074, 1989.
ISO-8807. Information processing systems-open systems interconnection-LOTOS-a formal description technique based on the temporal ordering of observational behaviour, 1988.
ISO/IEC JTC1/SC21 N4871. G-LOTOS: DAM1 to IS8807 on graphical representation for LOTOS, January 1992.
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.
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.
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.
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.
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.
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).
Winstanley, A.C. and Bustard, D.W. EXPOSE: an animation tool for process-oriented specifications. Sowtware Engineering Journal, pages 463-475, November 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media New York
About this chapter
Cite this chapter
Allende, J.S., Serrano, G.L. (1994). Graphical Animation of Lotos Specifications. In: Baeza-Yates, R. (eds) Computer Science 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-9805-0_46
Download citation
DOI: https://doi.org/10.1007/978-1-4757-9805-0_46
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-9807-4
Online ISBN: 978-1-4757-9805-0
eBook Packages: Springer Book Archive