Verification and Validation in the Context of Domain-Specific Modelling

    Research output: Chapter in Book/Report/Conference proceedingChapter or book articleScientificpeer-review

    7 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 publicationMatti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10)
    EditorsMatti Rossi, J-P. Tolvanen, J. Sprinkle, S. Kelly
    Pages55-60
    Publication statusPublished - 2010
    MoE publication typeA3 Part of a book or another research book

    Publication series

    SeriesAalto-yliopiston kauppakorkeakoulun julkaisuja B
    ISSN0356-889X

    Fingerprint

    Productivity
    Software engineering
    Automation
    Modeling languages

    Cite this

    Merilinna, J., & Pärssinen, J. (2010). Verification and Validation in the Context of Domain-Specific Modelling. In M. Rossi, J-P. Tolvanen, J. Sprinkle, & S. Kelly (Eds.), Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10) (pp. 55-60). Aalto-yliopiston kauppakorkeakoulun julkaisuja B
    Merilinna, Janne ; Pärssinen, Juha. / Verification and Validation in the Context of Domain-Specific Modelling. Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10). editor / Matti Rossi ; J-P. Tolvanen ; J. Sprinkle ; S. Kelly. 2010. pp. 55-60 (Aalto-yliopiston kauppakorkeakoulun julkaisuja B).
    @inbook{4cb63efe357b4b3ebf7645877f5c09b0,
    title = "Verification and Validation in the Context of Domain-Specific Modelling",
    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.",
    author = "Janne Merilinna and Juha P{\"a}rssinen",
    note = "Project code: 7236",
    year = "2010",
    language = "English",
    isbn = "978-952-60-1043-4",
    series = "Aalto-yliopiston kauppakorkeakoulun julkaisuja B",
    publisher = "Aalto University",
    pages = "55--60",
    editor = "Matti Rossi and J-P. Tolvanen and Sprinkle, {J. } and S. Kelly",
    booktitle = "Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10)",

    }

    Merilinna, J & Pärssinen, J 2010, Verification and Validation in the Context of Domain-Specific Modelling. in M Rossi, J-P Tolvanen, J Sprinkle & S Kelly (eds), Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10). Aalto-yliopiston kauppakorkeakoulun julkaisuja B, pp. 55-60.

    Verification and Validation in the Context of Domain-Specific Modelling. / Merilinna, Janne; Pärssinen, Juha.

    Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10). ed. / Matti Rossi; J-P. Tolvanen; J. Sprinkle; S. Kelly. 2010. p. 55-60 (Aalto-yliopiston kauppakorkeakoulun julkaisuja B).

    Research output: Chapter in Book/Report/Conference proceedingChapter or book articleScientificpeer-review

    TY - CHAP

    T1 - Verification and Validation in the Context of Domain-Specific Modelling

    AU - Merilinna, Janne

    AU - Pärssinen, Juha

    N1 - Project code: 7236

    PY - 2010

    Y1 - 2010

    N2 - 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.

    AB - 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.

    M3 - Chapter or book article

    SN - 978-952-60-1043-4

    T3 - Aalto-yliopiston kauppakorkeakoulun julkaisuja B

    SP - 55

    EP - 60

    BT - Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10)

    A2 - Rossi, Matti

    A2 - Tolvanen, J-P.

    A2 - Sprinkle, J.

    A2 - Kelly, S.

    ER -

    Merilinna J, Pärssinen J. Verification and Validation in the Context of Domain-Specific Modelling. In Rossi M, Tolvanen J-P, Sprinkle J, Kelly S, editors, Matti Rossi, Jonathan Sprinkle, Juha-Pekka Tolvanen, Steven Kelly (eds.), Proceedings of the 10th Workshop on Domain-Specific Modeling (DSM'10). 2010. p. 55-60. (Aalto-yliopiston kauppakorkeakoulun julkaisuja B).