{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:27:06Z","timestamp":1759134426041,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319699035"},{"type":"electronic","value":"9783319699042"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69904-2_28","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T05:18:33Z","timestamp":1508476713000},"page":"354-369","source":"Crossref","is-referenced-by-count":3,"title":["OCL$$_\\textsf {UNIV}$$: Expressive UML\/OCL Conceptual Schemas for Finite Reasoning"],"prefix":"10.1007","author":[{"given":"Xavier","family":"Oriol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"issue":"2","key":"28_CR1","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."},{"issue":"1\u20132","key":"28_CR2","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":"28_CR3","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":"28_CR4","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."},{"issue":"4","key":"28_CR5","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-007-0078-4","volume":"7","author":"D Costal","year":"2008","unstructured":"Costal, D., G\u00f3mez, C., Queralt, A., Ravent\u00f3s, R., Teniente, E.: Improving the definition of general constraints in UML. Softw. Syst. Model. 7(4), 469\u2013486 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"28_CR6","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1007\/s10270-013-0350-8","volume":"14","author":"G Rull","year":"2015","unstructured":"Rull, G., Farr\u00e9, C., Queralt, A., Teniente, E., Urp\u00ed, T.: AuRUS: explaining the validation of UML\/OCL conceptual schemas. Softw. Syst. Model. 14(2), 953\u2013980 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"28_CR7","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. Theoret. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proceedings of the 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems PODS 2008, pp. 149\u2013158. ACM (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"28_CR9","unstructured":"Oriol, X., Teniente, E.: Incremental checking of OCL constraints through SQL queries. In: Proceedings of the 14th International Workshop on OCL and Textual Modelling, pp. 23\u201332 (2014)"},{"key":"28_CR10","unstructured":"Tort, A.: (The osCommerce case study). \nhttp:\/\/www-pagines.fib.upc.es\/modeling\/osCommerce_cs.pdf"},{"key":"28_CR11","unstructured":"Tort, A., Oliv\u00e9, A.: (The sudoku case study). \nhttp:\/\/www.essi.upc.edu\/atort\/documents\/Sudoku.pdf"},{"key":"28_CR12","unstructured":"Planas, E., Oliv\u00e9, A.: The DBLP case study (2006). \nhttp:\/\/www-pagines.fib.upc.es\/modeling\/DBLP.pdf"},{"key":"28_CR13","unstructured":"Esta\u00f1ol, M., Queralt, A., Sancho, M.R., Teniente, E.: EU-rent car rentals specification. Technical report, Universitat Polit\u00e8cnica de Catalunya (2012). \nhttp:\/\/www.essi.upc.edu\/estanyol\/docs\/artifacts_eu_rent.pdf"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-49524-6_12","volume-title":"Conceptual Modeling \u2013 ER 1998","author":"S Hartmann","year":"1998","unstructured":"Hartmann, S.: On the consistency of int-cardinality constraints. In: Ling, T.-W., Ram, S., Lee, M.L. (eds.) ER 1998. LNCS, vol. 1507, pp. 150\u2013163. Springer, Heidelberg (1998). doi:\n10.1007\/978-3-540-49524-6_12"},{"issue":"2","key":"28_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10270-009-0123-6","volume":"9","author":"M Wahler","year":"2010","unstructured":"Wahler, M., Basin, D., Brucker, A.D., Koehler, J.: Efficient analysis of pattern-based constraint specifications. Softw. Syst. Model. 9(2), 225\u2013255 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"1\u20132","key":"28_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10472-014-9423-9","volume":"73","author":"S Hartmann","year":"2015","unstructured":"Hartmann, S., K\u00f6hler, H., Leck, U., Link, S., Thalheim, B., Wang, J.: Constructing armstrong tables for general cardinality constraints and not-null constraints. Ann. Math. Artif. Intell. 73(1\u20132), 139\u2013165 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"28_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semant.: Sci. Serv. Agents World Wide Web 14, 57\u201383 (2012)","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69904-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T15:23:25Z","timestamp":1544109805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69904-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699035","9783319699042"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69904-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}