Ontology-driven software engineering: Beyond model checking and transformations

Artem Katasonov

    Research output: Contribution to journalArticleScientificpeer-review

    15 Citations (Scopus)


    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
    JournalInternational Journal of Semantic Computing
    Issue number2
    Publication statusPublished - 2012
    MoE publication typeA1 Journal article-refereed


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


    Dive into the research topics of 'Ontology-driven software engineering: Beyond model checking and transformations'. Together they form a unique fingerprint.

    Cite this