On-line adaptation of sequential mobile processes running concurrently

ABSTRACT

Process Management Systems (PMSs) are nowadays more and more used as a supporting tool for cooperative processes in pervasive and highly dynamic situations, such as emergency situations, pervasive healthcare or domotics/home automation. But in all such situations, designed processes can be easily invalidated since the execution environment may change continuously due to frequent unforeseeable events. In this work we deal with process adaptability, i.e., the ability of the PMS to automatically cope with deviations, and we devise a sound and complete technique suitable for sequential processes running concurrently. The technique is based on a general framework which adopts the Situation Calculus, ConGolog and regression planning as basic elements. The applicability to the challenging scenario of emergency management is also shown.

REFERENCES

• 1: J. Baier and S. McIlraith. On planning with programs that sense. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06), pages 492--502, Lake District, UK, June 2006.
• 2: Giuseppe de Giacomo , Yves Lespérance , Hector J. Levesque, ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence, v.121 n.1-2, p.109-169, Aug. 2000 [doi>10.1016/S0004-3702(00)00031-X]
• 3: G. De Giacomo, R. Reiter, and M. Soutchanski. Execution Monitoring of High-Level Robot Programs. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98, pages 453--465, 1998.
• 4: M. de Leoni. Adaptive Process Management in Pervasive and Highly Dynamic Scenarios. PhD thesis, SAPIENZA - University of Rome, 2009.
• 5: M. de Leoni, M. Mecella, and G. De Giacomo. Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. In In Proceedings of Business Process Management, 5th International Conference, BPM 2007, pages 182--197, 2007.
• 6: Dana Nau , Malik Ghallab , Paolo Traverso, Automated Planning: Theory & Practice, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2004
• 7: Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Christoph Bussler, On Structured Workflow Modelling, Proceedings of the 12th International Conference on Advanced Information Systems Engineering, p.431-445, June 05-09, 2000
• 8: Y. Lesperance and H.-K. Ng. Integrating Planning into Reactive High-level Robot Programs. In Proceedings of the 2nd International Cognitive Robotics Workshop, 2000.
• 9: B.S. Manoj , Alexandra Hubenko Baker, Communication challenges in emergency response, Communications of the ACM, v.50 n.3, March 2007 [doi>10.1145/1226736.1226765]
• 10: Massimo Mecella, Adaptive Process Management. Issues and (Some) Solutions, Proceedings of the 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, p.227-228, June 23-25, 2008 [doi>10.1109/WETICE.2008.50]
• 11: John L. Pollock, The logical foundations of goal-regression planning in autonomous agents, Artificial Intelligence, v.106 n.2, p.267-334, Dec. 1998 [doi>10.1016/S0004-3702(98)00100-3]
• 12: Knowlege in action: logical foundations for specifying and implementing dynamical systems, MIT Press, Cambridge, MA, 2001

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Validation

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.1 Office Automation
          Subjects: Workflow management

General Terms:
Verification

Keywords:
GOLOG, pervasive scenarios, process management, situation calculus, smart devices