Formal semantics of dynamic rules in ORM

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5333, Issue , 2008, Pages 699-708

  Balsters, Herman ^a   Halpin, Terry ^b  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

^b Neumont University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

DATABASE TRANSACTIONS; DYNAMIC CONSTRAINTS; DYNAMIC RULES; FORMAL SEMANTICS; OBJECT ROLE MODELS; PREDICATE LOGIC; STATE TRANSITIONS; STATIC CONSTRAINTS;

SEMANTICS;

EID: 84964547548     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88875-8_94     Document Type: Conference Paper

References (25)

1. Balsters, H., Carver, A., Halpin, T., Morgan, T.: Modeling Dynamic Rules in ORM. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2006 Workshops. LNCS, vol. 4278, pp. 1201-1210. Springer, Heidelberg (2006)
2. Bakema, G., Zwart, J., van der Lek, H.: Fully Communication Oriented Information Modelling, Ten Hagen Stam, The Netherlands (2000)
3. de Brock, E.O.: A General Treatment of Dynamic Integrity Constraints. Data and Knowledge Engineering 32(3), 223-246 (2000)
4. Bruza, P.D., van der Weide, T.P.: The Semantics of TRIDL, Technical Report 89-17, Department of Information Systems, University of Nijmegen (1989)
5. Chen, P.P.: The entity-relationship model—towards a unified view of data. ACM Transactions on Database Systems 1(1), 9-36 (1976)
6. Chomicki, J.: History-less Checking of Dynamic Integrity Constraints. In: ICDE 1992, pp. 557-564 (1992)
7. Curland, M., Halpin, T.: Model Driven Development with NORMA. In: Proc. 40th Int. Conf. on System Sciences (HICSS-40). IEEE Computer Society, Los Alamitos (2007)
8. Falkenberg, E.D., van der Weide, T.P.: Formal Description of the TOP Model. Technical Report 88-01, Department of Information Systems, University of Nijmegen (1988)
9. Girle, R.: Possible Worlds. McGill-Queen’s University Press, Montreal (2003)
10. Halpin, T.: A Logical Analysis of Information Systems: static aspects of the data-oriented perspective, doctoral dissertation, University of Queensland (1989), http://www.orm.net/Halpin_PhDthesis.pdf
11. Halpin, T.: ORM 2, On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005, vol. 3762, pp. 676-687. Springer, Heidelberg (2005)
12. Halpin, T.: ORM/NIAM Object-Role Modeling. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Information Systems Architectures, 2nd edn., pp. 81-103. Springer, Heidelberg (2006)
13. Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)
14. Halpin, T., Wagner, G.: Modeling Reactive Behavior in ORM. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 567-569. Springer, Heidelberg (2003)
15. ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains, PhD thesis, University of Nijmegen (1993)
16. ter Hofstede, A.H.M., Proper, H.A., van der Weide, T.P.: Formal definition of a conceptual language for the description and manipulation of information models. Information Systems 18(7), 489-523 (1993)
17. Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications, Theor. Comput. Sci. 76(1), 115-142 (1990)
18. Object Management Group 2003, UML 2.0 Superstructure Specification (2003), http://www.omg.org/uml
19. Object Management Group 2005, UML OCL 2.0 Specification (2005), http://www.omg.org/docs/ptc/05-06-06.pdf
20. Object Management Group 2007, Semantics of Business Vocabulary and Business Rules (SBVR) Specification (2007), http://omg.org/technology/documents/bms_spec_catalog.htm#SBVR
21. Paton, N.W., Díaz, O.: Active Database Systems. ACM Computing Surveys 31(1), 63-103 (1999)
22. Proper, H.A.: A Theory for Conceptual Modeling of Evolving Application Domains, PhD thesis, University of Nijmegen (1994)
23. Proper, H.A., Hoppenbrouwers, S.J.B.A., van der Weide, T.P.: A Fact-Oriented Approach to Activity Modeling. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 666-675. Springer, Heidelberg (2005)
24. Snodgrass, R.T.: TSQL2Language specification. SIGMOD Record 23(1), 65-86 (1994)
25. Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)