Paper Info
Title
Ontology Definition Metamodel based Consistency Checking of UML Models
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
Year
DOI
Venue
2006
10.1109/CSCWD.2006.253005
CSCWD
Keywords
Field
DocType
consistency checking,ontology,model driven architecture standards,inference mechanisms,world wide web consortium,object management group,meta-object facility,owl,software architecture,uml,query technique,data models,computer aided software engineering,object-oriented programming,semantic web,ontologies (artificial intelligence),unified modeling language,meta data,web ontology language,logical reasoning,uml metamodel representation,formal verification,query processing,ontology definition metamodel,ontologies,modeling language,world wide web,object oriented programming,knowledge representation,service oriented architecture,logic,computer architecture
Ontology (information science),Programming language,Model-driven architecture,Computer science,Semantic Web,OWL-S,Ontology Definition MetaModel,Applications of UML,Object Constraint Language,Metamodeling
Conference
ISBN
Citations 
PageRank 
1-4244-0165-8
3
0.38
References 
Authors
1
3
Name
Order
Citations
PageRank
ShengJun Wang1162.06
Longfei Jin2122.67
Chengzhi Jin331.05