Data Specifications in Modular Lotos
Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancements defined modular concepts for LOTOS (chapter 22) and introduced new features for data specifications. This chapter will concentrate on the proposed changes concerning data specifications. The objective of the chapter is to introduce to the new concepts and to show their application by examples. For clarity we will use the term Modular LOTOS to refer to the new language proposals in distinction to ISO LOTOS, as it is defined in the ISO Standard 8807.
Unable to display preview. Download preview PDF.
- P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Mathematical Research - Mathematische Forschung. Akademie-Verlag, Berlin, 1986.Google Scholar
- H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985.Google Scholar
- CCITT Blue Book, ISDN User Network Interface - Layer 3 specification for basic call control, Fascicle VI.11 Recommendation Q.931Google Scholar
- V. Jones, Report on C Realization of CCR in LOTOS, LOTOSPHERE LO/WP3/T3.3/UST/N38Google Scholar
- Ramzi Sawwaf (ed.), T3.2 Deliverable D3.2.S, Part II:ADT Library, ESPRIT II 2304 LOTOSPHERE project, April 1992.Google Scholar
- U. Wolter, An Algebraic Approach to Deduction in Equational Partial Horn Theories, J. Inf. Process. EIK, 27(2):85–128, 1990.Google Scholar