Terminability and compensatibility of cycles in business processes with a process-oriented trigger

Data and Knowledge Engineering

Volumn 66, Issue 2, 2008, Pages 243-263

  Choi, Injun ^a   Jung, Jisoo ^a   Mannino, Michael ^b   Park, Chulsoon ^c  

^a Pohang University of Science and Technology (POSTECH)   (South Korea)

^b UNIVERSITY OF COLORADO   (United States)

^c Changwon National University   (South Korea)

Author keywords

Business process management; Compensation; Termination; Transactional workflow; Trigger

Indexed keywords

CLASSIFICATION (OF INFORMATION); DECENTRALIZED CONTROL; GRAPH THEORY; PROCESS ENGINEERING;

(I ,J) CONDITIONS; BUSINESS CONSTRAINTS; BUSINESS PROCESSES (BP); BUSINESS PROCESSING; CYCLE ANALYSIS; ELSEVIER (CO); PROCESS-ORIENTED; RESOURCE USAGE;

PAPER;

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

References (45)

1. Bonifati A., Ceri S., and Paraboschi S. Active rules for XML: a new paradigm for E-services. VLDB Journal 10 1 (2001) 39-47
2. A.Unruh, J. Bailey, K. Ramamohanarao, A framework for goal-based semantic compensation in agent systems, in: First International Workshop on Safety and Security in Multi-Agent Systems, AAMAS'04, 2004.
3. Pernici B., and Weske M. Business process management. Data and Knowledge Engineering 56 1 (2006) 1-3
4. Hagen C., and Alonso G. Exception handling in workflow management systems. IEEE Transactions on Software Engineering 26 10 (2000) 943-958
5. Ouyang C., van der Aalst W.M.P., Breutel S., Dumas M., ter Hofstede A.H.M., and Verbeek H.M.W. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming 67 2-3 (2007) 162-198
6. Mohan C., Agrawal D., Alonso G., Abbadi A., Gunthor R., and Kamath M. Exotica: a project on advanced transaction management and workflow systems. ACM SIGOIS Bulletin 16 1 (1995) 19-26
7. Park C., and Choi I. Management of business process constraints using a process-oriented trigger model. Computers in Industry 55 1 (2004) 29-51
8. D. Weimin, J. Davis, M. Shan, Flexible specification of workflow compensation scopes, in: Proc. ACM GROUP'97 Phoenix, AZ, 1997, pp. 309-316.
9. D. Worah, A. Sheth, K. Kochut, J. Miller, An error handling framework for ORBWork workflow enactment service of METEOR, Technical Report, LSDIS Lab. Department of Computer Science, University of Georgia, July, 1997.
10. Baralis E., and Widom J. An algebraic approach to static analysis of active database rules. ACM Transactions on Database Systems 25 3 (2000) 269-332
11. E. Godard, Y. Métivier, M. Mosbah, A. Sellami, Termination detection of distributed algorithms by graph relabelling systems, in: Proceedings of the First International Conference on Graph Transformation, Barcelona, Spain, October 7-12 (LNCS 2505), 2002, pp. 106-119.
12. Kindler E. On the semantics of EPCs: resolving the vicious circle 56 1 (2006) 23-40
13. F. Curbera, R. Khalaf, F. Leymann, S. Weerawarana, Exception handling in the BPEL4WS Language, in: Proceedings of the International Conference on Business Process Management 2003, Eindhoven, The Netherlands, June 26-27, LNCS 2678, 2003, pp. 276-290.
14. Lin H., Zhao Z., Li H., and Chen Z. A novel graph reduction algorithm to identify structural conflicts. Proceedings 35th Hawaii International Conference on Syst. Sci. (2002), IEEE Computer Society Press 536 540, 541, 546, 548, 550
15. Choi I., Park C., and Lee C. Task-Net: transactional workflow model based on colored petri net. European Journal of Operational Research 136 2 (2002) 383-402
16. Choi I., Song M., Park C., and Park N. An XML-based process definition language for integrated process management. Computers in Industry 50 1 (2003) 85-102
17. Choi I., Jung H., Song M., and Ryu Y.U. IPM-EPDL: an XML-based executable process definition language. Computers in Industry 56 1 (2005) 85-104
18. J. Jung, Michael M. Mannino, C. Park, I. Choi, M. Song, A backward recovery mechanism for workflow management, in: Proceedings 14th Annual Workshop on Information Tech. and Syst., Washington DC, 2004.
19. J. Jung, An Advanced Backward Recovery Scheme with Analysis for Terminability and Compensatibility of Business Process, Ph.D. Thesis, Department of Industrial and Management Engineering, Pohang University of Science and Technology, 2005.
20. J. Mendling, W.M.P. van der Aalst, Formalization and verification of EPCs with OR-joins based on state and context, in: J. Krogstie, A.L. Opdahl, G. Sindre (Eds.), Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CaiSE 2007), 11-15 June 2007, Trondheim, Norway LNCS, vol. 4495, 2007, pp. 439-453.
21. Baresi L., and Pezze M. From Graph Transformation to Software Engineering and Back. LNCS vol. 3393 (2005), Springer, Berlin pp. 24-37
22. Genesereth M., and Nilsson N. Logical Foundations of Artificial Intelligence (1987), Morgan Kaufmann Publishers, Inc.
23. M. Kamath, K. Ramamritham, Failure handling and coordinated execution of concurrent workflows, in: Proceedings 14th International Conference on Data Engineering'98, Orlando, 1998, pp. 334-341.
24. M. Lowe, M. Beyer, AGG - an implementation of algebraic graph rewriting, in: Proceedings of the Fifth International Conference on Rewriting Techniques and Applications, Montreal, Canada, June, June 16-18, LNCS 690, pp. 451-456.
25. Orlowska M.E., and Sadiq S. Collaborative business process technologies. Data and Knowledge Engineering 52 1 (2005) 1-3
26. Weske M., van der Aalst W.M.P., and Verbeek H.M.W. Advances in business process management. Data and Knowledge Engineering 50 1 (2004) 1-8
27. Krivokapic N., Kemper A., and Gudes E. Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis. VLDB Journal 8 2 (1999) 79-100
28. Diaz O. Driving rules for constraint maintenance in an object-oriented database. Proceedings of the International Conference on Database and Expert Systems. Tjoa ed. (1992), Springer 332-337
29. Bernstein P.A., and Newcomer E. Principles of Transaction Processing (1997), Morgan Kaufmann, San Mateo
30. Ceri S., Gottlob G., and Tanca L. Logic Programming and Databases (1990), Springer-Verlag, Berlin
31. Ceri S., and Widom J. Deriving incremental production rules for deductive data. Information Systems 19 6 (1994) 467-490
32. S. Ceri, R.J. Cochrane, J. Widom, Practical applications of triggers and constraints: successes and lingering issues, in: Proceedings of 26th International Conference on Very Large Data Bases, Cairo, 2000, pp. 285-296.
33. Dustdar S., Fiadeiro J., and Sheth A. Business process management. Data and Knowledge Engineering 64 1 (2008) 1-2
34. S. Hinz, K. Schmidt, C. Stahl, Transforming BPEL to Petri Nets, in: Proceedings International Conference on Business Process Management 2005, Nancy, France, September 5-8, 2005, LNCS 3649, 2005, pp. 220-235.
35. T. Knoop, The Sybase SQL Server Technical Publications Group, Sybase SQL Server 11.0x Technical Overview. .
36. WfMC, Interface 1: Process Definition Interchange Organizational Model, WFMC-TC-1016-O, The Workflow Management Coalition, 1998.
37. WfMC, Workflow Management Coalition: Terminology and Glossary, WFMC-TC-1011, Issue 3.0, The Workflow Management Coalition, 1999.
38. Sadiq W., and Orlowska M.E. Analyzing process models using graph reduction techniques. Information Systems 25 2 (2000) 117-134
39. W.M.P. van der Aalst, Three good reasons for using a petri-net-based workflow management system, in: Proceedings of the International Working Conference on Information and Process Integration in Enterprises, Cambridge, 1996, pp. 179-201.
40. W.M.P. van der Aalst, H.M.W. Verbeek, A. Kumar, XRL/Woflan: verification of an XML/Petri-net based language for inter-organizational workflows, in: Proceedings of the Sixth Informs Conference on Information Systems and Technology, Linthicum, 2001, pp. 30-45.
41. van der Aalst W.M.P., and ter Hofstede A.H.M. YAWL: yet another workflow language. Information Systems 30 4 (2005) 245-275
42. van der Aalst W.M.P., ter Hofstede A.H.M., and Weske M. Business process management: a survey. International Conference on Business Process Management LNCS 2678 (2001), Springer, Berlin 1-12
43. van der Aalst W.M.P., Weskeand M., and Grunbauer D. Case handling: a new paradigm for business process support. Data and Knowledge Engineering 53 2 (2005) 129-162
44. W.M.P. van der Aalst, A. Hirnschall, H.M.W. Verbeek, An alternative way to analyze workflow graphs, in: Proceedings of the 14th International Conference on Advance Information System, 2002, pp. 535-552.
45. Y. Breitbart, A. Siberschatz, G. Thomson, Reliable transaction management in a multidatabase system, in: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, New Jersey, 1990, pp. 215-224.