Skip to main content

Towards object-oriented algebraic specifications

  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 534))

Included in the following conference series:

  • 123 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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, 1987

    Google Scholar 

  2. 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 1986

    Google Scholar 

  3. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985

    Google Scholar 

  4. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1989

    Google Scholar 

  5. 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, 1988

    Google Scholar 

  6. 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–380

    Google Scholar 

  7. 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, 1989

    Google Scholar 

  8. H.Ehrig, H.Weber: Algebraic Specification of Modules, Proc. IFIP Work.Conference 85: The Role of Abstract Models in Programming, Wien 1985

    Google Scholar 

  9. 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 1987

    Google Scholar 

  10. 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. 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, 1989

    Google Scholar 

  12. F. Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report USC 1985 and JCSS 35, 1(1987), 72–95

    Google Scholar 

  13. 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. H. Weber, H. Ehrig: Specification of Modular Systems, IEEE Transactions of Software Engineering, Vol.SE-12, no7,1986, pp.784–798

    Google Scholar 

  15. 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–215

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

H. Ehrig K. P. Jantke F. Orejas H. Reichel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Große-Rhode, M. (1991). Towards object-oriented algebraic specifications. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-54496-8_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54496-8

  • Online ISBN: 978-3-540-38416-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics