Lotos specifications, their implementations and their tests
Conformance testing methodologies and architectures for OSI protocols
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Handbook of Process Algebra
Stepwise Design with Message Sequence Charts
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Practical extensions for task models
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Task-Based Development Methodology for Collaborative Environments
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Integration of patterns into model-based specifications of smart environments
Proceedings of the 29th Annual European Conference on Cognitive Ergonomics
Hi-index | 0.00 |
In model-based user interface (UI) development task models are successively refined into more detailed task specifications. To ensure that analysis information is correctly translated into requirements and design artifacts it is important to verify that for each transformation step the derived task model is a valid refinement of its base specification. In this paper we present a versatile refinement relation between task models based on the principle of mandatory scenario equivalence. Which scenarios are mandatory is determined by metaoperators. These operators are assigned to tasks by the requirements engineer depending on the role of the task model in the development lifecycle.