A domain specific language and methodology for control systems GUI specification, verification and prototyping

被引：3
|
作者：
Risoldi, Matteo [1 ]
Buchs, Didier [1 ]
机构：
[1] Univ Geneva, CUI Battelle Bat A, CH-1227 Carouge, Switzerland
来源：
VL/HCC 2007: IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/VLHCC.2007.21
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：179 / +
页数：2
相关论文
共 50 条
  • [31] RML: Theory and practice of a domain specific language for runtime verification
    Ancona, Davide
    Franceschini, Luca
    Ferrando, Angelo
    Mascardi, Viviana
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
  • [32] SDL as a system level specification language for application-specific hardware in a rapid prototyping environment
    Muth, A
    Färber, G
    13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 157 - 162
  • [33] Practical Formal Verification of Domain-Specific Language Applications
    Eakman, Greg
    Reubenstein, Howard
    Hawkins, Tom
    Jain, Mitesh
    Manolios, Panagiotis
    NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 443 - 449
  • [34] ON THE SPECIFICATION, VALIDATION AND VERIFICATION OF SECURITY IN ACCESS-CONTROL SYSTEMS
    OSHEA, G
    COMPUTER JOURNAL, 1994, 37 (05): : 437 - 448
  • [35] A formal approach for the specification, verification and control of flexible manufacturing systems
    Zairi, Sajeh
    Zouari, Belhassen
    Pitrac, Laurent
    ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3, 2007, : 1031 - +
  • [36] Modelling and Prototyping of Business Applications Based on Multilevel Domain-Specific Language
    Pergl, Robert
    ENTERPRISE AND ORGANIZATIONAL MODELING AND SIMULATION, 2011, 88 : 173 - 191
  • [37] RealSpec: An Executable Specification Language for Modeling Control Systems
    Khwaja, Amir A.
    Urban, Joseph E.
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 219 - +
  • [38] USING TEMPORAL LOGIC TO SUPPORT THE SPECIFICATION AND PROTOTYPING OF INTERACTIVE CONTROL-SYSTEMS
    JOHNSON, CW
    HARRISON, MD
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 37 (03): : 357 - 385
  • [39] Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages
    Verriet, Jacques
    Buit, Lennart
    Doornbos, Richard
    Huijbrechts, Bas
    Sevo, Kristina
    Sleuters, Jack
    Verberkt, Mark
    MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 229 - 239
  • [40] A METHODOLOGY OF SPECIFICATION AND IMPLEMENTATION OF DISTRIBUTED DISCRETE CONTROL-SYSTEMS
    BIGOU, JM
    COURVOISIER, MYP
    DEMMOU, H
    DESCLAUX, C
    PASCAL, JC
    VALETTE, RJ
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1987, 34 (04) : 417 - 421
12345