Interpreted Petri Nets used for human-machine dialogue specification

Moussa, Faouzi; Riahi, Meriem; Kolski, Christophe; Moalla, M.

doi:10.3233/ica-2002-9106

Cited by 13 publications

(5 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While several approaches have been proposed for modeling dialogue systems, this approach for the VDr dialogue system is based on GSPNs by capitalizing on their advantages. 4,9,10 Thus, we briefly provide a definition for clarification of the flow of the sections presented in this paper.…”

Section: The Gspn Vdr Modelmentioning

confidence: 99%

“…2 In particular, Levin et al 3 presented a stochastic model known as the Markov decision process for dialogue systems, which is used for online flight information system. Moussa et al 4 presented an approach for the specification of human-machine dialogue for interactive control applications. Petukhova et al 5 described an approach to human-machine dialogue systems for the development of interactive games.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A formal GSPN model of a virtual doctor dialogue system

Bourbakis

Mallios

2023

SIMULATION

View full text Add to dashboard Cite

This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue system and the human patient is a modified version of the Wickens model. The purpose of this model is to provide a better understanding of the interaction between the VDr dialogue system and the patient, as well as the integration of other components in the system, such as the patient’s medical history and emotions. Initially, the formal definition of the GSPN model of the VDr dialogue system is presented by incorporating the token color concept, which is a feature of Color GSPNs. Then, the GSPN formal modeling is described. Note that, the GSPN model presented here is at the simulation level and not a product. Furthermore, some examples are provided with the intention of facilitating the understanding of the token color utilization and the different GSPN markings.

show abstract

Section: The Gspn Vdr Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A formal GSPN model of a virtual doctor dialogue system

Bourbakis

Mallios

2023

SIMULATION

View full text Add to dashboard Cite

show abstract

“…In the literature, several works has been focused on automatic user interface generation from abstract specification. Some model-based systems such as ERGO-CONCEPTOR [22] enable graphical views specification based on detailed description of the appliance. However, this description is tedious and prone to interrogations and omissions.…”

Section: State Of the Artmentioning

confidence: 99%

“…The generated user interface is rarely sufficient for the entire application because the works focusses on only one aspect of the system design. To address this, for example, ERGO-CONCEPTOR+ [22] combines the knowledge-based system with the formal specification of the application.…”

Section: State Of the Artmentioning

confidence: 99%

Designing Functional Specifications for Complex Systems

Goubali¹,

Girard²,

Guittet³

et al. 2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

For designing complex and sociotechnical (System that strongly interact with humans (e.g., a ship is a large sociotechnical system).) systems, designers are in charge of the functional specification because they have an operational expert knowledge. However, these experts do not usually master the programming knowledge of those who design supervision systems. Complex and sociotechnical systems include supervision systems which comprise monitoring interfaces and associated control codes. In this paper we propose an approach that facilitates functional specification of supervision systems. This approach aims at exploiting Example Based Programming (EBP) to propose a specification tool, which contains a generalization module and an interface generation module. Our tool allows experts who are acting as non-professional software developers to describe high level system functional services from elementary services. These functional services contain elementary interactions and configuration data. Thus, the expert, involved in coding, avoids a lot of errors related to the interpretation of the functional specifications. Our aim is to capture expert knowledge on the system being designed in order to have verified and validated functional specifications, without having to train experts in formal methods.

show abstract

“…Petri nets (PN) have been used in Human-Computer Interaction (HCI) for almost twenty years. They were first used to model human tasks [17] and [18], then they progressively came to be used in the specification and design of targeted interactive systems, particularly dynamic systems [19] [20] [21]; see for example articles about ICO (Interactive Cooperative Objects): [22], [18] and [23]. When linked to the object concept, Petri nets are used as a modelling tool in Task Object Oriented Design (TOOD) [24] [25], which aims to provide a method that covers the entire design process from task modelling to HCI parts generation.…”

Section: Petri Netsmentioning

confidence: 99%

First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results

Bernonville

Kolski

Leroy

et al. 2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

When a computer application is being designed or re-engineered, especially a user-centred application, communication between ergonomists and computer scientists is very important. However, the formalisms used to describe ergonomic problems and recommendations are often based on natural language. Consequently, the results of ergonomic evaluation can be poorly understood or interpreted by computer scientists. To remedy this problem, we propose a method, called ErgoPNets. The method creates common work support for both the ergonomists and the computer scientists working on the same project. Comprehensible for everyone, this support must provide an efficient tool that can be used by each person involved. ErgoPNets uses Petri nets to model Human-Computer Interaction (HCI) procedures and ergonomic criteria to model the ergonomic analysis. A first experimentation has been performed with designers/developers and academic researchers.

show abstract

Interpreted Petri Nets used for human-machine dialogue specification

Cited by 13 publications

References 18 publications

A formal GSPN model of a virtual doctor dialogue system

A formal GSPN model of a virtual doctor dialogue system

Designing Functional Specifications for Complex Systems

First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results

Contact Info

Product

Resources

About