Title :
A domain specific language and methodology for control systems GUI specification, verification and prototyping
Author :
Risoldi, Matteo ; Buchs, Didier
Author_Institution :
Univ. de Geneve, Carouge
Abstract :
A work-in-progress domain-specific language and methodology for modeling complex control systems GUIs is presented. MDA techniques are applied for language design and verification, simulation and prototyping.
Keywords :
control engineering computing; digital simulation; formal specification; graphical user interfaces; large-scale systems; program verification; software prototyping; specification languages; GUI modeling; complex control systems; domain specific language; language design; language prototyping; language simulation; language verification; Control system synthesis; Control systems; DSL; Domain specific languages; Graphical user interfaces; Prototypes; Specification languages; Thermal variables control; User interfaces; Virtual prototyping;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE Symposium on
Conference_Location :
Coeur d´Alene, ID
Print_ISBN :
978-0-7695-2987-5
DOI :
10.1109/VLHCC.2007.21
