Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Representation and Conformance...

Representation and Conformance of UML Models Containing Ordered Properties Using OWL2

Ali Hanzala Khan, Espen Suenson, Ivan Porres, Representation and Conformance of UML Models Containing Ordered Properties Using OWL2 . In: Della Valle Emanuele, Horrocks Ian, Bozzon Alessandro (Eds.), OrdRing2011 First International Workshop on Ordering and Reasoning , CEUR Workshop Proceedings 2011, 1–12, CEUR, 2011.

Abstract:

In this article we show how to represent UML models depicting ordered properties using OWL2, and how to reason about model conformance using OWL2 reasoners. Our translation from UML models to OWL2 is driven by three important forces. First, we want to maintain the close-world assumption about UML models. Second, we want to preserve structural model information of ordered properties. Finally, model conformance is defined solely by OWL2 axioms so that reasoning can be done by using existing and future OWL2 reasoner developed by others. We have implemented the translation as an automatic model transformation tool. The model transformation tool takes as input a UML object model and its class model and produces an ontology that can be processed by an OWL2 reasoner to reveal if the object model elements conform to their class model or not.

Files:

Abstract in PDF-format

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pKhSuPo11b,
  title = {Representation and Conformance of UML Models Containing Ordered Properties Using OWL2 },
  booktitle = {OrdRing2011 First International Workshop on Ordering and Reasoning },
  author = {Khan, Ali Hanzala and Suenson, Espen and Porres, Ivan},
  volume = {2011},
  series = {CEUR Workshop Proceedings},
  editor = {Emanuele, Della Valle and Ian, Horrocks and Alessandro, Bozzon},
  publisher = {CEUR},
  pages = {1–12},
  year = {2011},
  keywords = {Model Validation, OWL2, Ordering, Reasoning},
}

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

Publication Forum rating of this publication: level 1

Edit publication