Applying model transformation and Event-B for specifying an industrial DSL

U. Tikhonova, M.W. Manders, M.G.J. Brand, van den, S. Andova, T. Verhoeff

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (Scopus)
    63 Downloads (Pure)

    Samenvatting

    In this paper we describe our experience in applying the Event-B formalism for specifying the dynamic semantics of a real-life industrial DSL. The main objective of this work is to enable the industrial use of the broad spectrum of specification analysis tools that support Event-B. To leverage the usage of Event-B and its analysis techniques we developed model transformations, that allowed for automatic generation of Event-B specifications of the DSL programs. The model transformations implement a modular approach for specifying the semantics of the DSL and, therefore, improve scalability of the specifications and the reuse of their verification. Keywords: domain specific language, Event-B, model transformations, verification and validation, reuse, scalability
    Originele taal-2Engels
    TitelMoDeVVa 2013 : Workshop on Model Driven Engineering, Verification and Validation : Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Miami, Florida, October 1st, 2013
    RedacteurenF. Boulanger, M. Famelis, D. Ratiu
    UitgeverijCEUR-WS.org
    Pagina's41-50
    StatusGepubliceerd - 2013
    Evenement10th International Workshop on Model Driven Engineering, Verification and Validation -
    Duur: 1 okt 20131 okt 2013

    Publicatie series

    NaamCEUR Workshop Proceedings
    Volume1069
    ISSN van geprinte versie1613-0073

    Congres

    Congres10th International Workshop on Model Driven Engineering, Verification and Validation
    Periode1/10/131/10/13
    Ander10th International Workshop on Model Driven Engineering, Verification and Validation

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Applying model transformation and Event-B for specifying an industrial DSL'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit