{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:31:25Z","timestamp":1742959885499,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_49","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"657-664","source":"Crossref","is-referenced-by-count":9,"title":["Logic Foundations of the OCL Modelling Language"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Franconi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Mosca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Oriol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillem","family":"Rull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Object Management Group: OMG object constraint language (OCL). Technical Report formal\/2012-01-01, Object Management Group, Inc. (2012)"},{"key":"49_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1007\/3-540-48119-2_47","volume-title":"FM\u201999 - Formal Methods","author":"L. Mandel","year":"1999","unstructured":"Mandel, L., Cengarle, M.V.: On the expressive power of the object constraint language OCL. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 854\u2013874. Springer, Heidelberg (1999)"},{"key":"49_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-45221-8_25","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"H. Balsters","year":"2003","unstructured":"Balsters, H.: Modelling database views with derived classes in the UML\/OCL-framework. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 295\u2013309. Springer, Heidelberg (2003)"},{"issue":"2","key":"49_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2089116.2089123","volume":"21","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol.\u00a021(2), 13 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"49_CR5","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Checking unsatisfiability for OCL constraints. In: Proceedings of the Workshop The Pragmatics of OCL and Other Textual Specification Languages, vol.\u00a024. ECEASST (2009)"},{"key":"49_CR6","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of VERIFY, Workshop at Federated Logic Conferences, FLoC (2002)"},{"key":"49_CR7","unstructured":"Egea, M., Dania, C., Clavel, M.: MySQL4OCL: A stored procedure-based MySQL code generator for OCL. Electronic Communications of the EASST 36 (2010)"},{"key":"49_CR8","unstructured":"Demuth, B., Wilke, C.: Model and object verification by using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, pp. 687\u2013690 (2009)"},{"key":"49_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/978-3-642-41033-8_58","volume-title":"On the Move to Meaningful Internet Systems: OTM 2013 Workshops","author":"E. Franconi","year":"2013","unstructured":"Franconi, E., Mosca, A.: Towards a core ORM2 language (research note). In: Demey, Y.T., Panetto, H. (eds.) OTM 2013 Workshops 2013. LNCS, vol.\u00a08186, pp. 448\u2013456. Springer, Heidelberg (2013)"},{"key":"49_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: finite reasoning on UML\/OCL conceptual schemas. Data & Knowledge Engineering\u00a073, 1\u201322 (2012)","journal-title":"Data & Knowledge Engineering"},{"key":"49_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1007\/3-540-46852-8_42","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"B. Demuth","year":"1999","unstructured":"Demuth, B., Hussmann, H.: Using UML\/OCL constraints for relational database design. In: France, R.B. (ed.) UML 1999. LNCS, vol.\u00a01723, pp. 598\u2013613. Springer, Heidelberg (1999)"},{"key":"49_CR12","unstructured":"Clavel, M., Egea, M., Garc\u00eda de Dios, M.A.: Building an efficient component for OCL evaluation. Electronic Communications of the EASST 15 (2008)"},{"key":"49_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45441-1_8","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"D.H. Akehurst","year":"2001","unstructured":"Akehurst, D.H., Bordbar, B.: On querying UML data models with OCL. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 91\u2013103. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T02:30:27Z","timestamp":1675996227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}