Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Consistency of UML Class, Obje...

Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners

Ali Hanzala Khan, Ivan Porres, Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners. Journal of Visual Languages and Computing , 0, 2014.

http://dx.doi.org/10.1016/j.jvlc.2014.11.006

Abstract:

We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer.

BibTeX entry:

@ARTICLE{jKhPo14a,
  title = {Consistency of UML Class, Object and Statechart Diagrams Using Ontology Reasoners},
  author = {Khan, Ali Hanzala and Porres, Ivan},
  journal = {Journal of Visual Languages and Computing},
  publisher = {Elsevier},
  pages = {0},
  year = {2014},
  ISSN = {1045-926X},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication