Formalization of UML class diagram using description logics

More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review

“…This study is mainly divided into 3 sub-studies (SS3.1, SS3.2, and SS3.3). The SS3.1 compiles the work of Cal'I et al and D. Calvanese [21]- [26], SS3.2 collected the work of Maraee and Balaban [27]- [32], and SS3.3 presented the work of Efiizoni et al [33]. The SS3.4 compiles the work of Abdul et al [34]- [36].…”

“…They transformed many elements of the class, such as attributes (visibility, type multiplicity, etc. ), operations (visibility, parameter list, return types), composition, aggregation, and generalization [33].…”

Object-oriented Real-time Database Design based on Description Logics

“…In this section, we first define our model of an objectoriented database. Then we formalize it using the description language proposed in (Efrizoni et al, 2010). An object-oriented data model is a collection of classes and instances of these classes.…”