An industrial experience on LOTOS-based prototyping for switching systems design

  • Gonzalo León
  • Juan C. Yelmo
  • Carlos Sánchez
  • F. Javier Carrasco
  • Juan J. Gil
Industrial Usage Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This paper summarizes the experience obtained in the definition of a LOTOS based development methodology and its pragmatic introduction in common industrial practice.

The work has been done within a technology transfer model where the development of medium-to-large size case studies plays a predominant role. A case study, development of a gateway between DSS1 and SS7 ISDN signalling systems, was chosen as a representative example of industrial product in the switching application domain. The case study was developed by automatic code generation from a LOTOS specification. Later, its functionality was enhanced to provide demo facilities in order to evaluate the development approach.

From this experience a practical methodology to combine LOTOS with conventional techniques has been defined.


Life Cycle Model Abstract Data Type Evolutionary Process Model Automatic Code Generation Spiral Model 
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. 1.
    IEEE-Software Special Issue on Formal Methods, September 1990.Google Scholar
  2. 2.
    ISO/EC: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO/IEC 1988.Google Scholar
  3. 3.
    G. León. On the Technology Transfer of Formal Methods: An Experience on LOTOS. In FORTE'90, Madrid.Google Scholar
  4. 4.
    A. Cazorla, J.C. Moreno. Manual de metodología del proyecto TESYS-B (in Spanish). Telefónica I+D, TESYS-B-0000-0055-MOP, internal report, April 1990.Google Scholar
  5. 5.
    The Lotosphere ConsortiumThe Lotosphere Integrated Tool Environment Lite. In FORTE'91, Sydney.Google Scholar
  6. 6.
    E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS Specifications, Their Implementations and Their Test. In sixth International Workshop on Protocol Specification, Testing and Verification. Montreal, June 1986.Google Scholar
  7. 7.
    G. León, J.C. Yelmo. On the intertwining of FDTs and conventional software development processes for communication systems: an incremental approach. Proceedings of the V International Conference on Software Engineering and its Applications, Toulouse, December 1992.Google Scholar
  8. 8.
    Barry W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, May 1988.Google Scholar
  9. 9.
    Barry W. Boehm. Software risk management: principles and practice. IEEE software, January 1991.Google Scholar
  10. 10.
    C. Miguel, A. Fernández, J.M. Ortuño and L. Vidaller. A LOTOS based Performance Evaluation Tool. To be published in the Forthcoming Special Issue of” Computer Networks and ISDN Systems” on TOOLS FOR FDTs, 1992.Google Scholar
  11. 11.
    CCITT Q.699: Interworking between digital subscriber signalling system layer 3 protocol and the signalling system no. 7 ISDN user part. Blue book 1988.Google Scholar
  12. 12.
    J. Sánchez, G. León.PTD: Architectural System Description Support Based on Visual Specification Languages. The EUROMICRO Journal, Sept 1992.Google Scholar
  13. 13.
    J. Quemada, S. Pavon and A. Fernández. Transforming LOTOS specifications with LOLA-The Parameterized Expansion. In FORTE'88, Stirling.Google Scholar
  14. 14.
    J. Mañas and T. de Miguel. From LOTOS to C. In FORTE'88, Stirling.Google Scholar
  15. 15.
    Bellcore TR-TSV-000772. Generic System Requirements in support of Switched Multi-Megabit Data Service. Issue 1, May 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Gonzalo León
    • 1
  • Juan C. Yelmo
    • 1
  • Carlos Sánchez
    • 1
  • F. Javier Carrasco
    • 2
  • Juan J. Gil
    • 2
  1. 1.Telematic Engineering DepartmentTechnical University of MadridSpain
  2. 2.Software Technology DivisionMadridSpain

Personalised recommendations