{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:18:54Z","timestamp":1725520734354},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888741"},{"type":"electronic","value":"9783540888758"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88875-8_94","type":"book-chapter","created":{"date-parts":[[2008,11,18]],"date-time":"2008-11-18T16:47:37Z","timestamp":1227026857000},"page":"699-708","source":"Crossref","is-referenced-by-count":18,"title":["Formal Semantics of Dynamic Rules in ORM"],"prefix":"10.1007","author":[{"given":"Herman","family":"Balsters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terry","family":"Halpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"94_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1201","DOI":"10.1007\/11915072_23","volume-title":"On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops","author":"H. Balsters","year":"2006","unstructured":"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.\u00a04278, pp. 1201\u20131210. Springer, Heidelberg (2006)"},{"unstructured":"Bakema, G., Zwart, J., van der Lek, H.: Fully Communication Oriented Information Modelling, Ten Hagen Stam, The Netherlands (2000)","key":"94_CR2"},{"issue":"3","key":"94_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0169-023X(99)00041-5","volume":"32","author":"E.O. Brock de","year":"2000","unstructured":"de Brock, E.O.: A General Treatment of Dynamic Integrity Constraints. Data and Knowledge Engineering\u00a032(3), 223\u2013246 (2000)","journal-title":"Data and Knowledge Engineering"},{"unstructured":"Bruza, P.D., van der Weide, T.P.: The Semantics of TRIDL, Technical Report 89-17, Department of Information Systems, University of Nijmegen (1989)","key":"94_CR4"},{"issue":"1","key":"94_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"Chen, P.P.: The entity-relationship model\u2014towards a unified view of data. ACM Transactions on Database Systems\u00a01(1), 9\u201336 (1976)","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"Chomicki, J.: History-less Checking of Dynamic Integrity Constraints. In: ICDE 1992, pp. 557\u2013564 (1992)","key":"94_CR6","DOI":"10.1109\/ICDE.1992.213153"},{"key":"94_CR7","volume-title":"Proc. 40th Int. Conf. on System Sciences (HICSS-40)","author":"M. Curland","year":"2007","unstructured":"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)"},{"unstructured":"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)","key":"94_CR8"},{"key":"94_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/UPO9781844653454","volume-title":"Possible Worlds","author":"R. Girle","year":"2003","unstructured":"Girle, R.: Possible Worlds. McGill-Queen\u2019s University Press, Montreal (2003)"},{"unstructured":"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","key":"94_CR10"},{"key":"94_CR11","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1007\/11575863_87","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"T. Halpin","year":"2005","unstructured":"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.\u00a03762, pp. 676\u2013687. Springer, Heidelberg (2005)"},{"key":"94_CR12","first-page":"81","volume-title":"Handbook on Information Systems Architectures","author":"T. Halpin","year":"2006","unstructured":"Halpin, T.: ORM\/NIAM Object-Role Modeling. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Information Systems Architectures, 2nd edn., pp. 81\u2013103. Springer, Heidelberg (2006)","edition":"2"},{"key":"94_CR13","volume-title":"Information Modeling and Relational Databases","author":"T. Halpin","year":"2008","unstructured":"Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)","edition":"2"},{"key":"94_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/978-3-540-39648-2_45","volume-title":"Conceptual Modeling - ER 2003","author":"T. Halpin","year":"2003","unstructured":"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.\u00a02813, pp. 567\u2013569. Springer, Heidelberg (2003)"},{"unstructured":"ter Hofstede, A.H.M.: Information Modelling in Data Intensive Domains, PhD thesis, University of Nijmegen (1993)","key":"94_CR15"},{"issue":"7","key":"94_CR16","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/0306-4379(93)90004-K","volume":"18","author":"A.H.M. Hofstede ter","year":"1993","unstructured":"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\u00a018(7), 489\u2013523 (1993)","journal-title":"Information Systems"},{"issue":"1","key":"94_CR17","first-page":"115","volume":"76","author":"U.W. Lipeck","year":"1990","unstructured":"Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications, Theor. Comput. Sci.\u00a076(1), 115\u2013142 (1990)","journal-title":"Comput. Sci."},{"unstructured":"Object Management Group 2003, UML 2.0 Superstructure Specification (2003), http:\/\/www.omg.org\/uml","key":"94_CR18"},{"unstructured":"Object Management Group 2005, UML OCL 2.0 Specification (2005), http:\/\/www.omg.org\/docs\/ptc\/05-06-06.pdf","key":"94_CR19"},{"unstructured":"Object Management Group 2007, Semantics of Business Vocabulary and Business Rules (SBVR) Specification (2007), http:\/\/omg.org\/technology\/documents\/bms_spec_catalog.htm#SBVR","key":"94_CR20"},{"issue":"1","key":"94_CR21","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/311531.311623","volume":"31","author":"N.W. Paton","year":"1999","unstructured":"Paton, N.W., D\u00edaz, O.: Active Database Systems. ACM Computing Surveys\u00a031(1), 63\u2013103 (1999)","journal-title":"ACM Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"Proper, H.A.: A Theory for Conceptual Modeling of Evolving Application Domains, PhD thesis, University of Nijmegen (1994)","key":"94_CR22","DOI":"10.1016\/0169-023X(94)90031-0"},{"key":"94_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1007\/11575863_86","volume-title":"On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops","author":"H.A. Proper","year":"2005","unstructured":"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.\u00a03762, pp. 666\u2013675. Springer, Heidelberg (2005)"},{"issue":"1","key":"94_CR24","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/181550.181562","volume":"23","author":"R.T. Snodgrass","year":"1994","unstructured":"Snodgrass, R.T.: TSQL2Language specification. SIGMOD Record\u00a023(1), 65\u201386 (1994)","journal-title":"SIGMOD Record"},{"key":"94_CR25","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2008 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88875-8_94","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,21]],"date-time":"2023-05-21T00:13:27Z","timestamp":1684628007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88875-8_94"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888741","9783540888758"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88875-8_94","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}