Developing Consistent and Modular Software Models with Ontologies

Authors:
Robert Hoehndorf;Axel-Cyrille Ngonga Ngomo;Heinrich Herre
Affiliations:
Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig and Department of Computer Science, University of Leipzig and Department of Evolutionary Genetics, Max Planck ...;Department of Computer Science, University of Leipzig;Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig
Venue:
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Year:
2009

Citing 14
Cited 0

Toward principles for the design of ontologies used for knowledge sharing

International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
An ontological analysis of the relationship construct in conceptual modeling

ACM Transactions on Database Systems (TODS)
Towards Ontological Foundations for UML Conceptual Models

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Towards Ontologically Based Semantics for UML Constructs

ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
MDA Distilled

MDA Distilled
Guest Editor's Introduction: Model-Driven Engineering

Computer
Model-driven development: assets and reuse

IBM Systems Journal - Model-driven software development
Model-Driven Software Development: Technology, Engineering, Management

Model-Driven Software Development: Technology, Engineering, Management
Abstract vs. social roles - Towards a general theoretical account of roles

Applied Ontology - Roles, an interdisciplinary perspective
GFO-Bio: A biological core ontology

Applied Ontology - Towards a Metaontology for the Biomedical Domain
Semantic foundations of medical information systems based on top-level ontologies

Knowledge-Based Systems
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A proposal for a gene functions wiki

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
A meta-ontological architecture for foundational ontologies

OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development and verification of software models that are applicable across multiple domains remains a difficult problem. We propose a novel approach to model-driven software development based on ontologies and Semantic Web technology. Our approach uses three ontologies to define software models: a task ontology, a domain ontology and a top-level ontology. The task ontology serves as the conceptual model for the software, the domain ontology provides domain-specific knowledge and the top-level ontology integrates the task and domain ontologies. Our method allows the verification of these models both for consistency and ontological adequacy. This verification can be performed both at development and runtime. Domain ontologies are replaceable modules, which enables the comparison and application of the models built using our method across multiple domains. We demonstrate the viability of our approach through the design and implementation of a semantic wiki and a social tagging system, and compare it with model-driven software development to illustrate its benefits.