Visualization of formal specifications for understanding and debugging an industrial DSL

U. Tikhonova, M.W. Manders, R.C. Boudewijns

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)

    Samenvatting

    In this work we report on our proof of concept of a generic approach: visualized formal specification of a Domain Specific Language (DSL) can be used for debugging, understanding, and impact analysis of the DSL programs. In our case study we provide a domain-specific visualization for the Event-B specification of a real-life industrial DSL and perform a user study among DSL engineers to discover opportunities for its application. In this paper, we explain the rationale behind our visualization design, discuss the technical challenges of its realization and how these challenges were solved using the Model Driven Engineering (MDE) techniques. Based on the positive feedback of the user study, we present our vision on how this successful experience can be reused and the approach can be generalized for other DSLs.
    Originele taal-2Engels
    TitelSoftware Technologies: Applications and Foundations
    SubtitelSTAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
    RedacteurenP. Milazzo , D. Varró , M. Wimmer
    Plaats van productieDordrecht
    UitgeverijSpringer
    Pagina's179-195
    ISBN van elektronische versie978-3-319-50230-4
    ISBN van geprinte versie978-3-319-50229-8
    DOI's
    StatusGepubliceerd - 2016

    Publicatie series

    NaamLNCS
    Volume9946

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Visualization of formal specifications for understanding and debugging an industrial DSL'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit