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.
Similar content being viewed by others
References
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
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
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1985
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 2: Modules and Constraints, Springer Verlag, Berlin-Heidelberg-New York-Tokyo 1989
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
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
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
H.Ehrig, H.Weber: Algebraic Specification of Modules, Proc. IFIP Work.Conference 85: The Role of Abstract Models in Programming, Wien 1985
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
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)
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
F. Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results, Techn. Report USC 1985 and JCSS 35, 1(1987), 72–95
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)
H. Weber, H. Ehrig: Specification of Modular Systems, IEEE Transactions of Software Engineering, Vol.SE-12, no7,1986, pp.784–798
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
Author information
Authors and Affiliations
Editor information
Rights 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