loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ali Hanzala Khan ; Irum Rauf and Ivan Porres

Affiliation: Åbo Akademi University, Finland

Keyword(s): Model Consistency, Class Diagram, Statechart Diagram, State Invariants, OCL, Reasoning, OWL 2.

Related Ontology Subjects/Areas/Topics: Constraint Modeling and Languages ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

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 la rge UML models. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.227.191.136

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-8565-42-6; ISSN 2184-4348, SciTePress, pages 14-24. DOI: 10.5220/0004320100140024

@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 - MODELSWARD},
year={2013},
pages={14-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004320100140024},
isbn={978-989-8565-42-6},
issn={2184-4348},
}

TY - CONF

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