@inbook{da24c2aea30c4ac3a17f438e9ef7df8e,
title = "Consistency of UML class and statechart diagrams with state invariants",
abstract = "We present an approach and a tool to analyze the consistency of UML class and statechart diagrams containing state invariants automatically. UML class diagrams describe the structure of a system as a collection of classes while UML statechart diagrams describe its behavior. State invariants relate the active state configuration of a statechart with object instances described in a class diagram. We consider a UML statechart inconsistent if it contains unsatisfiable state invariants, that is, there are no object instances that can make a given invariant evaluate to true. To detect such inconsistencies, we translate a UML model containing class and statechart diagrams into the Web Ontology Language (OWL 2), and then use OWL 2 reasoning tools to infer the consistency and satisfiability of the translated diagrams. The approach is supported by an automatic translation tool and existing OWL 2 reasoners. We demonstrate our approach with an example design and evaluate its performance using large UML models.",
keywords = "Class diagram, Model consistency, OCL, OWL 2, Reasoning, State invariants, Statechart diagram",
author = "Khan, \{Ali Hanzala\} and Irum Rauf and Ivan Porres",
year = "2013",
language = "English",
isbn = "9789898565426",
series = "MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development",
pages = "14--24",
booktitle = "MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development",
note = "1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013 ; Conference date: 19-02-2013 Through 21-02-2013",
}