Skip to main content
SpringerLink
Log in
Book cover

International Symposium of Formal Methods Europe

FME 1993: FME '93: Industrial-Strength Formal Methods pp 617–631Cite as

Integrating SA/RT with LOTOS

  • Papers
  • Conference paper
  • First Online:

  • 127 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Abstract

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.

The work described in this paper was carried out as part of the Complement project. Complement is partially funded by the Commission of the European Communities as an Esprit II project (project number 5409).

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bogaards, K., Schot, J., Pras, A., Pires, L.F.: The Pangloss method. ESPRIT Conf. 88, 1988

    Google Scholar 

  2. Eertink, H., Woltz, D.: Symbolic execution of LOTOS specifications. Memoranda Informatica 91–47, University of Twente, 1991

    Google Scholar 

  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 1991

    Article  Google Scholar 

  4. Hatley, D.J., Pirbhai, I.A.: Strategies for Real-Time System Specification. New York, Dorset House Publishing, 1987

    Google Scholar 

  5. ISO: Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour. IS8807

    Google Scholar 

  6. Manas, J.A., de Miguel, T.: ¿From LOTOS to C. Proceedings Forte 88, 1988

    Google Scholar 

  7. Pires, L.F., Vissers, C.A.: Overview of the Lotosphere Design Methodology. ESPRIT Conf. 1990, pp. 371–387, Kluwer Academic Publishers, Dordrecht, 1990

    Google Scholar 

  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, 1990

    Google Scholar 

  9. Ward, P.T., Mellor, S.J.: Structured Development for Real-Time Systems. New York, Yourdon press, 1985

    Google Scholar 

  10. Yourdon, E.: Modern Structured Analysis. Prentice-Hall, 1989

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Technology Architecture b.v., Institutenweg 1, 7521, ZE Enschede, The Netherlands

    Anthony W. van der Vloedt & Kees Bogaards

Authors
  1. Anthony W. van der Vloedt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kees Bogaards
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Vloedt, A.W., Bogaards, K. (1993). Integrating SA/RT with LOTOS. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024670

Download citation

  • DOI: https://doi.org/10.1007/BFb0024670

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation