The integration of LOTOS with an object oriented development method

  • Mikael Hedlund
Industrial Usage Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


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.


Mapping Rule Development Department Object Orient Informal Text Operation Call 
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.
    Vissers C.A. et al.: Lotosphere, an attempt towards a Design Culture, Proceedings 3rd Lotosphere Workshop and Seminar, Pisa '92Google Scholar
  2. 2.
    Logrippo L., Haj-Hussein M.: An Introduction to Lotos: learning by examples Computer Networks & ISDN Systems 23 (5) 1992Google Scholar
  3. 3.
    Gomez S. P.: The Lotos Design Methodology: Guidelines, Lotopshere report Lo/WP3/T1.1/N0044/V04, March 1992.Google Scholar
  4. 4.
    Lite User Manual Editor Caneve, Salvatori, Lotosphere 1992Google Scholar
  5. 5.
    Jacobsson I.: Object-Oriented Software Engineering, ACM Press Book/Addison-Wesley, 1992Google Scholar
  6. 6.
    Cusack E. et al: An object oriented interpretation of LOTOS, Proceed. FORTE '90, Vancouver, CanadaGoogle Scholar
  7. 7.
    Mayr T.: Specification of Object-Oriented Systems in Lotos, Proceed. FORTE '88, Stirling, ScotlandGoogle Scholar
  8. 8.
    Black S.: Objects and Lotos, Proceed. FORTE '89, Vancouver, CanadaGoogle Scholar
  9. 9.
    Rudkin S.: Inheritance in Lotos, Proceed. FORTE '91, Sydney, AustraliaGoogle Scholar
  10. 10.
    Dijkerman E. M.: Object Oriented Specification Style in Lotos, PTT Research Report 917 RNL/1989Google Scholar
  11. 11.
    Clarc B.: Use of the Object-Based Style in Implementation-Oriented Lotos Specifications, Presentation at the 2nd Lotosphere Workshop, Berlin 1991Google Scholar
  12. 12.
    Fredlund L-A, Orava F.: Modeling Dynamic Communication Structures in LOTOS, FORTE '91 SydneyGoogle Scholar
  13. 13.
    Buhr R.J.A., Vidger M.: Using LOTOS in a Design Environment, FORTE '91, SydneyGoogle Scholar
  14. 14.
    Information Processing Systems — Open Systems Interconnection — Structure of Management Information — Part 1–4 ISO/IEC 10165-(1-4), CCITT X.720Google Scholar
  15. 15.
    Information Processing Systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour, ISO 8807, 1989-02-15Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Mikael Hedlund
    • 1
  1. 1.Ascom Tech AGBerneSwitzerland

Personalised recommendations