Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Software for use: a practical guide to the models and methods of usage-centered design
Software for use: a practical guide to the models and methods of usage-centered design
Modelling work: workflow and task modelling
Proceedings of the third international conference on Computer-aided design of user interfaces
Aris-Business Process Modeling
Aris-Business Process Modeling
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Getting SW Engineers on Board: Task Modelling with Activity Diagrams
Engineering Interactive Systems
User interface analysis for groupware applications in the TOUCHE process model
Advances in Engineering Software
Model-based user interface design in the context of workflow models
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Coherent task modeling and execution based on subject-oriented representations
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Hi-index | 0.00 |
This paper discusses approaches for specifying workflows based on task models. These task models represent activities of stakeholders in different ways. It is shown how the development process of workflow specifications can be supported to get hierarchical, structured and sound specifications. Further on, a language CTML is introduced that was developed to specify activities in smart environment. The language has the potential to be used to specify general workflow specifications as well. It is demonstrated how cooperative work can be specified using this language.