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 条
  • [11] A Domain-Specific Language for ETL Patterns Specification in Data Warehousing Systems
    Oliveira, Bruno
    Belo, Orlando
    PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, 2015, 9273 : 597 - 602
  • [12] Executable specification language for fast prototyping parallel responsive systems
    Domino, Cambridge, United Kingdom
    Comput Lang, 1 (1-13):
  • [13] An executable specification language for fast prototyping parallel responsive systems
    Heping, H
    Zedan, H
    COMPUTER LANGUAGES, 1996, 22 (01): : 1 - 13
  • [14] A domain-specific language for the specification of UCON policies
    Reina Quintero, Antonia M.
    Martinez Perez, Salvador
    Jesus Varela-Vaca, Angel
    Gomez Lopez, Maria Teresa
    Cabot, Jordi
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2022, 64
  • [15] A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
    Fleurey, Franck
    Solberg, Arnor
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 606 - 621
  • [16] A formal specification language for domain specific software development
    Basu, A
    Bhattacharya, S
    TENCON 2004 - 2004 IEEE REGION 10 CONFERENCE, VOLS A-D, PROCEEDINGS: ANALOG AND DIGITAL TECHNIQUES IN ELECTRICAL ENGINEERING, 2004, : B322 - B325
  • [17] <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold>
    Khwaja, Amir A.
    Urban, Joseph E.
    RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 3 - +
  • [18] A VERIFICATION METHODOLOGY FOR REAL-TIME SUPERVISORY CONTROL SPECIFICATION
    SHANMUGHAM, SG
    ROBERTS, CA
    COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 29 : 705 - 709
  • [19] A Specification Language for Static and Runtime Verification of Data and Control Properties
    Ahrendt, Wolfgang
    Chimento, Jesus Mauricio
    Pace, Gordon J.
    Schneider, Gerardo
    FM 2015: FORMAL METHODS, 2015, 9109 : 108 - 125
  • [20] USE CASE SPECIFICATION USING THE SILABREQ DOMAIN SPECIFIC LANGUAGE
    Savic, Dusan
    Vlajic, Sinisa
    Lazarevic, Saga
    Antovic, Ilija
    Stanojevic, Vojislav
    Milic, Milos
    da Silva, Alberto Rodrigues
    COMPUTING AND INFORMATICS, 2015, 34 (04) : 877 - 910
12345