Advertisement

Data Specifications in Modular Lotos

  • Rudolph Roth
  • Jan de Meer
  • Silke Storp
Chapter

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.

Keywords

Data Object Data Specification Specification Scheme Information Element Partial Algebra 
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.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Mathematical Research - Mathematische Forschung. Akademie-Verlag, Berlin, 1986.Google Scholar
  2. [2]
    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
  3. [3]
    CCITT Blue Book, ISDN User Network Interface - Layer 3 specification for basic call control, Fascicle VI.11 Recommendation Q.931Google Scholar
  4. [4]
    H. Reichel, Structural Induction on Partial Algebras,Mathematical Research - Mathematische Forschung Vol. 18. Akademie-Verlag, Berlin, 1984.MATHGoogle Scholar
  5. [5]
    V. Jones, Report on C Realization of CCR in LOTOS, LOTOSPHERE LO/WP3/T3.3/UST/N38Google Scholar
  6. [6]
    Ramzi Sawwaf (ed.), T3.2 Deliverable D3.2.S, Part II:ADT Library, ESPRIT II 2304 LOTOSPHERE project, April 1992.Google Scholar
  7. [7]
    U. Wolter, An Algebraic Approach to Deduction in Equational Partial Horn Theories, J. Inf. Process. EIK, 27(2):85–128, 1990.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • Rudolph Roth
    • 1
  • Jan de Meer
    • 1
  • Silke Storp
    • 1
  1. 1.GMD FOKUSBerlin 12Germany

Personalised recommendations