ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
A case-based reasoning framework for workflow model management
Data & Knowledge Engineering - Special issue: Advances in business process management
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Integrating Databases with Publish/Subscribe
ICDCSW '05 Proceedings of the Fourth International Workshop on Distributed Event-Based Systems (DEBS) (ICDCSW'05) - Volume 04
From BPMN Process Models to BPEL Web Services
ICWS '06 Proceedings of the IEEE International Conference on Web Services
YAWL: yet another workflow language
Information Systems
Integrating planning and scheduling in workflow domains
Expert Systems with Applications: An International Journal
A Meta Level Architecture For Workflow Management
Journal of Integrated Design & Process Science
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Recovery of Concurrent Processes in a Service Composition Environment Using Data Dependencies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
On-line adaptation of sequential mobile processes running concurrently
Proceedings of the 2009 ACM symposium on Applied Computing
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Contingent planning with goal preferences
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A distributed service-oriented architecture for business process execution
ACM Transactions on the Web (TWEB)
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
BIS'07 Proceedings of the 10th international conference on Business information systems
Software adaptation patterns for service-oriented architectures
Proceedings of the 2010 ACM Symposium on Applied Computing
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
Exception Handling for Repair in Service-Based Processes
IEEE Transactions on Software Engineering
Preference-based web service composition: a middle ground between execution and search
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
The LAMA planner: guiding cost-based anytime planning with landmarks
Journal of Artificial Intelligence Research
The evolution of conceptual modeling
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Web service composition with volatile information
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Adaptation of service-based business processes by context-aware replanning
SOCA '11 Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications
Behavioral adaptation of information systems through goal models
Information Systems
Translating PDDL into CSP# - The PAT Approach
ICECCS '12 Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes
ICWS '12 Proceedings of the 2012 IEEE 19th International Conference on Web Services
Coordinating the web of services for a smart home
ACM Transactions on the Web (TWEB)
Dynamic synthesis of local time requirement for service composition
Proceedings of the 2013 International Conference on Software Engineering
Case-based adaptation of workflows
Information Systems
Hi-index | 0.00 |
Concurrent business processes frequently suffer from mutual interference, especially in highly distributed service environments, where resources are shared among different stakeholders. Interference may be caused by supposedly stable case-related data, which are modified externally during process execution and may result in undesirable business outcomes. One way to address this problem is through the specification of dependency scopes, that cover critical parts of the process, and intervention processes, which are triggered at runtime to repair the inconsistencies. However, for complex processes, the manual specification of the appropriate intervention processes at design time can be particularly time-consuming and error-prone, while it is difficult to ensure that all important intervention cases are taken into account. To overcome this limitation, we propose an approach for automating the generation of intervention processes at runtime, by using domain-independent AI planning techniques. This way, intervention processes are composed on the fly, taking into account the characteristics of the business process in execution, the available compensation activities, and the properties that have to be fulfilled to recover from the erroneous situation. A prototype has been implemented and evaluated on a real case study of a business process from the Dutch e-Government.