On-line adaptation of sequential mobile processes running concurrently

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1345-1352

  De Leoni, Massimiliano ^a   De Giacomo, Giuseppe ^a   Lespèrance, Yves ^b   Mecella, Massimo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b YORK UNIVERSITY   (Canada)

Author keywords

GOLOG; Pervasive scenarios; Process management; Situation calculus; Smart devices

Indexed keywords

BASIC ELEMENTS; CONGOLOG; COOPERATIVE PROCESS; EMERGENCY MANAGEMENT; EMERGENCY SITUATION; EXECUTION ENVIRONMENTS; MOBILE PROCESS; ON-LINE ADAPTATION; PERVASIVE HEALTHCARE; PROCESS MANAGEMENT; PROCESS MANAGEMENT SYSTEMS; SEQUENTIAL PROCESS; SITUATION CALCULUS; SMART DEVICES; SUPPORTING TOOL;

COMPUTER SCIENCE; MANAGEMENT;

CALCULATIONS;

EID: 72949103453     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529584     Document Type: Conference Paper

References (12)

1. J. Baier and S. McIlraith. On planning with programs that sense. In Proceedings of the 10th Intemational Conference on Principles of Knowledge Representation and Reasoning (KR06), pages 492-502, Lake District, UK, June 2006.
2. G. De Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, A Concurrent Programming Language based on the Situation Calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
3. G. De Giacomo, R. Reiter, and M. Soutchanski. Execution Monitoring of High-Level Robot Programs. In Proceedings of the Sixth Intemational 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 Confer-ence, BPM 2007, pages 182- 197,2007.
6. M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Pmctice. Morgan Kaufmann, 2004.
7. B. Kiepuszewski, A. H. ter Hofstede, and C. Bussler. On structured workflow modelling. In Proceedings of Advanced Information Systems Engineering, 12th Intemational Conference CAiSE 2000, pages 431-445, 2000.
8. Y. Lesperance and H.-K. Ng. Integrating Planning into Reactive High-level Robot Programs. In Proceedings of the 2nd Intemational Cognitive Robotics Workshop, 2000.
9. B. S. Manoj and A. Hubenko Baker. Communication Challenges in Emergency Response. Communincation of ACM, 50(3):51-53, 2007.
10. M. Mecella. Adaptive Process Management. Issues and (Some) Solutions. In Proceedings of the Third IEEE Workshop on Agile Coopemtive Process-Aware Information Systems (ProGility 2008) @ IEEE WETICE'08, 2008.
11. [11 J J. L. Pollock. The logical found ations of goal-regression planning in autonomous agents. Artificial Intelligence, 106(2):267-334, 1998.
12. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.