Communications of the ACM
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Transition network grammars for natural language analysis
Communications of the ACM
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
CTTE: an environment for analysis and development of task models of cooperative applications
CHI '01 Extended Abstracts on Human Factors in Computing Systems
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Towards Uniformed Task Models in a Model-Based Approach
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Modeling patterns for task models
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Applying information visualization techniques to visual representations of task models
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
ACM Transactions on Computer-Human Interaction (TOCHI)
More precise descriptions of temporal relations within task models
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Practical extensions for task models
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Model-based training: an approach supporting operability of critical interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Formal tasks and systems models as a tool for specifying and assessing automation designs
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Using complementary models-based approaches for representing and analysing ATM systems' variability
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Improving support for visual task modelling
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Model-based dynamic distribution of user interfaces of critical interactive systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Proceedings of the 31st European Conference on Cognitive Ergonomics
Extending the information of activity diagrams with a user input classification
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Characterizing incidents reporting systems across applications domains
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
International Journal of Human-Computer Studies
An approach for supporting distributed user interface orchestration over the Web
International Journal of Human-Computer Studies
Adding semantic modules to improve goal-oriented analysis of data warehouses using I-star
Journal of Systems and Software
Hi-index | 0.00 |
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.