Process algebra
Applications of process algebra
Applications of process algebra
Task structure semantics through process algebra
Software Engineering Journal
Advanced Transaction Models in Workflow Contexts
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Conceptual Modelling of WorkFlows
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
Contemporary specification languages of workflow management systems focus on capturing process execution semantics. Constructs are offered that allow the specification of sequential execution, iteration, choice, parallelism and synchronisation. While in workflow modelling it is absolutely imperative that exceptions are dealt with properly, virtually no support for the specification of exception handling is offered at the conceptual level. Typically, exceptions and recovery strategies need to be defined using the programming primitives of the specific workflow management systems used. In this paper we propose a number of conceptual modelling primitives that can be used for the specification of exception handling in workflows. These primitives are illustrated using some real-life examples. A formal semantics is assigned to precisely define their meaning and demonstrating how they can be incorporated in a typical process modelling language.