The formal ontological theory is one of the main methods applied to UML formalization and improvement. On the basis of Ontology UML has been extended to OntoUML,and it provides a richer, better version able to express the semantics of real-world modeling primitives, but its expression is not used in information system design and development. Based on description logic, the OntoUML primitives and relationship between them are formally represented with SHIQ, and a case study is given. The method of expression is concise, has clear semantics, and is not only able to express the logical model clearly, but also to ensure that the model represents things of domain correctly. This study promotes OntoUML to be more widely used, and to some extent, it provides a theoretical and application support to improving ontology-based information systems' conceptual modeling approach.%将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中OntoUML是一个概念上完整、语义上清晰和更具本体意义的UML版本.虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用.本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究.该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实.这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用.
展开▼
