Interpreted Petri Nets used for human-machine dialogue specification

被引:0
|
作者
Moussal, F
Riahi, M
Kolski, C
Moalla, M
机构
[1] Fac Sci Tunis, Dept Informat Sci, Lab Informat Parallelisme & Prod, Tunis 1060, Tunisia
[2] Univ Valenciennes & Hainaut Cambresis, LAMIH, URA CNRS 8530, F-59313 Valenciennes 9, France
关键词
User Interface (UI); Human-Machine Dialogue; Human-Machine System (HMS); formal specification; interpreted; Petri nets; dialogue modelling;
D O I
10.3233/ica-2002-9106
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper proposes an approach for the specification of human-machine dialogue for interactive process control applications supported by a tool called Ergo-Conceptor+. This approach is based on a formal modelling of the Human-Machine System (HMS) behaviour. This modelling make possible the deduction of the user requirements and then the identification of the User Interface (UI) objects. A formalism using Interpreted Petri Nets is proposed for modelling the Human-Machine dialogue. The formal aspect allows the validation of the specifications before going on to the generation of the interface.
引用
收藏
页码:87 / 98
页数:12
相关论文
共 50 条
  • [1] Automatic Specification Generation for Tracking Control in Interpreted Petri nets
    Guevara-Lozano, D.
    Vazquez, C. R.
    Ramirez-Trevino, A.
    [J]. 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 341 - 346
  • [2] Modeling of Adaptive Human-Machine Systems Based on Fuzzy Inference Petri Nets
    Xia, Jiajun
    Zhang, Jianhua
    Wang, Rubin
    [J]. ADVANCES IN COGNITIVE NEURODYNAMICS (V), 2016, : 493 - 499
  • [3] INTERPRETED PETRI NETS AND GRAFCET
    MOALLA, M
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 17 - 30
  • [4] LOGICAL INFERENCE ON INTERPRETED PETRI NETS
    VAGIN, VN
    ZAKHAROV, VN
    ROZENBLYUM, LY
    [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 98 - 105
  • [5] DEPLOYMENT OF HUMAN-MACHINE DIALOGUE SYSTEMS
    ROE, DB
    [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1995, 92 (22) : 10017 - 10022
  • [6] Algebraic Structures in Interpreted Petri nets
    Renato Vazquez, Carlos
    Ramirez-Trevino, Antonio
    Navarro-Gutierrez, Manuel
    [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 7893 - 7898
  • [7] Enforcing Diagnosability in Interpreted Petri Nets
    Hernandez-Rueda, K.
    Meda-Campana, M. E.
    Aramburo-Lizarraga, J.
    [J]. IFAC PAPERSONLINE, 2015, 48 (07): : 58 - 63
  • [8] The persuasive power of human-machine dialogue
    Ramachandran, Divya
    Canny, John
    [J]. PERSUASIVE TECHNOLOGY, 2008, 5033 : 189 - 200
  • [9] An Ontology for Human-Machine Computation Workflow Specification
    Luz, Nuno
    Pereira, Carlos
    Silva, Nuno
    Novais, Paulo
    Teixeira, Antonio
    e Silva, Miguel Oliveira
    [J]. HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014, 2014, 8480 : 49 - 60
  • [10] User errors in spoken human-machine dialogue
    Bernsen, NO
    Dybkjaer, L
    Dybkjaer, H
    [J]. DIALOGUE PROCESSING IN SPOKEN LANGUAGE SYSTEMS, 1997, 1236 : 14 - 28