Ontology-driven software engineering: Beyond model checking and transformations

Artem Katasonov

Research output: Contribution to journalArticleScientificpeer-review

13 Citations (Scopus)

Abstract

This paper introduces a novel framework for Ontology-Driven Software Engineering. This framework is grounded on the prior related work that studied the interplay between the model-driven engineering and the ontological modeling. Our framework makes a contribution by incorporating a more flexible means for ontological modeling that also has a higher performance in processing, and by incorporating a wider range of ontology types into ODSE. As a result, it extends the power and speed of the classification and the model consistency checking ontological services enabled by the prior work, and brings new ontological services: semantic search in model repositories, three kinds of semi-automated model composition services: task-based, result-based, and opportunistic, and the policy enforcement service. The primary intended use for this framework is to be implemented as part of model-driven engineering tools to support software engineers. We describe our reference implementation of such a tool called Smart Modeller, and report on a performance evaluation of our framework carried out with the help of it.
Original languageEnglish
Pages (from-to)205-242
Number of pages38
JournalInternational Journal of Semantic Computing
Volume6
Issue number2
DOIs
Publication statusPublished - 2012
MoE publication typeA1 Journal article-refereed

Fingerprint

Model checking
Ontology
Software engineering
Semantics
Engineers
Processing
Chemical analysis

Keywords

  • Ontology-driven software engineering
  • model-driven engineering
  • component metadata
  • software composition
  • model checking

Cite this

@article{20142f216bc14092855364417a6ce135,
title = "Ontology-driven software engineering: Beyond model checking and transformations",
abstract = "This paper introduces a novel framework for Ontology-Driven Software Engineering. This framework is grounded on the prior related work that studied the interplay between the model-driven engineering and the ontological modeling. Our framework makes a contribution by incorporating a more flexible means for ontological modeling that also has a higher performance in processing, and by incorporating a wider range of ontology types into ODSE. As a result, it extends the power and speed of the classification and the model consistency checking ontological services enabled by the prior work, and brings new ontological services: semantic search in model repositories, three kinds of semi-automated model composition services: task-based, result-based, and opportunistic, and the policy enforcement service. The primary intended use for this framework is to be implemented as part of model-driven engineering tools to support software engineers. We describe our reference implementation of such a tool called Smart Modeller, and report on a performance evaluation of our framework carried out with the help of it.",
keywords = "Ontology-driven software engineering, model-driven engineering, component metadata, software composition, model checking",
author = "Artem Katasonov",
note = "Project code: 78531 TIVIT/IOT2012/ICT",
year = "2012",
doi = "10.1142/S1793351X12500031",
language = "English",
volume = "6",
pages = "205--242",
journal = "International Journal of Semantic Computing",
issn = "1793-351X",
publisher = "World Scientific Publishing",
number = "2",

}

Ontology-driven software engineering : Beyond model checking and transformations. / Katasonov, Artem.

In: International Journal of Semantic Computing, Vol. 6, No. 2, 2012, p. 205-242.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Ontology-driven software engineering

T2 - Beyond model checking and transformations

AU - Katasonov, Artem

N1 - Project code: 78531 TIVIT/IOT2012/ICT

PY - 2012

Y1 - 2012

N2 - This paper introduces a novel framework for Ontology-Driven Software Engineering. This framework is grounded on the prior related work that studied the interplay between the model-driven engineering and the ontological modeling. Our framework makes a contribution by incorporating a more flexible means for ontological modeling that also has a higher performance in processing, and by incorporating a wider range of ontology types into ODSE. As a result, it extends the power and speed of the classification and the model consistency checking ontological services enabled by the prior work, and brings new ontological services: semantic search in model repositories, three kinds of semi-automated model composition services: task-based, result-based, and opportunistic, and the policy enforcement service. The primary intended use for this framework is to be implemented as part of model-driven engineering tools to support software engineers. We describe our reference implementation of such a tool called Smart Modeller, and report on a performance evaluation of our framework carried out with the help of it.

AB - This paper introduces a novel framework for Ontology-Driven Software Engineering. This framework is grounded on the prior related work that studied the interplay between the model-driven engineering and the ontological modeling. Our framework makes a contribution by incorporating a more flexible means for ontological modeling that also has a higher performance in processing, and by incorporating a wider range of ontology types into ODSE. As a result, it extends the power and speed of the classification and the model consistency checking ontological services enabled by the prior work, and brings new ontological services: semantic search in model repositories, three kinds of semi-automated model composition services: task-based, result-based, and opportunistic, and the policy enforcement service. The primary intended use for this framework is to be implemented as part of model-driven engineering tools to support software engineers. We describe our reference implementation of such a tool called Smart Modeller, and report on a performance evaluation of our framework carried out with the help of it.

KW - Ontology-driven software engineering

KW - model-driven engineering

KW - component metadata

KW - software composition

KW - model checking

U2 - 10.1142/S1793351X12500031

DO - 10.1142/S1793351X12500031

M3 - Article

VL - 6

SP - 205

EP - 242

JO - International Journal of Semantic Computing

JF - International Journal of Semantic Computing

SN - 1793-351X

IS - 2

ER -