Formal Method for UML Statechart Based on Dynamic Description Logics
Luo Lan-hua · Jisuanji gongcheng · 2011
The dynamic dimension is introduced by Dynamic Description Logics(DDL) on the basis of traditional description logics.It possesses powerful expression ability of static structure and dynamic behavior.According to the characteristics that Unified Modeling Language(UML) statechart includes static semantics and dynamic semantics,a formal methodology for UML statechart based on dynamic description logics is proposed,and the syntax and the semantics of DDL DDL_SHOIN(D) is presented.A formal methodology that using DDL_SHOIN(D) to formalize UML statechart is given out,and the action reasoning problems of the statechart are studied.The state accessibility and the subsumption definitions of the statechart behavior are put forward.The validity of the definitions is proved.