Abstract
The notion of abstract object type (AOT) tends to overlay the already classical concept of abstract data type (ADT) in several fields of application. Objects, although much more complex than data, have the advantage of dealing with states and processes. For that reason, they become useful, for instance, in the design of database applications and in software engineering. The difficulty lies in finding a suitable formalism for the abstract definition of objects, at least as effective as the equational formalism has been in the definition of abstract data types. The purpose of this paper is to present and discuss the main features of such a formalism. Concepts, tools and techniques are provided for the abstract definition of objects. A primitive language is presented allowing structured and rather independent definitions of object types. Each object is described as a temporal entity that evolves because of the events that happen during its life. The interaction between objects is reduced to event sharing. Both liveness and safety requirements can be stated and verified. Two case studies are presented for illustrating every aspect of the approach: the stack example which is very popular in the ADT area, thus allowing the comparison between the concepts of ADT and AOT, and the well known example of the eating philosophers which allows the discussion of the dynamic aspects.
uucp: mcvax!inesc!acs
uucp: mcvax!infbs!ehrich
Preview
Unable to display preview. Download preview PDF.
6-References
Carmo, J., "The Infolog Branching Logic of Events", Information Systems: Theoretical and Formal Aspects, Sernadas, A., Bubenko, J. and Olivé, A. (eds), North Holland, 1985.
Castilho, J., Casanova, M. and Furtado, A., "A Temporal Framework for Database Specification", Proc. 8th VLDB, Mexico City, 1982.
Ehrich, H.-D., Drosten, K. and Gogolla, M., "Towards an Algebraic Semantics for Database Specification", Knowledge and Data (DS-2), Meersman, R. and Sernadas, A. (eds), Proc. IFIP WG 2.6 Working Conference, Albufeira, 1986, North-Holland (to appear).
Ehrich, H.-D., "Key Extensions of Abstract Data Types, Final Algebras and Database Semantics", Proc. Workshop on Category Theory and Computer Programming, Pitt, D. et al (eds), Springer-Verlag, 1986.
Ehrig, H. and Mahr, B., Fundamentals of Algebraic Specification I, Springer-Verlag, 1985.
Ehrich, H.-D., Sernadas, A. and Sernadas, C., "Semantics of Object-Oriented Databases: Complex Objects", 1988 (to be published).
Fiadeiro, J. and Sernadas, A., "The Infolog Linear Tense Propositional Logic of Events and Transactions", Information Systems, 11[1], 1986.
Fiadeiro, J. and Sernadas, A., "Specification and Verification of Database Dynamics", Acta Informatica, 1988 (in print).
Hoare, C., Communicating Sequential Processes, Prentice-Hall, 1985.
Kripke, S., "Semantical Considerations on Modal Logics", Acta Philosophica Fennica — Modal and Many-valued Logics, 1963.
Pnueli, A., "The Temporal Logic of Program", Proc. 18th FOCS, Providence, RI, 1977.
Pnueli, A., "The Temporal Semantics of Concurrent Programs", Proc. Symp. on Semantics of Concurrent Computations, Evian, Springer-Verlag, 1979.
Sernadas, A., "Temporal Aspects of Logical Procedure Definition", Information Systems, 5[3], 1980.
Sernadas, A., Sernadas, C. and Ehrich, H.-D., "Object-Oriented Specification of Databases: An Algebraic Approach", Proc.13th VLDB, Stocker, P. and Kent, W. (eds), Morgan-Kaufmann Publ. Inc., Los Altos, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, HD. (1989). Abstract object types: A temporal perspective. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds) Temporal Logic in Specification. Lecture Notes in Computer Science, vol 398. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51803-7_33
Download citation
DOI: https://doi.org/10.1007/3-540-51803-7_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51803-7
Online ISBN: 978-3-540-46811-0
eBook Packages: Springer Book Archive