Model-based user interfaces: what are they and why should we care?
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
The unified software development process
The unified software development process
Theory based design: from individual users and tasks to collaborative systems
Proceedings of the third international conference on Computer-aided design of user interfaces
A Model-Based Interface Development Environment
IEEE Software
Tool support for task-based user interface design
CHI '99 Extended Abstracts on Human Factors in Computing Systems
HESSD'09 Proceedings of the 7th FIP WG 13.5 international conference on Human Error, Safety and Systems Development
Hi-index | 0.00 |
This paper is intended to present an approach to the construction of a task model of method, named task object-oriented design (TOOD), used for the development of an interactive system. This approach is based on a formal notation, giving quantitative results which may be checked by designers and which provide the possibility of performing mathematical verifications on the models. The modeling formalism is based on the joint use of the object approach and of high-level Petri nets. The concepts borrowed from the object approach make it possible to describe the static aspect of tasks and the Petri nets enable the description of dynamics and behavior. We also describe a software aid tool for the manipulation of these models, which allow the editing of a task model. In order to facilitate comprehension of the method, a simple example of procedure used in missile firing management will be given.