{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T05:29:58Z","timestamp":1768714198508,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,8,24]],"date-time":"2018-08-24T00:00:00Z","timestamp":1535068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2014-52938-C2-2"],"award-info":[{"award-number":["TIN2014-52938-C2-2"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Secretaria d\u2019Universitats i Recerca de la Generalitat de Catalunya","award":["2014 SGR 1534"],"award-info":[{"award-number":["2014 SGR 1534"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10270-018-0688-z","type":"journal-article","created":{"date-parts":[[2018,8,24]],"date-time":"2018-08-24T00:31:59Z","timestamp":1535070719000},"page":"2655-2678","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["$$\\hbox {OCL}_\\textsf {FO}$$\n                \n                  \n                    \n                      OCL\n                      FO\n                    \n                  \n                \n              : first-order expressive OCL constraints for efficient integrity checking"],"prefix":"10.1007","volume":"18","author":[{"given":"Enrico","family":"Franconi","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Mosca","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Oriol","sequence":"additional","affiliation":[]},{"given":"Guillem","family":"Rull","sequence":"additional","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"1","key":"688_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model-toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"688_CR2","doi-asserted-by":"crossref","unstructured":"Halpin, T.: Object-role modeling (orm\/niam). In: Handbook on Architectures of Information Systems, pp. 81\u2013103. Springer, Berlin(1998)","DOI":"10.1007\/3-540-26661-5_4"},{"key":"688_CR3","unstructured":"Object Management Group (OMG): Unified Modeling Language (UML) Superstructure Specification, version 2.4.1. (2011) \n                    http:\/\/www.omg.org\/spec\/UML\/\n                    \n                  . Accessed 30 July 2018"},{"key":"688_CR4","unstructured":"Object Management Group (OMG): Object Constraint Language (UML), version 2.4. (2014) \n                    http:\/\/www.omg.org\/spec\/OCL\/\n                    \n                  . Accessed 30 July 2018"},{"key":"688_CR5","volume-title":"Descriptive Complexity","author":"N Immerman","year":"2012","unstructured":"Immerman, N.: Descriptive Complexity. Springer, Berlin (2012)"},{"key":"688_CR6","first-page":"854","volume-title":"On the expressive power of the object constraint language OCL. FM\u201999\u2013Formal Methods. Volume 1708 of Lecture Notes in Computer Science","author":"L Mandel","year":"1999","unstructured":"Mandel, L., Cengarle, M.V.: On the expressive power of the object constraint language OCL. FM\u201999\u2013Formal Methods. Volume 1708 of Lecture Notes in Computer Science, pp. 854\u2013874. Springer, Berlin (1999)"},{"key":"688_CR7","unstructured":"Brucker, A.D., Clark, T., Dania, C., Georg, G., Gogolla, M., Jouault, F., Teniente, E., Wolff, B.: Panel discussion: proposals for improving ocl. In: Proceedings of the MODELS 2014 OCL Workshop (OCL 2014), vol. 1285, pp. 83\u201399. CEUR-WS. org (2014)"},{"issue":"1\u20132","key":"688_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"688_CR9","unstructured":": Eclipse ocl project. \n                    http:\/\/wiki.eclipse.org\/OCL\n                    \n                  . Accessed Aug 08, 2016"},{"issue":"1","key":"688_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10270-012-0284-6","volume":"13","author":"U A\u00dfmann","year":"2014","unstructured":"A\u00dfmann, U., Bartho, A., B\u00fcrger, C., Cech, S., Demuth, B., Heidenreich, F., Johannes, J., Karol, S., Polowinski, J., Reimann, J., Schroeter, J., Seifert, M., Thiele, M., Wende, C., Wilke, C.: Dropsbox: the dresden open software toolbox. Softw. Syst. Model. 13(1), 133\u2013169 (2014)","journal-title":"Softw. Syst. Model."},{"key":"688_CR11","unstructured":"Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: Model Driven Engineering Languages and Systems\u201415th International Conference, MODELS 2012, Innsbruck, Austria, 2012. Proceedings, pp. 235\u2013251. (2012)"},{"key":"688_CR12","unstructured":"Brucker, A.D., Tuong, F., Wolff, B.: Featherweight ocl: a proposal for a machine-checked formal semantics for ocl 2.5. Archive of Formal Proofs (Jan 2014). \n                    http:\/\/www.isa-afp.org\/entries\/Featherweight_OCL.shtml\n                    \n                  . Formal proof development. Accessed 30 July 2018"},{"key":"688_CR13","doi-asserted-by":"crossref","unstructured":"Markovi\u0107, S., Baar, T.: An OCL Semantics Specified with QVT, pp. 661\u2013675. Springer, Berlin (2006)","DOI":"10.1007\/11880240_46"},{"key":"688_CR14","doi-asserted-by":"crossref","unstructured":"Oriol, X., Teniente, E.: Incremental checking of ocl constraints with aggregates through sql. In: Conceptual Modeling: 34th International Conference, ER, Cham, pp. 199\u2013213. Springer (2015)","DOI":"10.1007\/978-3-319-25264-3_15"},{"key":"688_CR15","doi-asserted-by":"crossref","unstructured":"Franconi, E., Mosca, A., Oriol, X., Rull, G., Teniente, E.: Logic foundations of the ocl modelling language. In: European Workshop on Logics in Artificial Intelligence, pp. 657\u2013664. Springer (2014)","DOI":"10.1007\/978-3-319-11558-0_49"},{"key":"688_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2015.06.006","volume":"99","author":"X Oriol","year":"2015","unstructured":"Oriol, X., Teniente, E., Tort, A.: Computing repairs for constraint violations in uml\/ocl conceptual schemas. Data Knowl. Eng. 99, 39\u201358 (2015)","journal-title":"Data Knowl. Eng."},{"key":"688_CR17","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 Knowl. Eng. 73, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"688_CR18","volume-title":"An Introduction to Formal Languages and Automata","author":"P Linz","year":"1990","unstructured":"Linz, P.: An Introduction to Formal Languages and Automata. Jones & Bartlett Learning, Burlington (1990)"},{"key":"688_CR19","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Verification and validation of uml conceptual schemas with ocl constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13:1\u201313:41 (2012)","DOI":"10.1145\/2089116.2089123"},{"key":"688_CR20","unstructured":"Planas, E., Oliv\u00e9, A.: The DBLP case study (2006). \n                    http:\/\/www-pagines.fib.upc.es\/~modeling\/DBLP.pdf\n                    \n                  . Accessed 30 July 2018"},{"key":"688_CR21","unstructured":"Tort, A.: The osCommerce case study \n                    http:\/\/www-pagines.fib.upc.es\/~modeling\/osCommerce_cs.pdf\n                    \n                  . Accessed 30 July 2018"},{"key":"688_CR22","unstructured":"ANSI Standard: The SQL 92 Standard (1992)"},{"key":"688_CR23","doi-asserted-by":"crossref","unstructured":"Bergmann, G.: Translating OCL to graph patterns. In: Model-Driven Engineering Languages and Systems\u201417th International Conference, MODELS 2014, Valencia, Spain, 2014. Proceedings, pp. 670\u2013686 (2014)","DOI":"10.1007\/978-3-319-11653-2_41"},{"key":"688_CR24","doi-asserted-by":"publisher","unstructured":"Egea, M., Dania, C.: Sql-pl4ocl: an automatic code generator from ocl to sql procedural language. Softw. Syst. Model. (2017). \n                    https:\/\/doi.org\/10.1007\/s10270-017-0597-6","DOI":"10.1007\/s10270-017-0597-6"},{"key":"688_CR25","unstructured":"Hilken, F., Niemann, P., Gogolla, M., Wille, R.: From UML\/OCL to base models: transformation concepts for generic validation and verification. In: Theory and Practice of Model Transformations\u20148th International Conference, ICMT 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, July 20\u201321, 2015. Proceedings, pp. 149\u2013165 (2015)"},{"key":"688_CR26","doi-asserted-by":"crossref","unstructured":"Balsters, H.: Modelling database views with derived classes in the UML\/OCL-framework. In: UML2003-The Unified Modeling Language. Modeling Languages and Applications, pp. 295\u2013309. Springer (2003)","DOI":"10.1007\/978-3-540-45221-8_25"},{"issue":"2","key":"688_CR27","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. 21(2), 13 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"688_CR28","unstructured":"Clavel, M., Egea, M., de\u00a0Dios, 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":"688_CR29","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":"688_CR30","first-page":"1","volume":"36","author":"M Egea","year":"2010","unstructured":"Egea, M., Dania, C., Clavel, M.: MySQL4OCL: a stored procedure-based MySQL code generator for OCL. Electron. Commun. EASST 36, 1\u201316 (2010)","journal-title":"Electron. Commun. EASST"},{"key":"688_CR31","doi-asserted-by":"crossref","unstructured":"Demuth, B., Hussmann, H.: Using UML\/OCL constraints for relational database design. In: \u00abUML\u00bb99\u2014The Unified Modeling Language, pp. 598\u2013613. Springer (1999)","DOI":"10.1007\/3-540-46852-8_42"},{"key":"688_CR32","unstructured":"Oriol, X., Teniente, E.: Ocl\n                    \n                      \n                    \n                    $${}_{\\text{univ}}$$\n                    \n                      \n                        \n                          \n                          univ\n                        \n                      \n                    \n                  : expressive UML\/OCL conceptual schemas for finite reasoning. In: Mayr, H. C., Guizzardi, G., Ma, H., Pastor, O. (eds.) Conceptual Modeling\u201436th International Conference, ER 2017, Valencia, Spain, Nov 6\u20139, 2017, Proceedings, pp. 354\u2013369 (2017)"},{"issue":"1","key":"688_CR33","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"688_CR34","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-013-0353-5","volume":"14","author":"A Cunha","year":"2015","unstructured":"Cunha, A., Garis, A.G., Riesco, D.: Translating between alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14(1), 5\u201325 (2015)","journal-title":"Softw. Syst. Model."},{"key":"688_CR35","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: Model Driven Engineering Languages and Systems\u201415th International Conference, MODELS 2012, Innsbruck, Austria, Sept 30\u2013Oct 5, 2012. Proceedings, pp. 415\u2013431 (2012)"},{"issue":"1","key":"688_CR36","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"688_CR37","unstructured":"Gonz\u00e1lez, C.A., B\u00fcttner, F., Claris\u00f3, R., Cabot, J.: Emftocsp: a tool for the lightweight verification of EMF models. In: Proceedings of the First International Workshop on Formal Methods in Software Engineering\u2014Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012, pp. 44\u201350. (2012)"},{"key":"688_CR38","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Encoding OCL data types for sat-based verification of UML\/OCL models. In: Tests and Proofs\u20145th International Conference, TAP 2011, Zurich, Switzerland, June 30\u2013July 1, 2011. Proceedings, pp. 152\u2013170 (2011)"},{"key":"688_CR39","unstructured":"Kuhlmann, M., Gogolla, M.: Strengthening sat-based validation of UML\/OCL models by representing collections as relations. In: Modelling Foundations and Applications\u20148th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2\u20135, 2012. Proceedings, pp. 32\u201348 (2012)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0688-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0688-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0688-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T04:39:40Z","timestamp":1569127180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0688-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,24]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["688"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0688-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,24]]},"assertion":[{"value":"14 February 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 August 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}