Verification and Validation in the Context of Domain-Specific Modelling

Janne Merilinna, Juha Pärssinen

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    10 Citations (Scopus)

    Abstract

    The utilisation of Domain-Specific Modelling (DSM) in software development has a significant positive impact on productivity. The productivity increase is caused by the utilisation of modelling languages and generators that are especially suitable for a specific problem domain instead of those designed for solution domains. The prerequisite for this significant productivity increase is that the languages and the automation function correctly. To ensure the suitability of the languages and tools, we need to be able to use the verification and validation (V&V) techniques in the context of DSM. In this position paper we study what V&V actually stands for in this particular context and what the current means are for performing V&V. We found that although there are some means available for verification, comprehensive methods still do not exist. For validation, we believe that maintaining a bidirectional trace link between requirements, models and the generated deliverables is a promising approach to significantly facilitate the validation process.
    Original languageEnglish
    Title of host publicationProceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10)
    EditorsMatti Rossi, Juha-Pekka Tolvanen, Jonathan Sprinkle, Steven Kelly
    PublisherHelsinki School of Economics
    Pages55-60
    ISBN (Print)978-952-60-1043-4
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication

    Publication series

    SeriesHelsinki School of Economics. Series B
    Volume120
    ISSN0356-889X

    Fingerprint

    Dive into the research topics of 'Verification and Validation in the Context of Domain-Specific Modelling'. Together they form a unique fingerprint.

    Cite this