Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Mathematical Research - Mathematische Forschung. Akademie-Verlag, Berlin, 1986.
H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985.
CCITT Blue Book, ISDN User Network Interface - Layer 3 specification for basic call control, Fascicle VI.11 Recommendation Q.931
H. Reichel, Structural Induction on Partial Algebras,Mathematical Research - Mathematische Forschung Vol. 18. Akademie-Verlag, Berlin, 1984.
V. Jones, Report on C Realization of CCR in LOTOS, LOTOSPHERE LO/WP3/T3.3/UST/N38
Ramzi Sawwaf (ed.), T3.2 Deliverable D3.2.S, Part II:ADT Library, ESPRIT II 2304 LOTOSPHERE project, April 1992.
U. Wolter, An Algebraic Approach to Deduction in Equational Partial Horn Theories, J. Inf. Process. EIK, 27(2):85–128, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Roth, R., de Meer, J., Storp, S. (1995). Data Specifications in Modular Lotos. In: Bolognesi, T., van de Lagemaat, J., Vissers, C. (eds) LOTOSphere: Software Development with LOTOS. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2203-4_23
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2203-4_23
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5924-1
Online ISBN: 978-1-4615-2203-4
eBook Packages: Springer Book Archive