A Tool Suite for Integrating Task and System Models through Scenarios

Navarre, David; Palanque, Philippe; Paternò, Fabio; Santoro, Carmen; Bastide, Rémi

doi:10.1007/3-540-45522-1_6

Cited by 44 publications

(31 citation statements)

References 17 publications

(12 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [10] an approach to checking tasks against system models is put forward. The analysis is based on the assumption that the task model identifies the perceptual operations performed by the users.…”

Section: Discussionmentioning

confidence: 99%

Supporting Resource-Based Analysis of Task Information Needs

Campos

Doherty

2006

Interactive Systems. Design, Specification, and Verification

View full text Add to dashboard Cite

Abstract.We investigate here an approach to modelling the dynamic information requirements of a user performing a number of tasks, addressing both the provision and representation of information, viewing the information as being distributed across a set of resources. From knowledge of available resources at the user interface, and task information needs we can identify whether the system provides the user with adequate support for task execution. We look at how we can use tools to help reason about these issues, and illustrate their use through an example. We also consider a full range of analyses suggested using this approach which could potentially be supported by automated reasoning systems.

show abstract

Section: Discussionmentioning

confidence: 99%

Supporting Resource-Based Analysis of Task Information Needs

Campos

Doherty

2006

Interactive Systems. Design, Specification, and Verification

View full text Add to dashboard Cite

show abstract

“…However, HAMSTERS includes extensions such as pre-conditions associated with task executions, data flow across Task Models, and more detailed interactive tasks. HAMSTERS' models can be edited and simulated in a dedicated environment which also provides a dedicated API for observing, editing, and simulating events, making it possible to connect Task Models to System Models [14], [15]. Table 1 illustrates some of the HAMSTERS' constructs that are required for structuring models, including:…”

Section: User Stories and Scenariosmentioning

confidence: 99%

An Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development

Silva¹,

Hak²,

Winckler³

2016

CSIMQ

View full text Add to dashboard Cite

Abstract. In a user-centered development process, artifacts evolve in iterative cycles until they meet users' requirements and then become the final product. Every cycle gives the opportunity to revise the design and to introduce new requirements which might affect the specification of artifacts that have been set in former development phases. Testing the consistency of multiple artifacts used to develop interactive systems every time that new requirements are introduced is a cumbersome activity, especially if it is done manually. This paper proposes an approach based on Behavior-Driven Development (BDD) to support the automated assessment of artifacts along the development process of interactive systems. The paper uses an ontology for specifying tests that can run over multiple artifacts sharing similar concepts. A case study testing Task Models, Prototypes, and Final User Interfaces is presented to demonstrate the feasibility of this approach from the early phases of the design process, providing a continuous quality assurance of requirements, and helping clients and development teams to identify potential problems and inconsistencies before commitments with software implementation are made.

show abstract

“…However, HAMSTERS includes extensions such as preconditions associated to task executions, data flow across task models, more detailed interactive tasks… HAMSTERS models can be edited and simulated in a dedicated environment which also provides a dedicated API for observing editing and simulation events making it possible to connect task models to system models [2] and [19] based on the Interactive Cooperative Objects formalism [20] and [21]. The notation presented hereafter provides additional extensions that are required for structuring models.…”

Section: Short Introduction To Hamstersmentioning

confidence: 99%

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

Martinie

Palanque

Winckler

2011

Human-Computer Interaction – INTERACT 2011

Self Cite

View full text Add to dashboard Cite

Abstract. 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.

show abstract

A Tool Suite for Integrating Task and System Models through Scenarios

Cited by 44 publications

References 17 publications

Supporting Resource-Based Analysis of Task Information Needs

Supporting Resource-Based Analysis of Task Information Needs

An Approach for Multi-Artifact Testing Through an Ontological Perspective for Behavior-Driven Development

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

Contact Info

Product

Resources

About