{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:09:16Z","timestamp":1761581356787},"reference-count":19,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2016,3]]},"abstract":"<jats:p> Modeling languages such as the unified modeling language (UML) or the systems modeling language (SysML) in combination with constraint languages such as the object constraint language (OCL) allows for an abstract description of a system prior to its implementation. But the resulting system models can be highly non-trivial and, hence, errors in the descriptions can easily arise. In particular, too strong restrictions leading to an inconsistent model are common. Motivated by this, researchers and engineers developed methods for the validation and verification of given formal models. However, while these methods are efficient to detect the existence of an inconsistency, the designer is usually left alone to identify the reasons for it. In this contribution, we propose an automatic method which efficiently determines reasons explaining the contradiction in an inconsistent UML\/OCL model. For this purpose, all constraints causing the contradiction are comprehensibly analyzed. By this, the designer is aided during the debugging of his\/her model. <\/jats:p>","DOI":"10.1142\/s0218126616400211","type":"journal-article","created":{"date-parts":[[2015,10,19]],"date-time":"2015-10-19T03:42:52Z","timestamp":1445226172000},"page":"1640021","source":"Crossref","is-referenced-by-count":21,"title":["Analyzing Inconsistencies in UML\/OCL Models"],"prefix":"10.1142","volume":"25","author":[{"given":"Nils","family":"Przigoda","sequence":"first","affiliation":[{"name":"Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Institute for Integrated Circuits, Johannes Kepler University Linz, A-4040 Linz, Austria"},{"name":"Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Group for Computer Architecture, University of Bremen, 28359 Bremen, Germany"},{"name":"Cyber-Physical Systems, DFKI GmbH, 28359 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2015,12,28]]},"reference":[{"key":"S0218126616400211BIB001","volume-title":"The Unified Modeling Language reference manual","author":"Rumbaugh J.","year":"1999"},{"key":"S0218126616400211BIB002","doi-asserted-by":"publisher","DOI":"10.1007\/b135980"},{"key":"S0218126616400211BIB003","volume-title":"Systems Engineering with SysML\/UML:Modeling, Analysis, Design","author":"Weilkiens T.","year":"2007"},{"key":"S0218126616400211BIB004","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1999"},{"key":"S0218126616400211BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"S0218126616400211BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02949-3_8"},{"key":"S0218126616400211BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"S0218126616400211BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45685-6_8"},{"key":"S0218126616400211BIB009","volume-title":"Verification of Object-Oriented Software: The KeY Approach","author":"Beckert B.","year":"2007"},{"key":"S0218126616400211BIB011","first-page":"547","volume-title":"Description Logics","author":"Mancini T.","year":"2007"},{"key":"S0218126616400211BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.003"},{"key":"S0218126616400211BIB015","volume-title":"Logic, Language, and Analysis","author":"Jackson D.","year":"2006"},{"key":"S0218126616400211BIB017","doi-asserted-by":"crossref","unstructured":"E. Torlak and  D. Jackson,  Kodkod: A relational model finder, TACAS ser. Lecture Notes in Computer Science, eds.   O. Grumberg and  M. Huth  (Springer,  Heidelberg,  2007)  632\u2013647.","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"S0218126616400211BIB020","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45669-4_6"},{"key":"S0218126616400211BIB021","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"Steinberg D.","year":"2009","edition":"2"},{"key":"S0218126616400211BIB023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"S0218126616400211BIB025","first-page":"326\u2013341","author":"Torlak E.","journal-title":"Formal Methods"},{"key":"S0218126616400211BIB027","first-page":"693\u2013710","volume":"8","author":"Zhang J.","year":"2011","journal-title":"Comput. Sci. Inf. Syst."},{"key":"S0218126616400211BIB028","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0051-z"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126616400211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:38:15Z","timestamp":1565116695000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126616400211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,28]]},"references-count":19,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2015,12,28]]},"published-print":{"date-parts":[[2016,3]]}},"alternative-id":["10.1142\/S0218126616400211"],"URL":"https:\/\/doi.org\/10.1142\/s0218126616400211","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,28]]}}}