Advertisement

Towards object-oriented algebraic specifications

  • Martin Große-Rhode
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 534)

Abstract

In order to model some features of object-oriented programming and system design algebraic and projection specifications (= process specifications) are combined in such a way, that declaration and manipulation of objects become basic features of specification. As class definitions algebraic module specifications with import and export interface, parameter and body part are used, with module interconnection mechanisms like union and extension to simulate strict inheritance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BEP87]
    E.K. Blum, H. Ehrig, F. Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections, in JCCS Vol.34, No.2/3, pp.293–339, 1987Google Scholar
  2. [BK86]
    J.A. Bergstra, J.W. Klop: Algebra of Communicating Processes, in: CWI Monographs I Series, Proceedings of the CWI Symposium Mathematics and Computer Science, North-Holland, p. 89–138, Amsterdam 1986Google Scholar
  3. [EM85]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985Google Scholar
  4. [EM90]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1989Google Scholar
  5. [EPBRDG88a]
    H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, M. Große-Rhode: Algebraic Data Type and Process Specifications Based on Projection Spaces, Springer LNCS 332, p.23–43, 1988Google Scholar
  6. [EPBRDG88b]
    H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, M. Große-Rhode: Combining Data Type and Recursive Process Specifications using Projection Algebras, Theoretical Computer Science 71 (1990), 347–380Google Scholar
  7. [ESS89]
    H.D.Ehrich, A.Sernadas, C.Sernadas: Objects, Object Types and Object Identification, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preuß (eds.), Springer LNCS 393, 1989Google Scholar
  8. [EW85]
    H.Ehrig, H.Weber: Algebraic Specification of Modules, Proc. IFIP Work.Conference 85: The Role of Abstract Models in Programming, Wien 1985Google Scholar
  9. [GM87]
    J.A.Goguen, J.Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In: Research Directions in Object-Oriented Programming, ed. by B.Shriver and P.Wegner, pp 417–477, MIT Press 1987Google Scholar
  10. [GE90]
    M. Große-Rhode, H. Ehrig: Transformation of Combined Data Type and Process Specifications Using Projection Algebras, in: J.W.deBakker, W.-P.deRoever, G.Rozenberg (eds): Stepwise Refinement of Distributed Systems, Springer LNCS 430 (1990), 301–339. Also appeared as Technical Report No. 90/1, TU Berlin (1990)Google Scholar
  11. [Gro89]
    M.Große-Rhode: Parameterized Data Type and Process Specifications Using Projection Algebras, in: Categorical Methods in Computer Science with Aspects from Topology, H.Ehrig, M.Herrlich, H.J.Kreowski G.Preuß (eds.), Springer LNCS 393, 1989Google Scholar
  12. [PP 85]
    F. Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report USC 1985 and JCSS 35, 1(1987), 72–95Google Scholar
  13. [PP 85]
    F. Parisi-Presicce: Inner and Mutual Compatibility of Basic Operations on Module Specifications, Proc. CCAP'86, LNCS 214(1986), 30–44. Full version: Techn. Report TU Berlin, FB 20, No. 86-06 (1986)Google Scholar
  14. [WE86]
    H. Weber, H. Ehrig: Specification of Modular Systems, IEEE Transactions of Software Engineering, Vol.SE-12, no7,1986, pp.784–798Google Scholar
  15. [WE88]
    H.Weber, H.Ehrig: Specification of Concurrently Executable Modules and Distributed Modular Systems, Proc. IEEE Workshop on Future Trends of Distr. Comp. Systems in the 1990's, HongKong 1988, pp.202–215Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Martin Große-Rhode
    • 1
  1. 1.TU BerlinBerlin 10

Personalised recommendations