A tool for automatic UML model consistency checking

ABSTRACT

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.

REFERENCES

• 1: Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
• 2: D. Berardi et al. Reasoning on UML Class Diagrams is EXPTIME-hard. DL 2003, pp 28--37, 2003.
• 3: Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, A Formal Framework for Reasoning on UML Class Diagrams, Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, p.503-513, June 27-29, 2002
• 4: John Grundy , John Hosking , Warwick B. Mugridge, Inconsistency Management for Multiple-View Software Development Environments, IEEE Transactions on Software Engineering, v.24 n.11, p.960-981, November 1998 [doi>10.1109/32.730545 ]
• 5: V. Haarslev et al. Extended Query Facilities for Racer and an Application to SE Problems. DL2004, 2004.
• 6: Ian Horrocks , Ulrike Sattler , Stephan Tobies, Reasoning with Individuals for the Description Logic SHIQ, Proceedings of the 17th International Conference on Automated Deduction, p.482-496, June 17-20, 2000
• 7: J. Simmonds. Consistency Maintenance of UML Models with Description Logics. Master's thesis, Dept. of CS, Vrije Universiteit Brussel and Ecole des Mines de Nantes, 2003.
• 8: J. Simmonds and M. C. Bastarrica. Description Logics for Consistency Checking of Architectural Features in UML 2.0 Models. TR/DCC-2005-1, Univ de Chile, 2005.
• 9: R. V. D. Straeten et al. Using Description Logics to Maintain Consistency between UML Models. "UML" 2003, pp 326--340. LNCS 2863, 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Design, Verification

Keywords:
description logics, model consistency checking, software design verification