Abstract
In this paper we propose a number of extensions for object oriented data models in order to describe dynamic aspects of applications. These extensions enable the specification of objects that modify their behavior dynamically; the extensions also provide control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. The consistency of such specifications can be algorithmically verified. Furthermore, adherence to the specifications at run-time is easily achieved. By means of examples we shall try to illustrate the usefulness of the extensions we are proposing. Finally, we shall point out what differentiates our proposal from existing models and give examples to illustrate our arguments.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
C. Arapis. “Type Conversion and Enhancement in Object Oriented Systems”. In Object Oriented Development, Centre Universitaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, June 1989.
C. Arapis. “Specifying Object Life-Cycles”. In Object Management, Centre Univeristaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, July 1990.
F. Bancilhon. “Object Oriented Database Systems”. Invited lecture in 7 th ACM SIGART-SIGMOD-SIGACT Symposium on Principles of Database Systems, Austin, Texas, March 1988.
J. Banerjee, H.T. Chou, J. Garsa, W. Kim, D. Woelk, N. Ballou, H.J. Kim. “Data model issues for object oriented applications”. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987.
M.J. Carey, D.J. DeWitt, S.L. Vandenberg. “A Data Model and Query Language for EXODUS”. Proceedings of the SIGMOD Conference, Chicago, Illinois, June 1988.
E. Casais. “An Object Oriented System Implementing KNOs”. Proceedings of the Conference on Office Information Systems (COIS), Palo Alto, March 1988.
A. Emerson, T. Sadler, J. Srinivasan. “Efficient Temporal Reasoning”. 16 th ACM Symposium on Principles of Programming Languages, 1989.
D.H. Fishmann and al. “Iris: An Object Oriented Database Management System”. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987.
D. Gabbay, A. Pnueli, S. Shelah, J. Stavi. “On the temporal analysis of fairness”. 7 th ACM Symposium on Principles of Programming Languages, 1980.
J. Guyot. Un modele de traitements pour les bases de donnees: un formalisme pour la conception la validation et l'execution de la specification d'une application. These No 2204, Universite de Geneve, 1986.
J. Hendler. “Enhancement for multiple-inheritance”. ACM SIGPLAN Notices, Vol. 21, No. 10, October 1986.
S. Khoshafian, G. Copeland. “Object Identity”. Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986.
C. H. Kung, “On Verification of Database Temporal Constraints”. Proceedings of the SIGMOD Conference, Austin, Texas, May 1985.
L. Lamport. “Specifying Concurrent Program Modules”. ACM Transactions on Programming Languages and Systems, Vol. 5, No. 2, April 1983.
C. Lecluse, P. Richard, F. Velez, “O2, an Object Oriented Data Model”. Proceedings of the SIGMOD Conference, Chicago, Illinois, June 1988.
U. Lipeck. “Stepwise Specification of Dynamic Database Behaviour”. Proceedings of the SIGMOD Conference, Washington, May 1986.
U. Lipeck, G. Saake. “Monitoring Dynamic Integrity Constraints on Temporal Logic”. Information Systems, Vol. 12, No. 3, 1987.
D. Maier, J. Stein, A. Otis, A. Purdy. “Development of an Object Oriented DBMS”. Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986.
Z. Manna, P. Wolper. “Synthesis of Communicating Process”. ACM Transactions on Programming Languages and Systems, Vol. 6, No. 1, June 1984.
B. Pernici. “Object with Roles”. Proceedings of the Conference on Office Information Systems (COIS), Cambridfe, Massachusetts, 1990.
A. Pnueli. “Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends”. In Current Trends in Concurrency, edited by Bakker, Roever, Rozenberg, LNCS 224, Springer Verlag, 1986.
A. Oberweis, G. Laussen. “Temporal Aspects in Office Information Systems”. Proceeding of the IFIP WG8.4 Working Conference on Methods And Tools For Office Systems (Pisa) 1986.
A. Sernadas. “Temporal Aspects of Logical Procedure Definition”. Information Systems, Vol. 5, 1980.
A. Solvberg, C. H. Kung. “On Structural and Behavioral Modelling of Reality”. Proceeding of the IFIP WG 2.6 Conference on Data Semantics, 1985.
D. Tsichritzis, E. Fiume, S. Gibbs, O. Nierstrasz. “KNOs: knowledge acquisition, dissemination and manipulation objects”. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987.
D. Tsichritzis, O. Nierstrasz. “Directions in Object Oriented Research”. In Active Object Environments, Centre Univeristaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, June 1988.
S. Weiser, F. Lochovsky. “OZ+: An Object-Oriented Database System”. In Object-Oriented Concepts, Databases, and Applications, edited by W. Kim, F. Lochovsky, ACM Press, 1989.
P. Wolper. “On the Relation of Programs and Computations to Models of Temporal Logic”. In Temporal Logic in Specification, LNCS 398, Springer Verlag, April 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arapis, C. (1991). Temporal specifications of object behavior. In: Thalheim, B., Demetrovics, J., Gerhardt, H.D. (eds) MFDBS 91. MFDBS 1991. Lecture Notes in Computer Science, vol 495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54009-1_22
Download citation
DOI: https://doi.org/10.1007/3-540-54009-1_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54009-0
Online ISBN: 978-3-540-47348-0
eBook Packages: Springer Book Archive