Title :
Creating GUI-based DSL formal tools
Author :
Silva, R. ; Mota, Alexandre ; Rizzi Starr, Rodrigo
Author_Institution :
Inf. Center - Fed. Univ. of Pernambuco, Recife, Brazil
Abstract :
In this paper we propose a rigorous methodology to create GUI-based DSLs formal tools. From a formal specification of a DSL we extract a metamodel and create a user-friendly (GUI) front-end. Then we use a code synthesizer to create a formally verified back-end. At the end we link both parts using a wrapper solution. We aim at providing a productive and trustworthy development methodology to safety critical industries.
Keywords :
formal verification; graphical user interfaces; specification languages; trusted computing; GUI-based DSL formal tools; code synthesizer; formal specification; formally verified back-end; safety critical industries; trustworthy development methodology; user-friendly front-end; wrapper solution; Abstracts; DSL; Graphical user interfaces; Logic gates; Reactive power; Semantics; Syntactics;
Conference_Titel :
Information Reuse and Integration (IRI), 2013 IEEE 14th International Conference on
Conference_Location :
San Francisco, CA
DOI :
10.1109/IRI.2013.6642514
