Skip to main content
SpringerLink
Log in

A temporal logic-based approach for the description of object behavior evolution

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

In this paper, we propose a model reflecting the philosophy of the object-oriented approach and intended for the description of dynamic aspects of applications. The model enables the specification of objects that modify their behavior dynamically and allows the control of the dynamic evolution of objects by means of constraints expressed in the language of propositional temporal logic. We also present an algorithm for verifying consistency of specification. This algorithm constitutes an extension of existing satisfiability algorithms for propositional temporal logic to take into account past operators.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Abiteboul and N. Bidoit, Non first normal relations: An algebra allowing data restructuring, J. Comp. Syst. Sci. 33(1986)361.

    Google Scholar 

  2. A. Albano, L. Cardeli and R. Orsini, Galileo: A strongly-typed, interactive conceptual language, ACM Trans. Database Syst. 2(1985)230.

    Google Scholar 

  3. C. Arapis, Type conversion and enhancement in object-oriented systems, in:Object-Oriented Development, ed. D. Tsichritzis (Centre Universitaire d'Informatique, University of Geneva, 1989).

  4. C. Arapis, Specifying object life-cycles, in:Object Management, ed. D. Tsichritzis (Centre Universitaire d'Informatique, University of Geneva, 1990).

  5. C. Arapis, Temporal specifications of object behavior, in:Proc. 3rd Int. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems, ed. B. Thalheim, J. Demetrovics and H.D. Gerhardt (Springer, Rostock, 1991) p. 308.

    Google Scholar 

  6. C. Arapis, Temporal specifications of object interactions, in:Proc. 3rd Int. Workshop on Foundations of Models and Languages for Data and Objects, ed. J. Goers, A. Heuer and G. Saake, Aigen, Austria (1991) p. 15.

  7. C. Arapis, Dynamic evolution of object behavior and object cooperation, Ph.D. Thesis, Centre Universitaire d'Informatique, University of Geneva (1992).

  8. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, M. Maier and S. Zdonik, The object-oriented database system manifesto, in:Proc. 1st Conf. on Deductive and Object-Oriented Database, Kyoto, Japan (1989) p. 1.

  9. F. Bancilhon, Object-oriented database systems, in:Proc. 7th ACM SIGART-SIGMOD-SIGACT Symp. on Principles of Database Systems (ACM, Austin, TX, 1988) p. 1.

    Google Scholar 

  10. J. Banerjee, H.T. Chou, J. Garsa, W. Kim, D. Woelk, N. Ballou and H.J. Kim, Data model issues for object-oriented applications, ACM Trans. Office Inf. Syst. 1(1987)3.

    Google Scholar 

  11. M.L. Brodie and D. Ridjanovic, On the design and specification of database transactions, in:On Conceptual Modelling, ed. M. Brodie, J. Mylopoulos and J. Schmidt (Springer, 1984).

  12. M.J. Carey, D.J. DeWitt and S.L. Vandenberg, A data model and query language for EXODUS, in:Proc. SIGMOD Conf., ed. H. Borel and P.A. Larson (ACM, Chicago, IL, 1988) p. 413.

    Google Scholar 

  13. E. Casais, An object-oriented system implementing KNOs, in:Proc. Conf. on Office Information Systems, ed. R. Allen (ACM, Palo Alto, CA, 1988) p. 284.

    Google Scholar 

  14. P.P.S. Chen, The entity-relationship model: Toward a unified view of data, ACM Trans. Database Syst. 1(1976)9.

    Google Scholar 

  15. E.F. Codd, A relational model of data for large shared data banks, ACM Commun. 6(1970)377.

    Google Scholar 

  16. E.F. Codd, Extending the database relational model to capture more meaning, ACM Trans. Database Syst. 4(1979)397.

    Google Scholar 

  17. B. Cox,Object-Oriented Programming: An Evolutionary Approach (Addison-Wesley, 1987).

  18. V. De Antonellis and B. Zonta, Modelling events in data base applications design, in:Proc. 7th Int. Conf. on Very Large Data Bases, ed. C. Zaniolo and C. Delobel (IEEE, Cannes, France, 1981) p. 23.

    Google Scholar 

  19. A. Emerson, T. Sadler and J. Srinivasan, Efficient temporal reasoning, in:Proc. 16th ACM Symp. on Principles of Programming Languages (ACM, Austin, TX, 1989) p. 166.

    Google Scholar 

  20. D.H. Fishmann, D. Beech, H.P. Cate, E.C. Chow, T. Connors, J.W. Davis, N. Derrett, C.G. Hoch, W. Kent, P. Lyngbaek, B. Mahbod, M.A. Neimat, T.A. Ryan and M.C. Shan, Iris: An object-oriented database management system, ACM Trans. Office Inf. Syst. 1(1987)48.

    Google Scholar 

  21. D. Gabbay, A. Pnueli, S. Shelah and J. Stavi, On the temporal analysis of fairness, in:Proc. 7th ACM Symp. on Principles of Programming Languages (ACM, Las Vegas, Nevada, 1980) p. 163.

    Google Scholar 

  22. S. Gibbs, D. Tsichritzis, E. Vasais, O. Nierstrasz and X. Pintado, Class management for software communities, ACM Commun. 9(1990)90.

    Google Scholar 

  23. M. Hammer and D. McLeod, Database description with SDM: A semantic data model, ACM Trans. Database Syst. 3(1981)351.

    Google Scholar 

  24. J. Hendler, Enhancement for multiple-inheritance, ACM SIGPLAN Notices 10(1986)98.

    Google Scholar 

  25. R. Hull and C. Yap, The format model: A theory of database organization, J. ACM 3(1984)518.

    Google Scholar 

  26. W. Kim, N. Ballou, H. Chou, J. Garsa, D. Woelk and J. Banerjee, Integrating an object-oriented programming system with a database system, in:Proc. OOPSLA Conf., ed. N. Meyrowitz (ACM, San Diego, CA, 1988) p. 142.

    Google Scholar 

  27. S. Khoshafian and G. Copeland, Object identity, in:Proc. OOPSLA Conf., ed. N. Meyrowitz (ACM, Portland, OR, 1986) p. 406.

    Google Scholar 

  28. C.H. Kung, On verification of database temporal constraints, in:Proc. SIGMOD Conf., ed. S. Navath (ACM, Austin, TX, 1985) p. 169.

    Google Scholar 

  29. C.H. Kung, A temporal framework for database specification and verification, in:Proc. 10th Int. Conf. on Very Large Data Bases, ed. U. Dayal, G. Schlageter and L.H. Seng (Morgan Kaufmann, Singapore, 1984) p. 91.

    Google Scholar 

  30. L. Lampert, Specifying concurrent program modules, ACM Trans. Progr. Languages Syst. 2(1983)190.

    Google Scholar 

  31. C. Lecluse, P. Richard and F. Velez, O2, an object-oriented data model, in:Proc. SIGMOD Conf., ed. H. Borel and P.A. Larson (ACM, Chicago, IL, 1988) p. 424.

    Google Scholar 

  32. U. Lipeck, Stepwise specification of dynamic database behaviour, in:Proc. SIGMOD Conf., ed. C. Zaniolo (ACM, Washington, DC, 1986) p. 387.

    Google Scholar 

  33. U. Lipeck and G. Saake, Monitoring dynamic integrity constraints on temporal logic, Inf. Syst. 3(1987)255.

    Google Scholar 

  34. D. Maier, J. Stein, A. Otis and A. Purdy, Development of an object-oriented DBMS, in:Proc. OOPSLA Conf., ed. N. Meyrowitz (ACM, Portland, OR, 1986) p. 472.

    Google Scholar 

  35. Z. Manna and P. Wolper, Synthesis of communicating process, ACM Trans. Progr. Languages Syst. 1(1984)68.

    Google Scholar 

  36. E. Mendelson,Introduction to Mathematical Logic (Van Nostrand, 1964).

  37. B. Meyer,Object-Oriented Software Construction (Prentice-Hall, 1988).

  38. T. Muck and G. Vinek, Modelling dynamic constraints using augmented place transition nets, Inf. Syst. 4(1989)327.

    Google Scholar 

  39. J. Mylopoulos, P.A. Berstein and H.K.T. Wong, A language facility for designing database-intensive applications, ACM Trans. Database Syst. 2(1980)185.

    Google Scholar 

  40. A. Oberweis and G. Laussen, Temporal aspects in office information systems, in:Proc. IFIP WG8.4 Working Conf. on Methods and Tools for Office Systems, ed. G. Bracchi and D. Tsichritzis (North-Holland, Pisa, Italy, 1986) p. 247.

    Google Scholar 

  41. B. Pernici, Object with roles, in:Proc. Cong. on Office Information Systems, ed. F. Lochovsky and R. Allen (ACM, Vambridge, MA, 1990) p. 205.

    Google Scholar 

  42. A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends, in:Current Trends in Concurrency, ed. J.W. Baker, W.P. Roever and G. Rozenberg (Springer, 1986).

  43. G. Richter and R. Durchloz, IML-inscribed high-level nets, in:Proc. IFIP Conf. on Information Systems Design Methodologies; A Comparative Review, ed. T. Olle, H. Sol and A. Verijn-Stuart (North-Holland, Noordwijkerhout, The Netherlands, 1982) p. 335.

    Google Scholar 

  44. H.J. Schek and M.H. Scholl, The relational model with relation-valued attributes, Inf. Syst. 2(1986)137.

    Google Scholar 

  45. A. Sernadas, Temporal aspects of logical procedure definition, Inf. Syst. 5(1980)167.

    Google Scholar 

  46. D.W. Shipman, The functional data model and the data language DAPLEX, ACM Trans. Database Syst. 1(1981)140.

    Google Scholar 

  47. A. Solvberg and C.H. Kung, On structural and behavioral modelling of reality, in:Proc. IFIP WG2.6 Conf. on Data Semantics 1, ed. T. Steel and R. Meersmann (North-Holland, Hasslet, Belgium, 1985) p. 205.

    Google Scholar 

  48. R. Studer and A. Horndasch, Modeling static and dynamic aspects in information systems, in:Proc. IFIP WG2.6 Conf. on Database Semantics 1, ed. T. Steel and R. Meersmann (North-Holland, Hasslet, Belgium, 1985) p. 13.

    Google Scholar 

  49. D. Tsichritzis, E. Fiume, S. Gibbs and O. Nierstrasz, KNOs: Knowledge acquisition, dissemination and manipulation objects, ACM Trans. Office Inf. Syst. 1(1987)96.

    Google Scholar 

  50. D. Tsichritzis and O. Nierstrasz, Application development using objects, in:Active Object Environments, ed. D. Tsichritzis (Centre Universitaire d'Informatique, University of Geneva, 1988).

  51. D. Tsichritzis and O. Nierstrasz, Directions in object-oriented research, in:Active Object Environments, ed. D. Tsichritzis (Centre Universitaire d'Informatique, University of Geneva, 1988).

  52. S. Weiser and F. Lochovsky, OZ+: An object-oriented database system, in:Object-Oriented Concepts, Databases, and Applications, ed. W. Kim and F. Lochovsky (ACM Press, 1989).

  53. P. Wolper, On the relation of programs and computations to models of temporal logic, in:Proc. Temporal Logic in Specification, ed. B. Banieqbal, H. Barringer and A. Pnueli (Springer, Altrincham, UK, 1987) p. 75.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre Universitaire d'Informatique, University of Geneva, 12, rue du Lac, CH-1207, Geneva, Switzerland

    Constantin Arapis

Authors
  1. Constantin Arapis
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Arapis, C. A temporal logic-based approach for the description of object behavior evolution. Ann Math Artif Intell 7, 1–40 (1993). https://doi.org/10.1007/BF01556348

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01556348

Keywords

Search

Navigation