Title :
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
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;
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
DOI :
10.1109/CSCWD.2006.253005
