| Author | dc.contributor.author | Simmonds Wagemann, Jocelyn Paola | |
| Author | dc.contributor.author | Bastarrica Piñeyro, María Cecilia | es_CL |
| Author | dc.contributor.author | Hitschfeld Kahler, Nancy | es_CL |
| Author | dc.contributor.author | Rivas, Sebastían | es_CL |
| Admission date | dc.date.accessioned | 2010-01-19T18:17:35Z | |
| Available date | dc.date.available | 2010-01-19T18:17:35Z | |
| Publication date | dc.date.issued | 2008-09 | |
| Cita de ítem | dc.identifier.citation | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, Volume: 18, Issue: 6, Pages: 713-735, 2008 | en_US |
| Identifier | dc.identifier.issn | 0218-1940 | |
| Identifier | dc.identifier.uri | https://repositorio.uchile.cl/handle/2250/125181 | |
| Abstract | dc.description.abstract | 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. | en_US |
| Patrocinador | dc.description.sponsorship | The work of Nancy Hitschfeld-Kahler has been supported by project Fondecyt
No. 1061227. | en_US |
| Lenguage | dc.language.iso | en | en_US |
| Publisher | dc.publisher | WORLD SCIENTIFIC PUBL CO PTE LTD | en_US |
| Keywords | dc.subject | Model consistency checking | en_US |
| Título | dc.title | A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING | en_US |
| Document type | dc.type | Artículo de revista | |
