Using a DSL and fine-grained model : transformations to explore the boundaries of model verification (Extended abstract)

M.F. Amstel, van, M.G.J. Brand, van den, L.J.P. Engelen

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    Traditionally, the state-space explosion problem in model checking is handled by applying abstractions and simplifications to the model that needs to be verified. In this paper, we propose a model-driven engineering approach that works the other way around. Instead of making a concrete model more abstract, we propose to refine an abstract model to make it more concrete. We propose to use fine-grained model transformations to enable model checking of models that are as close to the implementation model as possible. We applied our approach in a case study. The results show that models that are more concrete can be validated when fine-grained transformations are applied.
    Originele taal-2Engels
    TitelProceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011, Berlin, Germany, March 21-25, 2011)
    Plaats van productiePiscataway
    UitgeverijInstitute of Electrical and Electronics Engineers
    Pagina's63-66
    ISBN van geprinte versie978-0-7695-4345-1
    DOI's
    StatusGepubliceerd - 2011
    Evenement4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011) - Berlin, Duitsland
    Duur: 21 mrt. 201125 mrt. 2011
    Congresnummer: 4

    Congres

    Congres4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011)
    Verkorte titelICSTW 2011
    Land/RegioDuitsland
    StadBerlin
    Periode21/03/1125/03/11
    Ander2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Using a DSL and fine-grained model : transformations to explore the boundaries of model verification (Extended abstract)'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit