Process modelling, delegation and control in global software development
International Journal of Computer Applications in Technology
Proceedings of the 33rd International Conference on Software Engineering
| Hi-index | 0.00 |
Workflows are composite activities that achieve interoperation of a variety of system and human tasks. Workflows must satisfy subtle domain-specific semantic and organizational requirements. Consequently, flexibility in execution is crucial. We address the problem of scheduling workflows from declarative specifications in terms of intertask dependencies and event attributes. Our approach goes beyond previous approaches in being generic and distributed, and having a rigorous formal semantics. It involves distributed events, which are automatically set up to exchange the necessary messages. Our approach uses symbolic reasoning to (a) determine the initial constraints on events (or guards), (b) preprocess the guards, and (c) execute the events. This approach has been implemented in an actor language.