{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T01:00:24Z","timestamp":1789693224869,"version":"4.0.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319981765","type":"print"},{"value":"9783319981772","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767138_7","type":"book-chapter","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T10:32:54Z","timestamp":1154082774000},"page":"81-95","source":"Crossref","is-referenced-by-count":25,"title":["Incremental Evaluation of OCL Constraints"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cabot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-540-30187-5_23","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"J. Cabot","year":"2004","unstructured":"Cabot, J., Teniente, E.: Determining the Structural Events That May Violate an Integrity Constraint. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 320\u2013334. Springer, Heidelberg (2004)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11431855_5","volume-title":"Advanced Information Systems Engineering","author":"J. Cabot","year":"2005","unstructured":"Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL Constraint. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 48\u201362. Springer, Heidelberg (2005)"},{"key":"7_CR3","unstructured":"Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints (extended version). UPC, LSI Research Report, LSI-05-12-R (2005)"},{"key":"7_CR4","unstructured":"Cabot, J., Teniente, E.: A Tool for the Incremental Evaluation of OCL Constraints (2006), Available at: www.lsi.upc.edu\/~jcabot\/research\/tools\/caise06"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Transforming OCL Constraints: A Context Change Approach. In: Proc. 21st Annual ACM Symposium on Applied Computing (Model Transformation Track) (2006)","DOI":"10.1145\/1141277.1141562"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"M. Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 85\u2013114. Springer, Heidelberg (2002)"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.7551\/mitpress\/4472.001.0001","volume-title":"Materialized Views Techniques, Implementations, and Applications","author":"A. Gupta","year":"1999","unstructured":"Gupta, A., Mumick, I.S.: Maintenance of Materialized Views: Problems, Techniques, and Applications. In: Materialized Views Techniques, Implementations, and Applications, pp. 145\u2013157. MIT Press, Cambridge (1999)"},{"key":"7_CR8","unstructured":"ISO\/TC97\/SC5\/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO (1982)"},{"key":"7_CR9","first-page":"495","volume-title":"Proc. 22nd Int. Conf. on Very Large Data Bases","author":"S.Y. Lee","year":"1996","unstructured":"Lee, S.Y., Ling, T.W.: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. In: Proc. 22nd Int. Conf. on Very Large Data Bases, pp. 495\u2013505. Morgan Kaufmann, San Francisco (1996)"},{"key":"7_CR10","unstructured":"Klasse Objecten: Octopus: OCL Tool for Precise UML Specifications (2005)"},{"key":"7_CR11","unstructured":"OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc\/03-10-14)"},{"key":"7_CR12","unstructured":"OMG: UML 2.0 Superstructure. OMG Adopted Specification (ptc\/03-08-02)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1016\/S0306-4379(01)00035-7","volume":"26","author":"O. Pastor","year":"2001","unstructured":"Pastor, O., G\u00f3mez, J., Insfr\u00e1n, E., Pelechano, V.: The OO-Method Approach for Information Systems Modeling: From Object-Oriented Conceptual Modeling to Automated Programming. Information Systems\u00a026, 507\u2013534 (2001)","journal-title":"Information Systems"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Ross, K.A., Srivastava, D., Sudarshan, S.: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. In: Proc. ACM SIGMOD International Conference on Management of Data, pp. 447\u2013458 (1996)","DOI":"10.1145\/233269.233361"},{"key":"7_CR15","unstructured":"Dresden University: Dresden OCL Toolkit (2005)"},{"key":"7_CR16","unstructured":"Babes-Bolyai University: Object Constraint Language Environment 2.0"},{"key":"7_CR17","first-page":"225","volume-title":"Proc. 18th Int. Conf. on Very Large Data Bases","author":"T. Urp\u00ed","year":"1992","unstructured":"Urp\u00ed, T., Oliv\u00e9, A.: A Method for Change Computation in Deductive Databases. In: Proc. 18th Int. Conf. on Very Large Data Bases, pp. 225\u2013237. Morgan Kaufmann, San Francisco (1992)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R. Wieringa","year":"1998","unstructured":"Wieringa, R.: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Computing Surveys\u00a030, 459\u2013527 (1998)","journal-title":"ACM Computing Surveys"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767138_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:20:52Z","timestamp":1555752052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767138_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783319981765","9783319981772"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11767138_7","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"value":"1612-2909","type":"print"},{"value":"1860-0824","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}