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 条
  • [31] DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS
    Riesco, Adrian
    Verdejo, Alberto
    Marti-Oliet, Narciso
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 277 - 294
  • [32] Declarative debugging of membership equational logic specifications
    Caballero, Rafael
    Marti-Oliet, Narciso
    Riesco, Adrian
    Verdejo, Alberto
    CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 174 - 193
  • [33] VISUALIZATION OF CONCEPTUAL SPECIFICATIONS
    LALIOTI, V
    LOUCOPOULOS, P
    INFORMATION SYSTEMS, 1994, 19 (03) : 291 - 309
  • [34] UNDERSTANDING AND DEBUGGING PROGRAMS
    LUKEY, FJ
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1980, 12 (02): : 189 - 202
  • [35] A Formal Approach for Debugging Arithmetic Circuits
    Sarbishei, Omid
    Tabandeh, Mahmoud
    Alizadeh, Bijan
    Fujita, Masahiro
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2009, 28 (05) : 742 - 754
  • [36] Efficient debugging in a formal verification environment
    Fady Copty
    Amitai Irron
    Osnat Weissberg
    Nathan Kropp
    Gila Kamhi
    International Journal on Software Tools for Technology Transfer, 2003, 4 (3) : 335 - 348
  • [37] Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
    Aït-Ameur, Y
    Breholée, B
    Girard, P
    Guittet, L
    Jambon, F
    HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
  • [38] A formal approach for debugging arithmetic circuits
    Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran
    不详
    IEEE Trans Comput Aided Des Integr Circuits Syst, 2009, 1 (742-754):
  • [39] Beyond Verification: Leveraging Formal for Debugging
    Ranjan, Rajeev K.
    Coelho, Claudionor
    Skalberg, Sebastian
    DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, : 648 - +
  • [40] Formal Automated Transformation of SDL Specifications to Lotos Specifications
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
12345