%0 Conference Proceedings
%T Structuring and Composition Mechanisms to Address Scalability Issues in Task Models
%+ Université Toulouse III - Paul Sabatier (UT3)
%+ Interactive Critical Systems (IRIT-ICS)
%A Martinie, Célia
%A Palanque, Philippe
%A Winckler, Marco
%< avec comité de lecture
%( Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III ; ISBN: 978-3-642-23764-5
%B 13th International Conference on Human-Computer Interaction (INTERACT 2011)
%C Lisbon, Portugal
%Y Pedro Campos
%Y Nicholas Graham
%Y Joaquim Jorge
%Y Nuno Nunes
%Y Philippe Palanque
%Y Marco Winckler
%I Springer
%3 Lecture Notes in Computer Science book series (LNCS)
%V 6948
%N Part 3
%P 589-609
%8 2011-09-05
%D 2011
%R 10.1007/978-3-642-23765-2_40
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X Along tasks analysis and modeling history it has been demonstrated by experience that task modeling activities become cumbersome when performed on large, real-life systems. However, one of the main goals of task models is to provide designers with a structured and complete description of the users tasks especially when these user tasks are numerous and/or complex. Several authors proposed to handle that problem by providing tools aiming at supporting both construction and understanding (usually via simulation) of models. One of the most popular examples is CTTE environment which is dedicated to the engineering of CTT task models. The paper shows how to extend notations for task description with two kinds of mechanisms: composition and refinement/abstraction. Refinement/abstraction mechanisms make it possible to decompose a task model into several models and to interconnect them. Composition mechanisms make it possible to define communication means between task models. The paper proposes a precise definition of these mechanisms, their integration into a notation for describing task models and demonstrates that altogether, these two structuring mechanisms support the effective exploitation of task models for large scale application. The use of the mechanisms is presented on a real-life case study from the space domain describing operators’ tasks to monitor a satellite and manage failures.
%G English
%Z TC 13
%2 https://inria.hal.science/hal-01591816/document
%2 https://inria.hal.science/hal-01591816/file/978-3-642-23765-2_40_Chapter.pdf
%L hal-01591816
%U https://inria.hal.science/hal-01591816
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ UT1-CAPITOLE
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC13
%~ IFIP-INTERACT
%~ IFIP-LNCS-6948
%~ IRIT
%~ IRIT-ICS
%~ IRIT-FSL
%~ IRIT-UT3
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP