Abstract
Order-sorted conditional equational logic is proposed as a framework for the specification and verification of active objects. One single algebra can be used to cover both data and process aspects of active objects, with pure data objects, e.g. integer numbers, on one end of the spectrum, and pure behaviour, e.g. automata, on the other. The order-sorted approach is presented in a categorial setting which provides a formalization of object interaction and reification through suitable morphisms in a way such that reification distributes over parallel composition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Ehrig and B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer Verlag 1985
M. Wirsing: Algebraic Specification. in L. van Leeuwen (ed.): Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B, Elsevier 1990, pp. 675–788
J. Goguen and J. Meseguer: Order-sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problem. in Proc. 2“ d Symp. on Logic in Computer Science, IEEE Computer Soc. Press, 1987, pp. 18–29
H.-D. Ehrich, M. Gogolla and A. Sernadas: Objects and their Specification. in M. Bidoit and C. Choppy (eds.): Specification of Abstract Data Types,Springer Verlag, in print
G. Reggio: Entities: Institutions for Dynamic Systems. in H. Ehrig, K.P. Jantke, F. Orejas and H. Reichel (eds.): Specification of Abstract Data Types, LNCS 534, Springer Verlag 1991
E. Astesiano, A. Giovini, G. Reggio, E. Zucca: An Integrated Algebraic Approach to the Specification of Data Types, Processes, and Objects. in Algebraic Methods–Tools and Applications, LNCS 394, Springer Verlag 1989, pp. 91–116
R. Breu: Algebraic Specification Techniques in Object-Oriented Programming Environments. LNCS, Springer Verlag 1991
E. Astesiano, E. Zucca: A Semantic Model for Dynamic Systems. this volume
H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, Ch. Dimitrovici, M. Grosse-Rhode: Combining Data Type Specification and Recursive Process Specifications using Projection Algebras. Theoretical Computer Science 71 (1990), pp. 347–380
R. Wieringa: Equational Specification of Dynamic Objects. in R. Meers-man, W. Kent and S. Khosla (eds.): Object Oriented Databases: Analysis, Design and Construction, North Holland 1991, pp. 415–438
A. Sernadas, H.-D. Ehrich and F. Costa: From Processes to Objects. The INESC Journal of Research and Development 1 (1990), pp. 7–27
A. Sernadas and H.-D. Ehrich: What is an Object, After All? in R. Meers-man, W. Kent and S. Khosla (eds.): Object Oriented Databases: Analysis, Design and Construction, North Holland 1991, pp. 39–70
M. Barr and C. Wells: Category Theory for Computing Science. Prentice-Hall 1990
J. Goguen and D. Wolfram: On Types and FOOPS. in R. Meersman and W. Kent (eds.): Proc. IFIP 2.6 Working Conf. DS-.4, North Holland, 1990
G. Reichwein and C. Sernadas: Algebraic Semantics of Active Objects. Technical Report, INESC, Lisbon 1992
C. Sernadas, P. Gouveia and G. Reichwein: Temporal Equational Reasoning about Object Specifications. Technical Report, INESC, Lisbon 1992 (to be submitted)
G. Saake and U. Lipeck: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. in E. Börger, H. Kleine Büning and M. Richter (eds.): Proc 2nd Workshop Computer Science Logic, LNCS 385, Springer Verlag 1989, pp. 288–300
J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi and J.-P. Jouannaud: Introducing OBJ. in J. Goguen, D. Coleman and R. Gallimore (eds.): Applications of Algebraic Specification Using OBJ, Cambridge University Press, 1992
J.-P. Jouannaud, C. Kirchner, H. Kirchner and A. Mégrelis: Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJ. Journal of Logic Programming 12 (1992), pp. 257–279
J. Fiadeiro and G. Reichwein: A Categorial Theory of Superposition. Technical Report, INESC, Lisbon 1992 (submitted)
J. Goguen and R. Burstall: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39 (1992), pp. 95–146
G. Smolka, W. Nutt, J. Goguen and J. Meseguer: Order-sorted Equational Computation. in H. Ait and M. Nivat (eds.): Resolution of Equations in Algebraic Structures, Vol. 2, Academic Press 1989, pp. 289–367
J. Guttag: Abstract Data Types and the Development of Data Structures. Communications of the ACM 20 (1977), pp. 396–404
L. Lamport: Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering 3 (1977), pp. 125–143
J. Goguen and S. Ginali: A Categorical Approach to General Systems Theory. in G. Klir (ed.): Applied General Systems Research, Plenum 1978, pp. 257–270
J.-F. Costa, A. Sernadas, C. Sernadas and H.-D. Ehrich: Object Interaction. to appear in Proc. Mathematical Foundations of Computer Science ‘82
J.-F. Costa and A. Sernadas: Algebraic Theory of Transition Systems Implementation. private communication
A.B. Cremers and T.N. Hibbard: Axioms for Concurrent Processes. in H. Maurer (ed.): New Results and New Trends in Computer Science, LNCS 555, Springer Verlag 1991, pp. 54–68
G. Reichwein: Objects and their Data Spaces. The INESC Journal of Research and Development 2 (1991), pp. 72–91
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reichwein, G. (1993). An Order-sorted Approach to Active Objects. In: Lipeck, U.W., Thalheim, B. (eds) Modelling Database Dynamics. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3554-8_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3554-8_6
Publisher Name: Springer, London
Print ISBN: 978-3-540-19803-1
Online ISBN: 978-1-4471-3554-8
eBook Packages: Springer Book Archive