Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

Georg Gottlob; Giorgio Orsi; Andreas Pieris

doi:10.1007/978-3-319-21542-6_3

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

Georg Gottlob, Giorgio Orsi, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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.

Original language	English
Title of host publication	Rule Technologies: Foundations, Tools, and Applications
Subtitle of host publication	9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Editors	Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
Place of Publication	Cham
Publisher	Springer
Pages	35-53
Number of pages	19
ISBN (Electronic)	978-3-319-21542-6
ISBN (Print)	978-3-319-21541-9
DOIs	https://doi.org/10.1007/978-3-319-21542-6_3
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9202
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-21542-6_3

http://dx.doi.org/10.1007/978-3-319-21542-6_3

VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
EPSRC
1/04/15 → 30/09/20
Project: Research

Cite this

Gottlob, G., Orsi, G., & Pieris, A. (2015). Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. In N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, & D. Roman (Eds.), Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (pp. 35-53). (Lecture Notes in Computer Science; Vol. 9202). Springer. https://doi.org/10.1007/978-3-319-21542-6_3

Gottlob, Georg ; Orsi, Giorgio ; Pieris, Andreas. / Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. editor / Nick Bassiliades ; Georg Gottlob ; Fariba Sadri ; Adrian Paschke ; Dumitru Roman. Cham : Springer, 2015. pp. 35-53 (Lecture Notes in Computer Science).

@inproceedings{4b92fc71b3fc4ee0a4e596d15bbb896d,

title = "Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-",

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.",

author = "Georg Gottlob and Giorgio Orsi and Andreas Pieris",

year = "2015",

doi = "10.1007/978-3-319-21542-6_3",

language = "English",

isbn = "978-3-319-21541-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "35--53",

editor = "Nick Bassiliades and Georg Gottlob and Fariba Sadri and Adrian Paschke and Dumitru Roman",

booktitle = "Rule Technologies: Foundations, Tools, and Applications",

address = "United Kingdom",

}

Gottlob, G, Orsi, G & Pieris, A 2015, Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. in N Bassiliades, G Gottlob, F Sadri, A Paschke & D Roman (eds), Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9202, Springer, Cham, pp. 35-53. https://doi.org/10.1007/978-3-319-21542-6_3

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. / Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas.
Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. ed. / Nick Bassiliades; Georg Gottlob; Fariba Sadri; Adrian Paschke; Dumitru Roman. Cham: Springer, 2015. p. 35-53 (Lecture Notes in Computer Science; Vol. 9202).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

AU - Gottlob, Georg

AU - Orsi, Giorgio

AU - Pieris, Andreas

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-21542-6_3

DO - 10.1007/978-3-319-21542-6_3

M3 - Conference contribution

SN - 978-3-319-21541-9

T3 - Lecture Notes in Computer Science

SP - 35

EP - 53

BT - Rule Technologies: Foundations, Tools, and Applications

A2 - Bassiliades, Nick

A2 - Gottlob, Georg

A2 - Sadri, Fariba

A2 - Paschke, Adrian

A2 - Roman, Dumitru

PB - Springer

CY - Cham

ER -

Gottlob G, Orsi G, Pieris A. Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. In Bassiliades N, Gottlob G, Sadri F, Paschke A, Roman D, editors, Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Cham: Springer. 2015. p. 35-53. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-21542-6_3

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Projects

VADA: Value Added Data Systems: Principles and Architecture

Cite this