Consistency of UML Class and Statechart Diagrams with State Invariants

Ali Hanzala Khan, Irum Rauf, Ivan Porres

2013

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.

Paper Citation

in Harvard Style

Khan A., Rauf I. and Porres I. (2013). Consistency of UML Class and Statechart Diagrams with State Invariants . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 14-24. DOI: 10.5220/0004320100140024

in Bibtex Style

@conference{modelsward13,
author={Ali Hanzala Khan and Irum Rauf and Ivan Porres},
title={Consistency of UML Class and Statechart Diagrams with State Invariants},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={14-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004320100140024},
isbn={978-989-8565-42-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Consistency of UML Class and Statechart Diagrams with State Invariants
SN - 978-989-8565-42-6
AU - Khan A.
AU - Rauf I.
AU - Porres I.
PY - 2013
SP - 14
EP - 24
DO - 10.5220/0004320100140024