Formalization Method for UML Class Diagram Based on SHOIN(D)
Zhen-Qing Chen · Jisuanji gongcheng · 2009
The chief task of consistent automatic checking UML model is to solve the formalization problem.Description Logics(DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.Aiming at the problem of UML model formalization,this paper puts forward the formalization methods based on DLs and analyzes the accordant relationships between model elements of UML class diagram and DLs SHOIN(D).It proposes the formalization method of UML class diagram on the basis of SHOIN(D) and proves the correctness of changing UML class diagram into SHOIN(D) knowledge base.