Contributions to Proceedings:
G. Gottlob, O. Orsi, A. Pieris:
"Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-";
in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015",
9202;
Springer LNCS,
2015, (invited),
ISBN: 978-3-319-21541-9,
35
- 53.
English abstract:
UML class diagrams (UCDs) are a widely adopted formalism for modeling the intensional structure of a software system. Although UCDs are typically guiding the implementation of a system, it is common in practice that developers need to recover the class diagram from an implemented system. This process is known as reverse engineering. A fundamental property of reverse engineered (or simply re-engineered) UCDs is consistency, showing that the system is realizable in practice. In this work, we investigate the consistency of re-engineered UCDs, and we show is pspace-complete. The upper bound is obtained by exploiting algorithmic techniques developed for conjunctive query answering under guarded Datalog+/-, that is, a key member of the Datalog+/- family of KR languages, while the lower bound is obtained by simulating the behavior of a polynomial space Turing machine.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-21542-6_3
Electronic version of the publication:
http://link.springer.com/content/pdf/10.1007%2F978-3-319-21542-6_3.pdf
Created from the Publication Database of the Vienna University of Technology.