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