Modelling collaborative workflows using recursive ECATNets
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Improved model management with aggregated business process models
Data & Knowledge Engineering
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
Web Services and Formal Methods
Synthesis and Composition of Web Services
Formal Methods for Web Services
Towards analysis of flexible and collaborative workflow using recursive ECATNets
BPM'07 Proceedings of the 2007 international conference on Business process management
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
View driven inter-organisational workflows
International Journal of Intelligent Information and Database Systems
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Hi-index | 0.00 |
In this paper, we present a top down approach for integrated process modelling and distributed process execution. The integrated process model can be utilized for global monitoring and visualization and distributed process models for local execution. Our main focus in this paper is the presentation of the approach to support automatic generation and linking of distributed process models from an integrated process definition.