A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-
[chapter]
2015
Lecture Notes in Computer Science
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
doi:10.1007/978-3-319-21542-6_3
fatcat:b6npoxysxjaxjfpxvczaw3kdsu