Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2017

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

Camille Fayollas
Célia Martinie
Philippe Palanque
Eric Barboni
Racim Fahssi
  • Fonction : Auteur
  • PersonId : 994727
  • IdRef : 225453819
Arnaud Hamon
  • Fonction : Auteur
  • PersonId : 1335895
  • IdRef : 18854478X

Résumé

During early phases of the development of an interactive system, future system properties are identified (through interaction with end-users, e.g., in the brainstorming and prototyping phases of the development process, or by requirements provided by other stakeholders) imposing requirements on the final system. Some of these properties rely on informal aspects of the system (e.g. satisfaction of users) and can be checked by questionnaires, while others require the use of verification techniques over formal models (e.g. reinitializability) or validation techniques over the application (e.g. requirements fit). Such properties may be specific to the application under development or generic to a class of applications, but in all cases verification and validation tools are usually required for checking them. The usability of these tools has a significant impact on the validation and verification (V&V) phases which usually remain perceived as very resource consuming. This chapter proposes a user–centred view on the use of formal methods, especially on the use of formal modelling tools during the development process of an interactive system. We propose to apply Norman’s action theory to the engineer tasks of formal modelling in order to analyse how modelling tools impact the following engineer activities: model editing, model verification and model validation. The CIRCUS Integrated Development Environment serves as an illustrative example to exemplify how engineer tasks may be impacted by modelling tools features.
Fichier non déposé

Dates et versions

hal-03131880 , version 1 (04-02-2021)

Identifiants

Citer

Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, et al.. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465--504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩. ⟨hal-03131880⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More