Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling

Nophadol Jekjantuk,Jeff Z. Pan,Yuzhong Qu
DOI: https://doi.org/10.1109/compsac.2011.77
2011-01-01
Abstract:Ontology reasoning and reasoning-based search expansion are powerful tools for semantic applications. In this paper, we investigate how to apply ontology reasoning, with different ontology metamodeling approaches, to diagnose software models, in particular on models with multiple levels software models, in particular on models with multiple levels of abstraction.
What problem does this paper attempt to address?