AGENTWORK: A workflow system supporting rule-based workflow adaptation

Data and Knowledge Engineering

Volumn 51, Issue 2, 2004, Pages 223-256

  Müller, Robert ^a   Greiner, Ulrike ^a   Rahm, Erhard ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Active rules; Adaptive systems; Agents; Temporal logics; Workflow management

Indexed keywords

ACTIVE RULES; TEMPORAL LOGICS; WORKFLOW MANAGEMENT;

AUTOMATION; CHEMOTHERAPY; CODES (SYMBOLS); FORMAL LOGIC; LOGIC PROGRAMMING; MEDICAL APPLICATIONS;

ADAPTIVE CONTROL SYSTEMS;

EID: 4344689453     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2004.03.010     Document Type: Article

References (55)

1. Adam N.R., Atluri V., Huang W.-K. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems. 10(2):1998;131-158.
2. Alonso G., Mohan C. WFMS: the next generation of distributed processing tools. Jajodia S., Kerschberg L. Advanced Transaction Models and Architectures. 1997;35-62 Kluwer, Dordrecht.
3. Atluri V., Huang W.-K., Bertino E. A semantic based execution model for multilevel secure workflows. Journal of Computer Security. 8(1):2000;3-41.
4. Baker S. CORBA distributed objects. 1997;Addison Wesley, Reading, MA.
5. Beckstein C., Klausner J. A meta level architecture for workflow management. Journal of Integrated Design and Process Science. 3(1):1999;15-26.
6. J. Benthem, Temporal logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming, Epistemic and Temporal Reasoning, vol. 4, Oxford University Press, Oxford, UK, 1995.
7. Casati F., Ceri S., Paraboschi S., Pozzi G. Specification and implementation of exceptions in workflow management systems. ACM TODS. 24:1999;405-451.
8. S. Chakravarthy, V. Krishnaprasad, E. Anwar, S.-K. Kim, Composite events for active databases: semantics contexts and detection, in: Proc. VLDB'94, Morgan Kaufmann, Los Altos, 1994, pp. 606-617.
9. Chiu D.K.W., Li Q., Karlapalem K. Web interface-driven cooperative exception handling in ADOME workflow management system. Information Systems. 26:2001;93-120.
10. D.K.W. Chiu, A three-layer model for workflow semantic recovery in an object-oriented environment, in: Proceedings of ER 2001, Lecture Notes in Computer Science, vol. 2224, Springer, Berlin, 2001 pp. 541-554.
11. Chomicki J., Saake G. Logics for databases and information systems. 1998;Kluwer, New York.
12. Chomicki J., Toman D. Temporal logic in information systems. Chomicki J., Saake G. Logics for Databases and Information Systems. 1998;31-70 Kluwer, New York.
13. P. Dadam, M. Reichert, K. Kuhn, Clinical workflows - the killer application for process-oriented information systems? in: Proceedings of the International Conference on Business Information Systems, Springer, Berlin, 2000, pp. 36-59.
14. Dechter R., Meiri I., Pearl J. Temporal constraint networks. Journal of Artificial Intelligence. 49:1991;61-95.
15. S.M. Deen, Cooperating agents for holonic manufacturing, in: Proceedings of the Multi-Agent-Systems and Applications, 2001, pp. 119-136.
16. Eder J., Panagos E., Rabinovich M. Time constraints in workflow systems. Proceedings of the CAiSE 1999. 1999;286-300 Springer, Berlin.
17. Ehud Gudes E., Olivier M.S., van de Riet R.P. Modeling, specifying and implementing workflow security in cyberspace. Journal of Computer Security. 7(4):1999.
18. C.A. Ellis, K. Keddara, W. Wainer, Modeling workflow dynamic changes using timed hybrid flow nets, in: Proceedings of the ICATPN, 1998, pp. 109-128.
19. Franconi E. Description logics for natural language processing. Baader F., McGuinness D.L., Nardi D., Patel-Schneider P.F. Description Logics Handbook. 2002;Cambridge University Press, Cambridge.
20. Frohn F., Himmeröder R., Kandzia P.-Th., Lausen G., Schlepphorst C. FLORID - a prototype for F-Logic. Proceedings of the 7th Bi-Annual German Database Conference (BTW'97). 1997;100-117 Springer, Berlin.
21. Georgakopoulos D., Hornick M., Sheth A. An overview of workflow management: from process modeling to infrastructure for automation. Journal on Distributed and Parallel Database Systems. 3:1995;119-153.
22. Giblin G., Lam R. Programming workflow applications with Domino. 2000;R&D Publications.
23. Grefen P.W.P.J., Vonk J., Apers P.M.G. Global transaction support for workflow management systems: from formal specification to practical implementation. VLDB Journal. 10(4):2001;316-333.
24. Hammond K.J. Explaining and repairing plans that fail. Artificial Intelligence. 45:1990;173-228.
25. K. Havemann, H. Köppler, U. Haag, Integratives Konzept zur Behandlung Hoch-Maligner Non-Hodgkin-Lymphome. Studie A, Marburg, Germany, 1994.
26. IABG, Reference manuals of ProMInanD, IABG Company, Munich, 1999.
27. InterSystems Corporation, Ensemble. Available from < http://www.intersystems.com/ensemble/index.html >.
28. Jennings N.R., Faratin P., Norman T.J., O'Brien P., Odgers B. Autonomous agents for business process management. International Journal of Applied Artificial Intelligence. 14(2):2000;145-189.
29. Kafeza E., Karlapalem K. Temporally constrained workflows. Proceedings of the ICSC 1999. Lecture Notes in Computer Science. vol. 1749:1999;246-255 Springer, Berlin.
30. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. Journal of the ACM. 42:1995;741-843.
31. Kiepuszewski B., ter Hofstede A.H.M., Bussler C. On structured workflow modeling. Proceedings of the CAiSE'2000. Lecture Notes in Computer Science. vol. 1789:2000;431-445 Springer, Berlin.
32. Klein M., Dellarocas C. A knowledge-based approach to handling exceptions in workflow systems. Journal of Computer-Supported Collaborative Work. 9(3/4):2000;399-412.
33. Lazcano A., Schuldt H., Alonso G., Schek H.-J. WISE: process based e-commerce. IEEE Data Engineering Bulletin. 24(1):2000;46-51.
34. C. Liu, R. Conradi, Automatic replanning of task networks for process model evolution in EPOS, in: Proceedings of the ESEC'93, 1993, pp. 434-450.
35. Liu L., Pu C. Methodical restructuring of complex workflow activities. Proceedings of the ICDE 1998. 1998;342-350 IEEE Computer Society Press, Silver Spring, MD.
36. Manna Z., Pnueli A. The temporal logic of reactive and concurrent systems. 1992;Springer, Berlin.
37. Marjanovic O., Orlowska M.E. On modeling and verification of temporal constraints in production workflows. Knowledge and Information Systems. 1:1999;157-192.
38. Motakis I., Zaniolo C. Temporal aggregation in active database rule. Proceedings of the SIGMOD 1997. SIGMOD Record. 26(2):1997;440-451.
39. R. Müller, Event-oriented dynamic adaptation of workflows, Ph.D. Thesis, Department of Computer Science, University of Leipzig, 2002.
40. R. Müller, B. Heller, A petri net-based model for knowledge-based workflows in distributed cancer therapy, in: Proceedings of the EDBT'98 Workshop on Workflow Management Systems, 1998, pp. 91-99.
41. Muller R., Rahm E. Dealing with logical failures for collaborating workflows. Proceedings of the CoopIS 2000 Lecture Notes in Computer Science. Proceedings of the CoopIS 2000 Lecture Notes in Computer Science. vol. 1901:2000;210-223 Springer, Berlin.
42. K. Myers, Towards a framework for continuous planning and execution, in: Proceedings of the AAAI Symposium on Distributed Continual Planning, 1998.
43. K. Nagi, J. Nims, P.C. Lockemann, Transactional support for cooperation in multiagent-based information systems, in: Proceedings of vertIS2001, 2001, pp. 177-191.
44. Paton N. Active Rules in Database Systems. 1999;Springer, Berlin.
45. flex - supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems. 10:1998;93-129.
46. Remedy Corporation, Action request system 4.0 reference manuals, Remedy Corporation, 2000.
47. Sadiq S.W., Sadiq W., Orlowska M.E. Pockets of flexibility in workflow specification. Proceedings of the ER 2001. Lecture Notes in Computer Science. vol. 2224:2001;513-526 Springer, Berlin.
48. Sarin S.K. Workflow and data management in InConcert. Proceedings of the Twelfth International Conference on Data Engineering ICDE 1996. 1996;497-499 IEEE Computer Society, Silver Spring, MD.
49. Sheth A., Kochut K., et al. Supporting state-wide immunization tracking using multi-paradigm workflow technology. Proceedings of the VLDB 1996. 1996;263-273 Morgan Kaufmann, Los Altos.
50. Singh M.P., Huhns M.N. Automating workflows for service order processing, integrating AI and database technologies. IEEE Expert. 9(5):1994.
51. M. Voorhoeve, W. van der Aalst, Ad-hoc workflow: problems and solutions, in: Proceedings of the 8th DEXA, 1997, p. 3641.
52. de Vries W., de Boer F.S., van der Hoek W., Meyer J.-J.Ch. A truly concurrent model for interacting agents. Proceedings of PRIMA 2001. Lecture Notes in Computer Science. vol. 2132:2001;16-30 Springer, Berlin.
53. Wächter H., Reuter A. The ConTract model. Elmagarmid A.K. Database Transaction Models for Advanced Applications. 1992;219-263 Morgan Kaufmann, Los Altos, CA.
54. Worah D., Sheth A. Transactions in transactional workflows. Jajodia S., Kerschberg L. Advanced Transaction Models and Architectures. 1997;3-34 Kluwer, Dordrecht.
55. T. Zhou, L. Liu, C. Pu, TAM: a system for dynamic transactional activity management, in: Proceedings of the SIGMOD Conference 1999, 1999, pp. 571-573.