Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
An Online Platform for Semantic Validation of UML Models
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
A systematic review of UML model consistency management
Information and Software Technology
"integrare", a collaborative environment for behavior-oriented design
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An ontology for software models and its practical implications for semantic web reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
A knowledge-based object modeling advisor for developing quality object models
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Because the UML metamodel does not enforce model consistency, there are no guidelines as how to approach the consistency problem. Current solutions are partial and tools are mostly of academic nature. The translation of the metamodel and the user designed model into Description Logics has proved to be useful in detecting a large set of inconsistencies. We present MCC, a UML model consistency checker, built as a plug-in for Poseidon for UML, and relying on Racer as a reasoning engine. We propose a usable and scalable solution, interoperable with a known modeling tool.