A Tool Based on Dl for Uml Model Consistency Checking

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.

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2

“…When used specifically for conceptual modeling, such formalisms are often adopted in a pragmatic way, but a quite-productive line of research has investigated them from a logical perspective with the aim of associating such languages with formal semantics [8][9][10]30]. In particular, an important effort has been made to exploit DLs to represent and enable automated reasoning in graphical conceptual models used in software development and information systems [31][32][33][34][35][36][37][38]. In these works, the relationship between UML class diagrams or ER models and logical languages is studied mostly at theoretical level only.…”

“…In these works, the relationship between UML class diagrams or ER models and logical languages is studied mostly at theoretical level only. Two exceptions are [32], where the authors present a tool for translating UML class diagrams into DL ontologies with the aim of verifying their consistency, and [38], where a prototype tool that provides the DL representation of ER models (more precisely, enhanced entity-relationship models) is presented.…”

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

“…So, generally they are not useful due to the difficulty of learning and utilizing them. Other researches tend to propose tools dealing with algebra based models such as: specification languages [LOTOS (Babaee & Babamir, 2011)], model checking languages as Promela (Amirat et al, 2012) and description logic (Simmonds et al, 2008). In effect, these approaches are mostly uncompleted.…”

Defining Software Process Model Constraints With Rules Using Owl and SWRL

“…For example, Cabot, Clarisó and Riera [8] describe how to transform UML class diagrams together with OCL specifications into Constrain Satisfaction Problems (CSP) in order to validate them. A similar approach is taken by Queralt and Teniente [27] to validate UML models and by Simmonds et al [33]. As a result of the REWERSE project, Milanović et al [23] have defined an approach for metamodel transformation between UML/OCL and OWL/SRWL, based on the R2ML (REWERSE Rule Markup Language) which is a MOF-defined pivotal language for the translation.…”