DYNAMITE: dynamic task nets for software process management
Proceedings of the 18th international conference on Software engineering
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Production workflow: concepts and techniques
Production workflow: concepts and techniques
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Automatic Replanning of Task Networks for Process Model Evolution in EPOS
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
WIDE-a distributed architecture for workflow management
RIDE '97 Proceedings of the 7th International Workshop on Research Issues in Data Engineering (RIDE '97) High Performance Database Management for Large-Scale Applications
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Optimal Adaptation in Web Processes with Coordination Constraints
ICWS '06 Proceedings of the IEEE International Conference on Web Services
MOBIDIS: A Pervasive Architecture for Emergency Management
WETICE '06 Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
A Bayesian Approach for Disconnection Management in Mobile Ad Hoc Networks
WETICE '07 Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
On-line adaptation of sequential mobile processes running concurrently
Proceedings of the 2009 ACM symposium on Applied Computing
Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Collaborative coordination of activities with temporal dependencies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
A dynamic framework for multi-view task modeling
Proceedings of the 9th ACM SIGCHI Italian Chapter International Conference on Computer-Human Interaction: Facing Complexity
Process-aware information systems for emergency management
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Belief management for high-level robot programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Automated runtime repair of business processes
Information Systems
Hi-index | 0.00 |
Nowadays, process management systems can be used notonly in classical business scenarios, but also in highly mobile and dynamicsituations, e.g., in supporting operators during emergency managementin order to coordinate their activities. In such challenging situations,processes should be adapted, in order to cope with anomalous situations,including connection anomalies and task faults. In this paper, we presenta general approach, based on execution monitoring, which is (i) practical,by relying on well-established planning techniques, and (ii) does notrequire the definition of the adaptation strategy in the process itself(as most of the current approaches do). We prove the correctness andcompleteness of the approach.