Integrating SA/RT with LOTOS

  • Anthony W. van der Vloedt
  • Kees Bogaards
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This paper presents a method for the derivation of a LOTOS specification starting from an SA/RT specification. We will show that LOTOS is able to capture information not described in an SA/RT specification. SA/RT, on the other hand provides an intuitive approach which is helpful in establishing a formal LOTOS specification. The resulting integrated method is therefore both intuitive appealing and rigorously precise.


State Machine Filling System Temporal Relation Data Dictionary Data Flow Diagram 
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.
    Bogaards, K., Schot, J., Pras, A., Pires, L.F.: The Pangloss method. ESPRIT Conf. 88, 1988Google Scholar
  2. 2.
    Eertink, H., Woltz, D.: Symbolic execution of LOTOS specifications. Memoranda Informatica 91–47, University of Twente, 1991Google Scholar
  3. 3.
    Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Trans. Software Eng., vol. 17, pp. 454–466, May 1991CrossRefGoogle Scholar
  4. 4.
    Hatley, D.J., Pirbhai, I.A.: Strategies for Real-Time System Specification. New York, Dorset House Publishing, 1987Google Scholar
  5. 5.
    ISO: Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour. IS8807Google Scholar
  6. 6.
    Manas, J.A., de Miguel, T.: ¿From LOTOS to C. Proceedings Forte 88, 1988Google Scholar
  7. 7.
    Pires, L.F., Vissers, C.A.: Overview of the Lotosphere Design Methodology. ESPRIT Conf. 1990, pp. 371–387, Kluwer Academic Publishers, Dordrecht, 1990Google Scholar
  8. 8.
    Toetenel, H., van Katwijk, J., Plat, N.: Structured Analysis — Formal Design, using Stream & Object Oriented Formal Specification. Proc. ACM Sigsoft, International Workshop on Formal Methods in Software Development, Software Engineering Notes, Vol. 15, pp. 118–127, ACM Press, Napa, California, USA, 1990Google Scholar
  9. 9.
    Ward, P.T., Mellor, S.J.: Structured Development for Real-Time Systems. New York, Yourdon press, 1985Google Scholar
  10. 10.
    Yourdon, E.: Modern Structured Analysis. Prentice-Hall, 1989Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Anthony W. van der Vloedt
    • 1
  • Kees Bogaards
    • 1
  1. 1.Information Technology Architecture b.v.ZE EnschedeThe Netherlands

Personalised recommendations