The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
YAWL: yet another workflow language
Information Systems
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Supporting Flexible Processes through Recommendations Based on History
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Workflow simulation for operational decision support
Data & Knowledge Engineering
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
ADEPT workflow management system: flexible support for enterprise-wide business processes
BPM'03 Proceedings of the 2003 international conference on Business process management
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Proceedings of the 5th ACM international conference on Distributed event-based system
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
| Hi-index | 0.00 |
Declarative process models support process flexibility, whose importance has been widely recognized, particularly for organizations that face frequent changes and variable stimuli from their environment. However, the currently dominant declarative approaches lack expressiveness for addressing the process context namely, environment effects and leading its execution towards a goal. This paper proposes a declarative model which addresses activities as well as states, external events, and goals. The model is based on the Generic Process Model GPM, extended by a notion of activity, which includes a state change aspect and an intentional aspect. The achievement of the intention of an activity may depend on events in the environment and is hence not certain. The paper provides a formalization of the model and describes an execution mechanism. It emphasizes the usefulness of specifying the intentional aspect of activities, by using it as a basis for semantic validation of the model at design time and for a planning module that can guide execution at runtime. These are illustrated by an example from the medical domain.