Adaptive process management in highly dynamic and pervasive scenarios

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 2, Issue , 2009, Pages 83-97

  De Leoni, Massimiliano ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

COOPERATIVE PROCESS; EMERGENCY SITUATION; EXECUTION ENVIRONMENTS; PERVASIVE HEALTHCARE; PROCESS MANAGEMENT SYSTEMS; SITUATION CALCULUS; SOUND AND COMPLETE; THEORETICAL FRAMEWORK;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 85015585961     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.2.7     Document Type: Conference Paper

References (14)

1. K. Andresen & N. Gronau (2005): An Approach to Increase Adaptability in ERP Systems. In: Managing Modern Organizations with Information Technology: Proceedings of the Information Resources Management Association International Conference. Idea Group Publishing, pp. 883-885.
2. G. De Giacomo, R. Reiter & M. Soutchanski (1998): Execution Monitoring of High-Level Robot Programs. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98). pp. 453-465.
3. M. Fox & D. Long (2006): ModellingMixed Discrete-ContinuousDomains for Planning. Journal of Artificial Intelligence Research 27, pp. 235-297.
4. M. Ghallab, D. Nau & P. Traverso (2004): Automated Planning: Theory and Practice. Morgan Kaufmann Publishers.
5. J. Hidders, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede & J. Verelst (2005): When are two workflows the same? In: Proceedings of the Australasian symposium on Theory of computing (CATS'05). Australian Computer Society, Inc., pp. 3-11.
6. S.R. Humayoun, T. Catarci, M. de Leoni, A. Marrella, M. Mecella, M. Bortenschlager & R. Steinmann (2009): The WORKPAD User Interface and Methodology: Developing Smart and Effective Mobile Applications for Emergency Operators. In: Proceedings of the 13th International Conference on Human-Computer Interaction (HCI'09). Springer. To appear.
7. B. Kiepuszewski, A.H.M. ter Hofstede & C. Bussler (2000): On Structured Workflow Modelling. In: Proceedings of the 12th International Conference on Advanced Information Systems Engineering (CAiSE'00). Springer-Verlag, London, UK, pp. 431-445.
8. R.A. Kowalski (1995): Using meta-logic to reconcile reactive with rational agents. Meta-logics and logic programming, pp. 227-242.
9. M. de Leoni, Massimo M. & G. De Giacomo (2007): Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. In: Proceedings of the 5th Internation Conference on Business Process Management (BPM'07), Lecture Notes in Computer Science 4714. Springer, pp. 182-197.
10. M. de Leoni, M.Mecella & R. Russo (2007): A Bayesian Approach for DisconnectionManagement in Mobile Ad Hoc Networks. In: Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'07). IEEE Computer Society, Washington, DC, USA, pp. 62-67.
11. M. de Leoni (2009): Adaptive Process Management in Highly Dynamic and Pervasive Scenarios. Computer Engineering, SAPIENZA - Universitá di Roma. Draft Downloadable at http://www.dis.uniroma1.it/ ~deleoni/documents/PhD.pdf.
12. R. Milner (1980): A Calculus of Communicating Systems, Lecture Notes in Computer Science 92. Springer.
13. R. Reiter (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
14. S. Sardina, G. De Giacomo, Y. Lespérance & H.J. Levesque (2004): On the Semantics of Deliberation in Indigolog-from Theory to Implementation. Annals of Mathematics and Artificial Intelligence 41(2-4), pp. 259-299.