Ontology Definition Metamodel based Consistency Checking of UML Models

Author

Wang, Shengjun ; Jin, Longfei ; Jin, Chengzhi

Author_Institution

Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun

fYear

2006

fDate

3-5 May 2006

Firstpage

1

Lastpage

5

Abstract

Ontology definition metamodel (ODM) is the currently undergoing standardization through the object management group (OMG). It is a metamodel defined using meta-object facility (MOF), and enables using model driven architecture (MDA) standards and semantic Web together. In this modeling language (UML) models, we first derive a mapping for MOF to World Wide Web Consortium (W3C) ´s Web ontology language (OWL) from ODM, and then provide a representation of UML metamodel in OWL based on this mapping. After transforming UML models to OWL instances, we can check consistency of these models by using logical reasoning and query techniques. An example of such a checking process is also given in this paper

Keywords

Unified Modeling Language; computer aided software engineering; data models; formal verification; inference mechanisms; meta data; object-oriented programming; ontologies (artificial intelligence); query processing; semantic Web; software architecture; OWL; UML metamodel representation; Unified Modeling Language; Web ontology language; World Wide Web Consortium; consistency checking; logical reasoning; meta-object facility; model driven architecture standards; object management group; ontology definition metamodel; query technique; semantic Web; Collaborative work; Computer architecture; Knowledge representation; Logic; OWL; Ontologies; Semantic Web; Service oriented architecture; Unified modeling language; Web sites; Consistency Checking; Ontology; UML;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Supported Cooperative Work in Design, 2006. CSCWD '06. 10th International Conference on

Conference_Location

Nanjing

Print_ISBN

1-4244-0164-X

Electronic_ISBN

1-4244-0165-8

Type

conf

DOI

10.1109/CSCWD.2006.253005

Filename

4019041