SmartPM: An adaptive process management system through situation calculus, IndiGolog, and classical planning

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2014, Pages 518-527

  Marrella, Andrea ^a   Mecella, Massimo ^a   Sardina, Sebastian ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

ADAPTIVE PROCESS MANAGEMENT SYSTEMS; CLASSICAL PLANNING; DOMAIN EXPERTS; KNOWLEDGE INTENSIVE PROCESS; PROCESS INSTANCES; PROCESS MANAGEMENT SYSTEMS; SITUATION CALCULUS; WELL-ESTABLISHED TECHNIQUES;

KNOWLEDGE REPRESENTATION;

EID: 84962097681     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Beckstein, C., and Klausner, J. 1999. A Meta Level Architecture forWorkflow Management. Journal of Integrated Design and Process Science 3(1):15-26.
2. De Giacomo, G.; Lespérance, Y.; Levesque, H.; and Sardina, S. 2009. IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In Multi-Agent Programming. Springer US. 31-72.
3. De Giacomo, G.; Reiter, R.; and Soutchanski, M. 1998. Execution Monitoring of High-Level Robot Programs. In 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 453-465.
4. Di Ciccio, C.; Marrella, A.; and Russo, A. 2012. Knowledge-intensive Processes: An Overview of Contemporary Approaches. In 1st International Workshop on Knowledge-intensive Business Processes (KiBP'12), 33-47.
5. Dumas, M.; van der Aalst, W. M. P.; and ter Hofstede, A. H. M. 2005. Process-aware Information Systems: Bridging People and Software Through Process Technology. Wiley Online Library.
6. Edelkamp, S., and Hoffmann, J. 2004. PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition. Technical report, Albert-Ludwigs-Universität Freiburg, Institut für Informatik.
7. Ferreira, H., and Ferreira, D. 2006. An Integrated Life Cycle forWorkflow Management Based on Learning and Planning. International Journal of Cooperative Information Systems 15(4):485-505.
8. Gajewski, M.; Meyer, H.; Momotko, M.; Schuschel, H.; and Weske, M. 2005. Dynamic Failure Recovery of Generated Workflows. In 16th International Conference on Database and Expert Systems Applications (DEXA'05), 982-986.
9. Geffner, H., and Bonet, B. 2013. A Concise Introduction to Models and Methods for Automated Planning. Morgan & Claypool Publishers.
10. Gerevini, A.; Saetti, A.; and Serina, I. 2003. Planning Through Stochastic Local Search and Temporal Action Graphs in LPG. Journal of Artificial Intelligence Research 20:239-290.
11. Helal, S.; Mann, W.; El-Zabadani, H.; King, J.; Kaddoura, Y.; and Jansen, E. 2005. The Gator-Tech Smart House: A Programmable Pervasive Space. Computer 38(3):50-60.
12. Jarvis, P.; Moore, J.; Stader, J.; Macintosh, A.; du Mont, A. C.; and Chung, P. 1999. Exploiting AI Technologies to Realise Adaptive Workflow Systems. In AAAI Workshop on Agent-Based Systems in the Business Context, 25-34.
13. Lenz, R., and Reichert, M. 2007. IT support for healthcare processes -premises, challenges, perspectives. Data Knowledge Engineering 61(1):39-58.
14. Marrella, A.; Russo, A.; and Mecella, M. 2012. Planlets: Automatically Recovering Dynamic Processes in YAWL. In 20th International Conference on Cooperative Information Systems (CoopIS'12), 268-286.
15. Myers, K., and Berry, P. 1998. Workflow Management Systems: An AI Perspective. AIC-SRI report.
16. Nau, D.; Ghallab, M.; and Traverso, P. 2004. Automated Planning: Theory & Practice. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.
17. Reichert, M., and Weber, B. 2012. Enabling Flexibility in Process-Aware Information Systems -Challenges, Methods, Technologies. Springer.
18. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
19. Sadiq, S. W.; Sadiq, W.; and Orlowska, M. E. 2001. Pockets of Flexibility in Workflow Specification. In 20th International Conference on Conceptual Modeling: Conceptual Modeling (ER'01), 513-526.
20. Selman, B.; Kautz, H. A.; and Cohen, B. 1994. Noise Strategies for Improving Local Search. In 12th National Conference on Artificial Intelligence (AAAI-94), 337-343.
21. van Beest, N.; Kaldeli, E.; Bulanov, P.; Wortmann, J.; and Lazovik, A. 2014. Automated Runtime Repair of Business Processes. Information Systems 39:45-79.
22. van der Aalst, W. M. P.; ter Hofstede, A. H. M.; Kiepuszewski, B.; and Barros, A. P. 2003. Workflow patterns. Distributed Parallel Databases 14(1):5-51.
23. van der Aalst, W. M. P.; ter Hofstede, A. H. M.; and Weske, M. 2003. Business Process Management: A Survey. In 1st International Conference on Business Process Management (BPM'03), 1-12.
24. Weske, M. 2012. Business Process Management: Concepts, Languages, Architectures. Springer.