{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:33:41Z","timestamp":1743111221206,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319672700"},{"type":"electronic","value":"9783319672717"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67271-7_11","type":"book-chapter","created":{"date-parts":[[2017,10,11]],"date-time":"2017-10-11T20:52:32Z","timestamp":1507755152000},"page":"155-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"Khanh-Hoang","family":"Doan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,13]]},"reference":[{"key":"11_CR1","unstructured":"Beckert, B., Keller, U., Schmitt, P.: Translating the Object Constraint Language into first-order predicate logic. In: Proc. 2nd Verification WS: VERIFY. vol. 2, pp. 2\u20137 (2002)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Boehm, B.: Software risk management. In: Ghezzi, C., McDermid, J.A. (eds.) Proc. 2nd European Software Engineering Conf. (ESEC 1989). LNCS, vol. 387, pp. 1\u201319. Springer (1989)","DOI":"10.1007\/3-540-51635-2_29"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. Journal of Systems and Software 82(9), 1459\u20131478 (2009)","DOI":"10.1016\/j.jss.2009.03.009"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Farr\u00e9, C., Queralt, A., Rull, G., Teniente, E., Urp\u00ed, T.: Automated reasoning on UML conceptual schemas with derived information and queries. Information & Software Technology 55(9), 1529\u20131550 (2013)","DOI":"10.1016\/j.infsof.2013.02.010"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1-3), 27\u201334 (2007)","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"11_CR6","unstructured":"Gogolla, M., Hilken, F.: Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. In: Oberweis, A., Reussner, R. (eds.) Proc. Modellierung (MODELLIERUNG\u2019 2016). pp. 203\u2013218. GI, LNI 254 (2016)"},{"key":"11_CR7","unstructured":"Granda, M.F.: Testing-based conceptual schema validation in a model-driven environment. In: Proceedings of the Doctoral Consortium of the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013), Valencia, Spain, June 21, 2013 (2013), http:\/\/ceur-ws.org\/Vol-1001\/paper6.pdf"},{"key":"11_CR8","unstructured":"Oliv\u00e9, A.: Conceptual modeling of information systems. Springer (2007)"},{"key":"11_CR9","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 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings. pp. 199\u2013213 (2015)","DOI":"10.1007\/978-3-319-25264-3_15"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Oriol, X., Teniente, E., Tort, A.: Fixing up non-executable operations in UML\/OCL conceptual schemas. In: Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings. pp. 232\u2013245 (2014)","DOI":"10.1007\/978-3-319-12206-9_19"},{"key":"11_CR11","unstructured":"Oriol, X., Teniente, E., Tort, A.: Computing repairs for constraint violations in UML\/OCL conceptual schemas. Data Knowl. Eng. 99, 39\u201358 (2015)"},{"key":"11_CR12","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)"},{"key":"11_CR13","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":"11_CR14","doi-asserted-by":"crossref","unstructured":"Selic, B.: UML2: A Model-Driven Development Tool. IBM Systems Journal 45(3), 607\u2013620 (2006)","DOI":"10.1147\/sj.453.0607"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Snook, C., Savicks, V., Butler, M.: Verification of UML Models by Translation to UML-B. In: Aichernig, B., de Boer, F., Bonsangue, M. (eds.) Formal Methods for Components and Objects, FMCO 2010. LNCS, vol. 6957, pp. 251\u2013266. Springer (2010)","DOI":"10.1007\/978-3-642-25271-6_13"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007. LNCS, vol. 4424, pp. 632\u2013647. Springer (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"11_CR17","unstructured":"Tort, A., Oliv\u00e9, A.: An approach to testing conceptual schemas. Data Knowl. Eng. 69(6), 598\u2013618 (2010)"},{"key":"11_CR18","unstructured":"Tort, A., Oliv\u00e9, A., Sancho, M.: On checking executable conceptual schema validity by testing. In: Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I. pp. 249\u2013264 (2012)"}],"container-title":["Conceptual Modeling Perspectives"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67271-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T10:11:10Z","timestamp":1570183870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67271-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319672700","9783319672717"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67271-7_11","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}