Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers

被引:13
|
作者
Gomes, Luis [1 ,2 ]
Lourenco, Joao [3 ]
机构
[1] Univ Nova Lisboa, Fac Ciencias & Tecnol, Dept Engn Electrotecn, P-2829516 Caparica, Portugal
[2] Univ Nova Lisboa, Inst Desenvolvimento Novas Tecnol, Ctr Tecnol & Sistemas, P-2829516 Caparica, Portugal
[3] Univ Nova Lisboa, Fac Sci & Technol, P-2829516 Caparica, Portugal
关键词
Design automation; graphical user interfaces (GUIs); modeling; Petri nets; FRAMEWORK; LANGUAGE; DESIGN; MODELS;
D O I
10.1109/TIE.2009.2031188
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes a tool framework allowing the rapid prototyping of an animated synoptic application associated with an embedded system controller. The motto for developing this tool framework is to be able to automatically generate controllers with associated graphical user interface (GUI) without writing a line of execution code; instead, the tool framework will provide specific aids allowing the designer to define the controller behavior and associated GUI ( including static parts and intended dynamics). The behavior of the controller is described through a low-level Petri-net model, and the tool framework supports the definition of characteristics for the intended GUI and the association of the characteristics of the Petri-net behavioral model with specific characteristics of the GUI through a set of dedicated rules. Two main tools are described. The first one, named as "Animator," allows an interactive definition of the graphical characteristics of the synoptic and automatic code generation. The second one, named as " Synoptic," is responsible for the embedded control-execution part, integrating real-time updating of the GUI. The application of the tool framework to a simple automation system, namely, to the controller of a manufacturing system composed of a four-cell first-in-first-out system, is presented.
引用
收藏
页码:1806 / 1813
页数:8
相关论文
共 50 条
  • [31] ACCESS-CONTROL AND VERIFICATION IN PETRI-NET-BASED HYPERDOCUMENTS
    STOTTS, PD
    FURUTA, R
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 49 - 55
  • [32] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS
    BILINSKI, K
    ADAMSKI, M
    SAUL, JM
    DAGLESS, EL
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
  • [33] Property Preservation by Petri-Net-Based Refinements in System Design
    Xia, Chuanliang
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 240 - 246
  • [34] Life-cycle inheritance - A Petri-net-based approach
    van der Aalst, WMP
    Basten, T
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 62 - 81
  • [35] Fast Petri-net-based sequence controller implemented on a DSP
    Di Stefano, A.
    Mirabella, O.
    1600, Springer-Verlag London Ltd., London, United Kingdom (09):
  • [36] Petri-net-based business process modeling for virtual enterprises
    Gou, HM
    Huang, BQ
    Liu, WH
    Ren, SJ
    Li, Y
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3183 - 3188
  • [37] A Petri-net-based Simulation and Optimization approach for IEM and EI
    Liu, Xiaofeng
    Xu, Xiaofei
    Deng, Shengchun
    I-ESA 2009: INTERNATIONAL CONFERENCE ON INTEROPERABILITY FOR ENTERPRISE SOFTWARE AND APPLICATIONS CHINA, PROCEEDINGS, 2009, : 129 - 134
  • [38] Integrative rapid-prototyping for multimodal user interfaces
    Schuller, B.W.
    Lang, M.K.
    VDI Berichte, 2002, (1678): : 279 - 284
  • [39] Flavor Explore: Rapid Prototyping and Evaluation of User Interfaces
    Qiu, Shi
    Du, Liangyi
    Han, Ting
    Hu, Jun
    DISTRIBUTED, AMBIENT AND PERVASIVE INTERACTIONS: UNDERSTANDING HUMANS, DAPI 2018, PT I, 2018, 10921 : 114 - 123
  • [40] Integrative rapid-prototyping for multimodal user interfaces
    Schuller, BW
    Lang, MK
    USEWARE 2002, 2002, 1678 : 279 - 284