Extending eFFBD formalism to task model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Extending eFFBD formalism to task model

(1)
1
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486

Résumé

In this paper, we study how eFFBD formalism can be modified to encompass task modeling. eFFBD is a formalism widely used by System Engineering community to model complex systems through a functional point of view. Task models are used by Human Factor community to express and analyze human activities. Although they appear to be complementary, functional modeling and task modeling are rarely used jointly. This separation contributes to reinforce barriers between disciplines and leads to inefficient system engineering processes. In order to improve this situation, we decided to extend eFFBD formalism to encompass task model expressivity. Based on eFFBD and task models comparison, we identify the need to add 3 new operators to eFFBD: suspend, resume and disable. Then we propose definition of a syntax and a formal semantic for these new operators. Our proposal is illustrated through the presentation of LEXE: an experimental tool supporting modeling and simulation of eFFBD, and its application on a concrete case.

Dates et versions

hal-01888055 , version 1 (04-10-2018)

Identifiants

Citer

Daniel Prun. Extending eFFBD formalism to task model. IS 2014, 24th Annual INCOSE International Symposium, Jun 2014, Las Vegas,, United States. pp.67 - 81, ⟨10.1002/j.2334-5837.2014.tb03135.x⟩. ⟨hal-01888055⟩

Collections

ENAC LII
46 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More