Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Modeling

ER 1995: OOER '95: Object-Oriented and Entity-Relationship Modeling pp 123–132Cite as

Behavioural constraints: Why using events instead of states

  • Behavioural Modeling
  • Conference paper
  • First Online:

  • 139 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1021))

Abstract

This paper focusses on the behavioural constraints of the IFO2 model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull [1], IFO2 provides a “whole-event” approach for the dynamic modelling of applications (any fact is modelled as an event). As regards the behavioural conditions constraining event triggering, IFO2 also provides an event approach, based on traces. In fact, operators are proposed to manipulate traces and can be combined in order to express varied behavioural conditions.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and R. Hull. IFO: A Formal Semantic Database Model. ACM Transactions on Database Systems, 12(4):525–565, December 1987.

    Google Scholar 

  2. G. Booch. Object-Oriented Design with Applications. Benjamin/Cumming Company, 1991.

    Google Scholar 

  3. J. Carmo and A. Sernadas. A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. In Proceedings of the Temporal Aspects in Information Systems Conference (IFIP 88), pp 31–46. Elsevier Science, 1988.

    Google Scholar 

  4. S. Chakravarthy, B. Blaustein, A. P. Buchmann, M. Carey, U. Dayal, D. Goldhirsch, M. Hsu, R. Jauhari, and al. HiPAC: A Research Project in Active, Time-Constrained Database Management. Technical report, Xerox Advanced Information Technology, Cambrige, MA, August 1990.

    Google Scholar 

  5. P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press Computing Series, 1990.

    Google Scholar 

  6. D. Harel. On Visual Formalisms. Communications of the ACM, 31(5):514–530, 1988.

    Google Scholar 

  7. C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

    Google Scholar 

  8. P. Loucopoulos and R. Zicari. Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development. Wiley Professional Computing, 1992.

    Google Scholar 

  9. Z. Manna and A. Pnueli. Specification and Verification of Concurrent Programs by ∀-Automata. In Proceedings of the Temporal Logic in Specification Conference, LNCS Vol 398, pp 124–164, Altrincham, UK, April 1987.

    Google Scholar 

  10. J. Ostroff. Temporal Logic for Real Time Systems. Wiley and Sons, 1989.

    Google Scholar 

  11. J. Ostroff. A Logic for Real-Time Discrete Event Processes. IEEE Control Systems Magazine, pp 95–102, June 1990.

    Google Scholar 

  12. P. Poncelet, M. Teisseire, R. Cicchetti, and L. Lakhal. Towards a Formal Approach for Object-Oriented Database Design. In Proceedings of the 19th VLDB Conference, pp 278–289, Dublin, Ireland, August 1993.

    Google Scholar 

  13. G. Reggio. Event Logic for Specifying Abstract Dynamic Data Types. In Proceedings of 8th Workshop on Specification of Abstract Data Types and the 3rd COMPASS Workshop, LNCS Vol 655, pp 292–309, Dourdan, France, August 1991.

    Google Scholar 

  14. C. Rolland and C. Cauvet. Modélisation Conceptuelle Orientée Objet. In Actes des 7ièmes Journées BDA, pp 299–325, Lyon, France, Septembre 1991.

    Google Scholar 

  15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.

    Google Scholar 

  16. A. Sernadas, C. Sernadas, and H. D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In Proceedings of the 13th VLDB Conference, pp 107–116, Brighton, UK, August 1987.

    Google Scholar 

  17. R. Smedinga. Locked Discrete Event Systems: How to Model and How to Unlock. Discrete Event Dynamic Systems: Theory and Applications, pp 265–297, 1993.

    Google Scholar 

  18. M. Teisseire and R. Cicchetti. An Algebraic Approach for Event-Driven Modelling. In Proceedings of the 5th DEXA Conference, LNCS Vol 856, pp 300–309, Athens, Greece, September 1994.

    Google Scholar 

  19. M. Teisseire, P. Poncelet, and R. Cicchetti. Dynamic Modelling with Events. In Proceedings of the 6th CAiSE Conference, LNCS Vol 811, pp 285–295, Utrecht, The NetherLands, June 1994.

    Google Scholar 

  20. M. Teisseire, P. Poncelet, and R. Cicchetti. Towards Event-Driven Modelling for Database Design. In Proceedings of the 20th VLDB Conference, pp 285–296, Santiago, Chile, September 1994.

    Google Scholar 

  21. R. Wieringa. Steps Towards a Method for the Formal Modeling of Dynamic Objects. Data & Knowledge Engineering, 6:509–540, 1991.

    Google Scholar 

  22. R. J. Wieringa. A Formalization of Objects Using Equational Dynamic Logic. In Proceedings of the 2nd DOOD Conference, LCNS Vol 566, pp 431–452, Munich, Germany, December 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut des Sciences de l'Ingénieur de Montpellier (ISIM), 161 rue Ada, 34395, Montpellier Cedex 5, France

    Maguelonne Teisseire

  2. Montpellier II, LIRMM UMR 9928 CNRS, 161 rue Ada, 34395, Montpellier Cedex 5, France

    Maguelonne Teisseire

Authors
  1. Maguelonne Teisseire
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael P. Papazoglou

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Teisseire, M. (1995). Behavioural constraints: Why using events instead of states. In: Papazoglou, M.P. (eds) OOER '95: Object-Oriented and Entity-Relationship Modeling. ER 1995. Lecture Notes in Computer Science, vol 1021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020526

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60672-7

  • Online ISBN: 978-3-540-48527-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation