A Dynamic Description Logic for UML

UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable algorithm for UML are presented in this paper. This logic is a combination of a typical action theory and the description logic ALCQI, with the feature that actions are treated as citizens. Actions can be expressed in the construction of concepts and formulas. Reasoning tasks on concepts and actions can be realized with the help of the tableau-based satisfiability-checking decidable algorithm, which makes this logic more capable for the UML behavior diagrams.

[1]  Ling Liu,et al.  Formalizing UML Models with Object-Z , 2002, ICFEM.

[2]  Luigi Lavazza,et al.  A FORMALIZATION OF UML STATECHARTS FOR REAL-TIME SOFTWARE MODELING , 2002 .

[3]  Liang Chang,et al.  Dynamic Description Logic: Embracing Actions into Description Logic , 2007, Description Logics.

[4]  SHIZhongzhi,et al.  A logical foundation for the semantic Web , 2005 .

[5]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[6]  Liang Chang,et al.  A Dynamic Description Logic for Semantic Web Service , 2007, Third International Conference on Semantics, Knowledge and Grid (SKG 2007).

[7]  Régine Laleau,et al.  Using formal metamodels to check consistency of functional views in information systems specification , 2008, Inf. Softw. Technol..

[8]  Frank Wolter,et al.  Dynamic Description Logics , 1998, Advances in Modal Logic.

[9]  Jozef Hooman,et al.  Formalizing UML Models and OCL Constraints in PVS , 2004, SFEDL@ETAPS.

[10]  Jeanine Souquières,et al.  Formalizing UML Behavioral Diagrams with B , 2001 .

[11]  Jocelyn Simmonds,et al.  Consistency Maintenance of UML Models with Description Logics , 2003 .

[12]  Giuseppe De Giacomo,et al.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[13]  S. Jansamak,et al.  Formalization of UML Statechart Models Using Concurrent Regular Expressions , 2004, ACSC.

[14]  D. Bernardi.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[15]  Yves Ledru,et al.  Dynamic graphical UML views from formal B specifications , 2006, Inf. Softw. Technol..

[16]  Diego Calvanese,et al.  Reasoning on UML Class Diagrams inDes ription Logi , 2022 .