Abstract
A semantic framework for modeling the dynamics of object systems is proposed, based on algebraic methods and formulated categorically. The static properties of objects are described by algebraic specifications which could be given as the public interfaces of class specifications. Objects are persistent entities which survive method executions allowing the model to distinguish between object identity and object values. Configurations of objects are modeled by many-sorted algebras and each configuration represents a community of objects (possibly related) with a given state. Configurations can evolve through state changes modeled via non homomorphic algebra transformations. The configurations and the evolutions form a category which represents an object transition system. The structure of the object transition system may reflect the architecture of the interconnections of the software system components (classes).
The work has been partially supported by the European Community under ESPRIT BRWG 6112 COMPASS and under the program Human Capital and Mobility, contract ERBCHBICT930300
Preview
Unable to display preview. Download preview PDF.
References
America, P.: Designing an Object-Oriented Programming Language with Behavioral Subtyping. Proc. REX/FOO L, Springer Lect.Notes in Comp.Sci. 489, 1990, pp. 60–90
Astesiano,E., Zucca,E.: D-oids: A Model for Dynamic Data Types. Special Issue of MSCS, to appear 1994
Booch,G.: Object Oriented Design with Applications. Benjamin Cummings, 1991
Breu,R.: Algebraic Specification Techniques in Object Oriented Programming Environments. Springer Lect.Notes in Comp.Sci. 561, 1991
Dauchy,P., Gaudel,M.C.: Algebraic Specification with Implicit State. Techn. Report, Univ. Paris-Sud, 1994
Ehrig,H., Baldamus.M., Orejas,F.: New Concepts for Amalgamation and Extension in the Framework of the Specification Logic. TUB Technical Report, 1991
Ehrig,H., Jimenez,R.M., Orejas,F.: Compositionality Result for different Types of Parameterization and Parameter Passing in Specification Languages. Proc. TapSoft 1993, Springer Lect. Notes in Comp.Sci. 668, pp.38–45
Ehrig,H., Mahr,B.: Fundamentals of Algebraic Specification, 1. Equations and Initial Semantics. EATCS Monograph in Computer Science, Vol.6, Springer Verlag, 1985
Ehrig,H., Mahr,B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monograph in Computer Science, Vol.21, Springer Verlag, 1990
Ehrig,H., Orejas.F.: Dynamic Abstract Data Types: An Informal Proposal. Bull. EATCS 53, June 1994
Goguen,J., Diaconescu,D.: Towards an Algebraic Semantics for the Object Paradigm. Proc. 10th WADT, Springer Lect.Notes in Comp.Sci., 1994
Große-Rhode,M.: Specification of Parallel State Dependent Systems. TU Berlin, 1994, in preparation
Gurevitch,Y.: Evolving Algebras, A Tutorial Introduction. Bull. EATCS 43, 1991, pp.264–284
Herrlich,H., Strecker,G.E.: Category Theory. Allyn and Bacon Inc., Boston, 1993
Khoshafian,S., Copeland.G.: Object Identity. Proc. OOPSLA 1986, ACM Press, 1986, pp. 406–416
Meyer,B.: Genericity versus Inheritance. Proc. OOPSLA 1986, ACM Press, 1986, pp. 391–405
Meyer,B.: Object-Oriented Software Construction. Prentice-Hall, 1988
Parisi-Presicce,F., Pierantonio, A.: An Algebraic Approach to Inheritance and Subtyping. Proc. ESEC 1991, Springer Lect.Notes in Comp.Sci. 550, 1991, pp. 364–379
Parisi-Presicce,F., Pierantonio, A.: An Algebraic Theory of Class Specification. ACM Transaction on Software Engineering and Methodology, accepted for publication 1994
Parisi-Presicce,F., Pierantonio, A.: Reusing Object Oriented Design: An Algebraic Approach. Proc. International Symposium on Object-Oriented Methodologies and Systems, Springer Lect.Notes in Comp.Sci.858, 1994
Snyder,A.: Encapsulation and Inheritance in Object-Oriented Programming Languages. Proc. OOPSLA 1986, ACM Press, 1986, pp. 38–45
Weber,H., Ehrig,H.: Specification of Concurrently Executable Modules and Distributed Modular Systems. Proc. Workshop Future Trends of Distr. Comp. Systems in the 1990's, Hong Kong, 1988, pp. 202–215
Wegner.P.: Dimensions of Object-Based Language Design. Proc. OOPSLA 1987, ACM Press, 1987, pp. 168–182. Also as special issue of SIGPLAN No. 22, 12, Dec 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parisi-Presicce, F., Pierantonio, A. (1995). Dynamical behavior of object systems. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014441
Download citation
DOI: https://doi.org/10.1007/BFb0014441
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59132-0
Online ISBN: 978-3-540-49198-9
eBook Packages: Springer Book Archive