Skip to main content
SpringerLink
Log in

The integration of LOTOS with an object oriented development method

  • Industrial Usage Reports
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

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

Included in the following conference series:

Abstract

This paper describes the first step in an attempt of transferring the formal description technique (FDT) LOTOS from a research department to a development department within the Ascom Group. The existing development methods used within the department had to be taken into consideration. It was found that LOTOS would fit best as a complement to the Object Oriented (OO) development method used — Objectory1. Methodical and representational aspects of integrating LOTOS with this method were studied and are presented in the paper.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Vissers C.A. et al.: Lotosphere, an attempt towards a Design Culture, Proceedings 3rd Lotosphere Workshop and Seminar, Pisa '92

    Google Scholar 

  2. Logrippo L., Haj-Hussein M.: An Introduction to Lotos: learning by examples Computer Networks & ISDN Systems 23 (5) 1992

    Google Scholar 

  3. Gomez S. P.: The Lotos Design Methodology: Guidelines, Lotopshere report Lo/WP3/T1.1/N0044/V04, March 1992.

    Google Scholar 

  4. Lite User Manual Editor Caneve, Salvatori, Lotosphere 1992

    Google Scholar 

  5. Jacobsson I.: Object-Oriented Software Engineering, ACM Press Book/Addison-Wesley, 1992

    Google Scholar 

  6. Cusack E. et al: An object oriented interpretation of LOTOS, Proceed. FORTE '90, Vancouver, Canada

    Google Scholar 

  7. Mayr T.: Specification of Object-Oriented Systems in Lotos, Proceed. FORTE '88, Stirling, Scotland

    Google Scholar 

  8. Black S.: Objects and Lotos, Proceed. FORTE '89, Vancouver, Canada

    Google Scholar 

  9. Rudkin S.: Inheritance in Lotos, Proceed. FORTE '91, Sydney, Australia

    Google Scholar 

  10. Dijkerman E. M.: Object Oriented Specification Style in Lotos, PTT Research Report 917 RNL/1989

    Google Scholar 

  11. Clarc B.: Use of the Object-Based Style in Implementation-Oriented Lotos Specifications, Presentation at the 2nd Lotosphere Workshop, Berlin 1991

    Google Scholar 

  12. Fredlund L-A, Orava F.: Modeling Dynamic Communication Structures in LOTOS, FORTE '91 Sydney

    Google Scholar 

  13. Buhr R.J.A., Vidger M.: Using LOTOS in a Design Environment, FORTE '91, Sydney

    Google Scholar 

  14. Information Processing Systems — Open Systems Interconnection — Structure of Management Information — Part 1–4 ISO/IEC 10165-(1-4), CCITT X.720

    Google Scholar 

  15. Information Processing Systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour, ISO 8807, 1989-02-15

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ascom Tech AG, Freiburgstrasse 370, 3018, Berne, Switzerland

    Mikael Hedlund

Authors
  1. Mikael Hedlund
    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

Hedlund, M. (1993). The integration of LOTOS with an object oriented development method. 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/BFb0024639

Download citation

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

  • 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