Abstract
This paper proposes an extension to the Object-Role Modeling approach to support formal declaration of dynamic rules. Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper, application of dynamic rules is restricted to so-called single-step transactions, with an old state (the input of the transaction) and a new state (the direct result of that transaction). Such restricted rules are easier to formulate (and enforce) than a constraint applying historically over all possible states. In our approach, dynamic rules specify an elementary transaction type indicating which kind of object or fact is being added, deleted or updated, and (optionally) pre-conditions relevant to the transaction, followed by a condition stating the properties of the new state, including the relation between the new state and the old state. These dynamic rules are formulated in a syntax designed to be easily validated by non-technical domain experts.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11915072_109.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bakema, G., Zwart, J., van der Lek, H.: Fully Communication Oriented Information Modelling, Ten Hagen Stam, The Netherlands (2000)
de Brock, E.O.: A General Treatment of Dynamic Integrity Constraints. Data and Knowledge Engineering 32(3), 223–246 (2000)
Bruza, P.D., van der Weide, T.P.: The Semantics of TRIDL, Technical Report 89-17, Department of Information Systems, University of Nijmegen (1989)
Chen, P.P.: The entity-relationship model—towards a unified view of data. ACM Transactions on Database Systems 1(1), 9–36 (1976)
Chomicki, J.: History-less Checking of Dynamic Integrity Constraints. In: ICDE 1992, pp. 557–564 (1992)
Embley, D.W.: Object Database Development. Addison-Wesley, Reading (1998)
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)
Halpin, T.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2001)
Halpin, T.: Business Rule Verbalization, Information Systems Technology and its Applications. In: Doroshenko, A., Halpin, T., Liddle, S., Mayr, H. (eds.) Proc. ISTA-2004, Salt Lake City. Lec. Notes in Informatics, vol. P-48, pp. 39–52 (2004)
Halpin, T.: Information Modeling in UML and ORM: A Comparison. In: Khosrow-Pour, M. (ed.) Encyclopedia of Information Science and Technology, vol. 3, pp. 1471–1475. Idea Publishing Group, Hershey (2005)
Halpin, T.: ORM 2. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 676–687. Springer, Heidelberg (2005)
Halpin, T.: Business Rule Modality. In: Latour, T., Petit, M. (eds.) Proc. CAiSE 2006 Workshops, pp. 383–394. Namur University Press (2006)
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)
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)
ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains, PhD thesis, University of Nijmegen (1993)
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)
Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theor. Comput. Sci. 76(1), 115–142 (1990)
Object Management Group 2003, UML 2.0 Superstructure Specification, Online at: www.omg.org/uml
Object Management Group 2005, UML OCL 2.0 Specification, Online at: http://www.omg.org/docs/ptc/05-06-06.pdf
Olivé, A.: Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 349–362. Springer, Heidelberg (2003)
Paton, N.W., Díaz, O.: Active Database Systems. ACM Computing Surveys 31(1), 63–103 (1999)
Proper, H.A.: A Theory for Conceptual Modeling of Evolving Application Domains, PhD thesis, University of Nijmegen (1994)
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)
Theodoulidis, C., Loucopoulos, P., Kopanas, V.: A Rule Oriented Formalism for Active Temporal Databases. In: Lyytinen, K., Tahvanainen, V.-P. (eds.) Next Generation CASE Tools. IOS Press, Amsterdam (1992)
Theodoulidis, C., Wangler, B., Loucopoulos, P.: The Entity-Relationship-Time Model. In: Conceptual Modelling, Databases, and CASE: An Integrated View of Information Systems Development, ch.4, pp. 87–115. John Wiley & Sons, Chichester (1992)
Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)
Wintraecken, J.: The NIAM Information Analysis Method: Theory and Practice. Kluwer, Deventer (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balsters, H., Carver, A., Halpin, T., Morgan, T. (2006). Modeling Dynamic Rules in ORM. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. OTM 2006. Lecture Notes in Computer Science, vol 4278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11915072_23
Download citation
DOI: https://doi.org/10.1007/11915072_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48273-4
Online ISBN: 978-3-540-48276-5
eBook Packages: Computer ScienceComputer Science (R0)