Title :
A Dynamic Description Logic for UML
Author :
Li, Ming ; Zang, Fengkui
Author_Institution :
Coll. of Comput. & Commun., Lanzhou Univ. of Technol., Lanzhou, China
Abstract :
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.
Keywords :
Unified Modeling Language; computability; decidability; knowledge representation languages; theorem proving; UML; dynamic description logic; reasoning tasks; tableau-based satisfiability-checking decidable algorithm; typical action theory; Artificial intelligence; Automatic logic units; Communication standards; Computer aided software engineering; Educational institutions; Logic design; Object oriented modeling; Software design; Software standards; Unified modeling language; Description logic; Dynamic extension; UML;
Conference_Titel :
Artificial Intelligence, 2009. JCAI '09. International Joint Conference on
Conference_Location :
Hainan Island
Print_ISBN :
978-0-7695-3615-6
DOI :
10.1109/JCAI.2009.123