Developing Consistent and Modular Software Models with Ontologies

Robert Hoehndorf, Axel-Cyrille Ngonga Ngomo, Heinrich Herre

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddTrafodion Cynhadledd (Nid-Cyfnodolyn fathau)

1 Dyfyniad (Scopus)

Crynodeb

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 run time. Domain ontologies are replaceable modules, which enables the comparison and application of the models built using our method across multiple do- mains. 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.
Iaith wreiddiolSaesneg
TeitlProceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques
Is-deitlProceedings of the Eighth SoMeT_09
GolygyddionHamido Fujita, Vladimír Mařírk
CyhoeddwrIOS Press
Tudalennau399-412
Nifer y tudalennau14
ISBN (Argraffiad)978-160750049-0
StatwsCyhoeddwyd - 01 Medi 2009

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'Developing Consistent and Modular Software Models with Ontologies'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn