{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T23:14:08Z","timestamp":1722035648317},"reference-count":7,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2008,9]]},"abstract":"<jats:p> Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in detecting a large set of inconsistencies. In order to make this solution available to system designers, we have implemented MCC+, a UML model consistency checker, built as a plug-in for Poseidon for UML, and relying on Jena as a reasoning engine. Compared to other approaches, we propose a usable and scalable solution, interoperable with a known modeling tool. We show the application of MCC+ to a real world large example of a meshing tool. <\/jats:p>","DOI":"10.1142\/s0218194008003829","type":"journal-article","created":{"date-parts":[[2008,12,16]],"date-time":"2008-12-16T06:06:41Z","timestamp":1229407601000},"page":"713-735","source":"Crossref","is-referenced-by-count":10,"title":["A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING"],"prefix":"10.1142","volume":"18","author":[{"given":"JOCELYN","family":"SIMMONDS","sequence":"first","affiliation":[{"name":"Computer Science Department, University of Toronto, Room 3302, Sandford Fleming Building, 10 King's College Road, Toronto, Ontario M5S 3G4, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MAR\u00cdA CECILIA","family":"BASTARRICA","sequence":"additional","affiliation":[{"name":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NANCY","family":"HITSCHFELD-KAHLER","sequence":"additional","affiliation":[{"name":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SEBASTI\u00c1N","family":"RIVAS","sequence":"additional","affiliation":[{"name":"Computer Science Department, Universidad de Chile, Blanco Encalada 2120, Santiago, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"Baader F.","year":"2003"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2005.04.001"},{"key":"rf7","volume-title":"Documenting Software Architectures. Views and Beyond","author":"Clements P.","year":"2002"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2004.06.012"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1109\/32.730545"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"rf25","first-page":"1","volume":"47","author":"Sch\u00e4fer T.","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194008003829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:45:02Z","timestamp":1565127902000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194008003829"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":7,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,9]]}},"alternative-id":["10.1142\/S0218194008003829"],"URL":"https:\/\/doi.org\/10.1142\/s0218194008003829","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]}}}