Abstract
This paper focusses on the behavioural aspects of the IFO2 3 model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull. Its originality is in the formalization of complex events and their specification, which adopts semantics and syntax indentical to those of the structural part. In addition, it offers concepts — particularly modularity and re-usability — that are unanimously recognized as useful for structural specification of applications.
This work, supported by an External European Research Project in collaboration with Digital Equipment, comes within the scope of a larger project whose aim is to provide an aided modelling and design system for advanced applications.
Chapter PDF
Similar content being viewed by others
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.
References
Directions for future database research and development. Special Issue of Sigmod Record, 19(4), December 1990.
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 Proceedings of the 17th International Conference on Very Large Data Bases (VLDB'91), pages 3–14, Barcelona, Spain, September 1991.
S. Chakravarthy and D. Mishra. Snoop: An expressive event specification language for active databases. Technical report, University of Florida, March 1993.
E. Dubois, P. Du Bois, and M. Petit. Elicitating and formalizing requirements for C. I. M. information systems. In Proceedings of the 5 th Internation Conference on Advanced Information Systems Engineering (CAiSE'93), Lecture Notes in Computer Science, pages 252–274, June 1993.
J. Fiadeiro and A. Sernadas. Specification and verification of database dynamics. Acta Informatics, 25:625–661, 1988.
N. H. Gehani, H. Jagadish, and O. Shmueli. Event specification in an active objectoriented database. In Proceedings of the ACM Sigmod Conference, pages 81–90, San Diego, California, June 1992.
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 Proceedings of the Conference on Office. Information Systems, pages 205–215, Cambridge, April 1990.
P. Poncelet and L. Lakhal. Consistent structural updates for object-oriented design. In Proceedings of the 5th International Conference on Advanced Information Systems Engineering (CAiSE'93), volume 685 of Lecture Notes in Computer Science, pages 1–21, Paris, France, June 1993.
P. Poncelet, M. Teisseire, R. Cicchetti, and L. Lakhal. Towards a formal approach for object-oriented database design. In Proceedings of the 19th International Conference on Very Large Data Bases (VLDB'93), pages 278–289, Dublin, Ireland, August 1993.
C. Quer and A. Olivé. Object interaction in object-oriented deductive conceptual models. In Proceedings of the 5th International Conference on Advanced Information Systems Engineering (CAiSE'93), volume 685 of Lecture Notes in Computer Science, pages 374–396, June 1993.
C. Rolland and C. Cauvet. Modélisation conceptuelle orientée objet. In Actes des 7ièmes Journées Bases de Données Avancées, pages 299–325, Lyon, France, September 1991.
G. Saake. Descriptive specification of database object behaviour. Data & Knowledge Engineering, 6:47–73, 1991.
A. Sernadas, C. Sernadas, and H. D. Enrich. Object-oriented specification of databases: An algebraic approach. In Proceedings of the 13th International Conference on Very Large Data Bases (VLDB'87), pages 107–116, Brighton, UK, August 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. A tool based on a. formal approach for object-oriented database modeling and design. In Proceedings of the 6th International Workshop on Computer-Aided (CASE'93), IEEE, Singapore, July 1993.
R. J. Wieringa. A formalization of objects using equational dynamic logic. In Proceedings of the 2nd International Conference on Deductive and Object-Oriented Databases (DOOD'91), volume 566 of Lecture Notes in Computer Science, pages 431–452, Munich, Germany, December 1991.
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., Poncelet, P., Cicchetti, R. (1994). Dynamic modelling with events. In: Wijers, G., Brinkkemper, S., Wasserman, T. (eds) Advanced Information Systems Engineering. CAiSE 1994. Lecture Notes in Computer Science, vol 811. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58113-8_170
Download citation
DOI: https://doi.org/10.1007/3-540-58113-8_170
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58113-0
Online ISBN: 978-3-540-48459-2
eBook Packages: Springer Book Archive