dc.creatorSimmonds Wagemann, Jocelyn Paola
dc.creatorBastarrica Piñeyro, María Cecilia
dc.creatorHitschfeld Kahler, Nancy
dc.creatorRivas, Sebastían
dc.date.accessioned2010-01-19T18:17:35Z
dc.date.available2010-01-19T18:17:35Z
dc.date.created2010-01-19T18:17:35Z
dc.date.issued2008-09
dc.identifierINTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Volume: 18, Issue: 6, Pages: 713-735, 2008
dc.identifier0218-1940
dc.identifierhttps://repositorio.uchile.cl/handle/2250/125181
dc.description.abstractAutomated 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.
dc.languageen
dc.publisherWORLD SCIENTIFIC PUBL CO PTE LTD
dc.subjectModel consistency checking
dc.titleA TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
dc.typeArtículo de revista


Este ítem pertenece a la siguiente institución