Visualization of formal specifications for understanding and debugging an industrial DSL

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

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

    3 Citations (Scopus)


    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.
    Original languageEnglish
    Title of host publicationSoftware Technologies: Applications and Foundations
    Subtitle of host publicationSTAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
    EditorsP. Milazzo , D. Varró , M. Wimmer
    Place of PublicationDordrecht
    ISBN (Electronic)978-3-319-50230-4
    ISBN (Print)978-3-319-50229-8
    Publication statusPublished - 2016

    Publication series



    Dive into the research topics of 'Visualization of formal specifications for understanding and debugging an industrial DSL'. Together they form a unique fingerprint.

    Cite this