Abstract
This paper is devoted to the dynamic aspect of the IFO2 conceptual model, an extension of the semantic IFO model defined by S. Abiteboul and R. Hull. It focuses on a specification language used to express particularly precise condition on event triggering. The original aspects of IFO2 are a “whole-event” approach, the use of constructors to express combinations of events and the modularity of specifications in order to optimize the designer's work. Furthermore, it offers an overall vision of the represented behaviour.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Transactions on Database Systems, 12(4):525–565, December 1987.
M. Bouzeghoub and E. Métais. Semantic modelling of object-oriented databases. In Proc. VLDB'91, pp. 3–14, Barcelona, Spain, 1991.
J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In Proc. of the Temporal Aspects in Information Systems Conference (IFIP 88), pp. 31–46, 1988.
S. Chakravarthy. Rule management and evaluation: An active DBMS perspective. Sigmod Record, 18(3):20–28, September 1989.
J. Fiadeiro and A. Sernadas. Specification and verification of database dynamics. Acta Informatica, 25:625–661, 1988.
C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
R. Hull and R. King. Semantic database modelling: Survey, applications and research issues. ACM Computer Surveys, 19(3):201–260, September 1987.
P. Loucopoulos and R. Zicari. Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development. Wiley Professional Computing, 1992.
B. Pernici. Objects with roles. In Proc. of the Conference on Office Information Systems, pp. 205–215, Cambridge, 1990.
P. Poncelet, M. Teisseire, R. Cicchetti, and L. Lakhal. Towards a formal approach for object-oriented database design. In Proc. VLDB'93, pp. 278–289, Dublin, Ireland, 1993.
C. Quer and A. Olivé. Object interaction in object-oriented deductive conceptual models. In Proc. CAiSE'93, volume 685 of LNCS, pp. 374–396, Paris, France, 1993.
G. Reggio. Event logic for specifying abstract dynamic data types. In Proc. of 8th Workshop on Specification of Abstract Data Types, volume 655 of LNCS, pp. 292–309, Dourdan, France, 1991.
C. Rolland and C. Cauvet. Trends and Perspectives in Conceptual Modeling. in [8].
G. Saake. Descriptive specification of database object behaviour. Data & Knowledge Engineering, 6:47–73, 1991.
A. Sernadas, C. Sernadas, and H. D. Ehrich. Object-oriented specification of databases: An algebraic approach. In Proc. VLDB'87, pp. 107–116, Brighton,UK, 1987.
C. Sernadas and J. Fiadeiro. Towards object-oriented conceptual modeling. Data & Knowledge Engineering, 6:479–508, 1991.
M. Teisseire, P. Poncelet, and R. Cicchetti. Dynamic modelling with events. In Proc. CAiSE'94, volume 811 of LNCS, pp. 186–199, Utrecht, The Netherlands, 1994.
M. Teisseire, P. Poncelet, and R. Cicchetti. Towards event-driven modelling for database design. In Proc. VLDB'94, Santiago, Chile, 1994. To appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Teisseire, M., Cicchetti, R. (1994). An algebraic language for event-driven modelling. In: Karagiannis, D. (eds) Database and Expert Systems Applications. DEXA 1994. Lecture Notes in Computer Science, vol 856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58435-8_194
Download citation
DOI: https://doi.org/10.1007/3-540-58435-8_194
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58435-3
Online ISBN: 978-3-540-48796-8
eBook Packages: Springer Book Archive