Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL

被引：3
|
作者：
Tikhonova, Ulyana [1 ]
Manders, Maarten [1 ]
Boudewijns, Rimco [1 ]
机构：
[1] Tech Univ Eindhoven, POB 513, NL-5600 MB Eindhoven, Netherlands
来源：
SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016) | 2016年 / 9946卷
关键词：
Event-B; Visualization; Domain specific language; User study; DESIGN;
D O I：
10.1007/978-3-319-50230-4_13
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：179 / 195
页数：17
相关论文
共 50 条
  • [41] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
  • [42] The formal design of distributed controllers with dSL and Spin
    De Wachter, B
    Genon, A
    Massart, T
    Meuter, C
    FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 177 - 200
  • [43] From a Natural to a Formal Language with DSL Assistant
    Mosthaf, My M.
    Wasowski, Andrzej
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 541 - 549
  • [44] Boosting the Reuse of Formal Specifications
    Moscato, Mariano M.
    Lopez Pombo, Carlos G.
    Munoz, Cesar A.
    Feliu, Marco A.
    INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 477 - 494
  • [45] AN INTRODUCTION TO Z AND FORMAL SPECIFICATIONS
    SPIVEY, JM
    SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 40 - 50
  • [46] Faster analysis of formal specifications
    Bouquet, F
    Legeard, B
    Utting, M
    Vacelet, N
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 239 - 258
  • [47] Stepwise Validation of Formal Specifications
    Mashkoor, Atif
    Jacquot, Jean-Pierre
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 57 - 64
  • [48] The Formal Specifications for Protocols of Decoders
    YUAN Meng-ting
    WuhanUniversityJournalofNaturalSciences, 2004, (06) : 879 - 882
  • [49] A formal specifications maturity model
    Fraser, MD
    Vaishnavi, VK
    COMMUNICATIONS OF THE ACM, 1997, 40 (12) : 95 - 103
  • [50] FORMAL SPECIFICATIONS AS REUSABLE FRAMEWORKS
    GARLAN, D
    DELISLE, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 150 - 163
12345