Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
Computer
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
What business process modelers can learn from programmers
Science of Computer Programming
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
An Integration of Task and Use-Case Meta-models
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Error patterns: systematic investigation of deviations in task models
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
The WebTaskModel approach to web process modelling
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Business process modeling with continuous validation
Journal of Software Maintenance and Evolution: Research and Practice - Best papers from the BPM 2008 Workshops
UML Metamodel-based Workflow Modeling and Execution
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
| Hi-index | 0.00 |
In this paper, we present a formal metamodel-based approach for modeling and executing ConcurTaskTrees (CTT). CTT is a modeling language for tasks that represent hierarchical tree-like, structured workflow models. In the metamodel soundness properties as well as operational semantics of the workflow language are captured. The models are created with an abstract syntax in the UML-based Specification Environment (USE). Thereafter, they can be executed in the same tool by calling operations from the metamodel that are implemented in the Simple OCL-based Imperative Language (SOIL). A plugin for the USE tool has been developed to give an appropriate interface to the user who can test dynamic control flow properties of the models with it.