Distributed and Parallel Databases

, Volume 23, Issue 1, pp 1–44

Self-adapting recovery nets for policy-driven exception handling in business processes

  • Rachid Hamadi
  • Boualem Benatallah
  • Brahim Medjahed
Article

Abstract

In this paper, we propose Self-Adapting Recovery Net (SARN), an extended Petri net model, for specifying exceptional behavior in business processes. SARN adapts the structure of the underlying Petri net at run time to handle exceptions while keeping the Petri net design easy. The proposed framework caters for the specification of high-level recovery policies that are incorporated either with a single task or a set of tasks, called a Recovery Region. These recovery policies are generic directives that model exceptions at design time together with a set of primitive operations used at run time to handle the occurrence of exceptions. We identified a set of recovery policies that are useful and commonly needed in many practical situations. A tool has been developed to illustrate the viability of the proposed exception handling technique.

Keywords

Self-adapting recovery net (SARN) Exception handling Task-based recovery Region-based recovery Business processes Petri nets 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Günthör, R., Mohan, C.: Advanced transaction models in workflow contexts. In: Proceedings of the 12th International Conference on Data Engineering (ICDE’96), New Orleans, USA, February 1996. IEEE Computer Society, Los Alamitos (1996) Google Scholar
  2. 2.
    Benatallah, B., Casati, F., Toumani, F., Hamadi, R.: Conceptual modeling of web service conversations. In: Proceedings of the 15th International Conference on Advanced Information Systems Engineering (CAiSE’03), Klagenfurt, Austria, June 2003. LNCS, vol. 2681, pp. 449–467. Springer, Berlin (2003) Google Scholar
  3. 3.
    Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri net markup language: concepts, technology, and tools. In: van der Aalst, W., Best, E. (eds.) Proceedings of the 24th International Conference on Application and Theory of Petri Nets (ICATPN’03), Eindhoven, The Netherlands, June 2003. LNCS, vol. 2679, pp. 483–505. Springer, Berlin (2003) CrossRefGoogle Scholar
  4. 4.
    Cabrera, F., Copeland, G., Cox, B., Freund, T., Klein, J., Storey, T., Thatte, S.: Web services transaction (WS-transaction). http://dev2dev.bea.com/techtrack/ws-transaction.jsp, August 2002
  5. 5.
    Cabrera, F., Copeland, G., Freund, T., Klein, J., Langworthy, D., Orchard, D., Shewchuk, J., Storey, T.: Web services coordination (WS-coordination). http://www-106.ibm.com/developerworks/library/ws-coor, August 2002
  6. 6.
    Casati, F., Grefen, P., Pernici, B., Pozzi, G., Sanchez, G.: WIDE workflow model and architecture. Technical Report 96-16, Centre for Telematics and Information Technology (CTIT), University of Twente, The Netherlands (1996) Google Scholar
  7. 7.
    Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng. 24(3), 211–238 (1998) MATHCrossRefGoogle Scholar
  8. 8.
    Chen, Q., Dayal, U.: A transactional nested process management system. In: Proceedings of the 12th International Conference on Data Engineering (ICDE03), New Orleans, USA, February 1996. IEEE Computer Society, Los Alamitos (1996) Google Scholar
  9. 9.
    Chen, Q., Dayal, U.: Failure handling for transaction hierarchies. In: Proceedings of the 12th International Conference on Data Engineering (ICDE’96), Birmingham, UK, April 1997. IEEE Computer Society, Los Alamitos (1997) Google Scholar
  10. 10.
    Chen, Q., Dayal, U.: Multi-agent cooperative transactions for E-commerce. In: Proceedings of the 7th International Conference on Cooperative Information Systems (CoopIS’00), Eilat, Israel, September 2000. LNCS, vol. 1901. Springer, Berlin (2000) Google Scholar
  11. 11.
    Chrzastowski-Wachtel, P., Benatallah, B., Hamadi, R., O’Dell, M., Susanto, A.: A top-down Petri net-based approach for dynamic workflow modeling. In: Proceedings of the International Conference on Business Process Management (BPM’03), Eindhoven, The Netherlands, June 2003. LNCS, vol. 2678, pp. 336–353. Springer, Berlin (2003) Google Scholar
  12. 12.
    Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business process execution language for web services (BPEL4WS). http://dev2dev.bea.com/techtrack/BPEL4WS.jsp, August 2002
  13. 13.
    Dayal, U., Hsu, M., Ladin, R.: A transactional model for long-running activities. In: Proceedings of the 17th Very Large Data Base Conference (VLDB’91), Barcelona, Spain, September 1991 Google Scholar
  14. 14.
    Dayal, U., Hsu, M., Ladin, R.: Business process coordination: state of the art, trends, and open issues. In: Proceedings of the 27th Very Large Data Base Conference (VLDB’01), Rome, Italy, September 2001 Google Scholar
  15. 15.
    Eder, J., Liebhart, W.: The workflow activity model WAMO. In: Proceedings of the 3rd International Conference on Cooperative Information Systems (CoopIS’95), Vienna, Austria, May 1995, pp. 87–98 Google Scholar
  16. 16.
    Ellis, C.A., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proceedings of the Conference on Organizational Computing Systems (COOCS’95), Milpitas, USA, August 1995, pp. 10–21. ACM Press, New York (1995) CrossRefGoogle Scholar
  17. 17.
    Elmagarmid, A.K.: Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo (1992) Google Scholar
  18. 18.
    Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the ACM SIGMOD, San Francisco, USA, 1987 Google Scholar
  19. 19.
    Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Comput. 37(10), 46–54 (2004) Google Scholar
  20. 20.
    Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 1995 Google Scholar
  21. 21.
    Georgakopoulos, D., Schuster, H., Cichocki, A., Baker, D.: Managing process and service fusion in virtual enterprises. Inf. Syst. Spec. Issue Inf. Syst. Support Electron. Commer. 24(6), 429–456 (1999) Google Scholar
  22. 22.
    Godart, C., Canals, G., Charoy, F., Molli, P., Skaf, H.: Designing and implementing COO: design process, architectural style, lessons learned. In: Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, 1996, pp. 342–352. IEEE Computer Society, Los Alamitos (1996) CrossRefGoogle Scholar
  23. 23.
    Grefen, P., Vonk, J., Boertjes, E., Apers, P.: Two-layer transaction management for workflow management applications. In: Proceedings of the 8th International Conference on Database and Expert Systems Applications (DEXA’97), Toulouse, France, September 1997 Google Scholar
  24. 24.
    Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Softw. Eng. (TSE) 26(10), 943–958 (2000) CrossRefGoogle Scholar
  25. 25.
    Hamadi, R.: Formal composition and recovery policies in service-based business processes. PhD thesis, The University of New South Wales, Sydney, Australia (2005) Google Scholar
  26. 26.
    Hamadi, R., Benatallah, B.: Recovery nets: towards self-adaptive workfow systems. In: Proceedings of the 5th International Conference on Web Information Systems Engineering (WISE’04), Brisbane, Australia, November 2004. LNCS, vol. 3306, pp. 439–453. Springer, Berlin (2004) Google Scholar
  27. 27.
    Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987) MATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293–333 (1996) CrossRefGoogle Scholar
  29. 29.
    Jajodia, S., Kerschberg, L.: Advanced Transaction Models and Architectures. Kluwer Academic, Dordrecht (1997) MATHGoogle Scholar
  30. 30.
    Joeris, G., Herzog, O.: Managing evolving workflow specifications. In: Proceedings of the 3rd Conference on Cooperative Information Systems (CoopIS’98), New York, USA, August 1998 Google Scholar
  31. 31.
    Kamath, M., Ramamritham, K.: Failure handling and coordinated execution of concurrent workflows. In: Proceedings of the 14th International Conference on Data Engineering (ICDE’98), Florida, USA, February 1998. IEEE Computer Society, Los Alamitos (1998) Google Scholar
  32. 32.
    Klingemann, J.: Controlled flexibility in workflow management. In: Proceedings of the 12th Conference on Advanced Information Systems Engineering (CAiSE’00), Stockholm, Sweden, June 2000 Google Scholar
  33. 33.
    Krishnamoorthy, V., Shan, M.-C.: Virtual transaction model to support workflow applications. In: Proceedings of the 2000 ACM Symposium on Applied Computing (SAC’00), Como, Italy, March 2000. IEEE Computer Society, Los Alamitos (2000) Google Scholar
  34. 34.
    Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Datenbanksysteme in Buro, Technik und Wissenschaft, pp. 51–70 (1995) Google Scholar
  35. 35.
    Medjahed, B., Benatallah, B., Bouguettaya, A., Ngu, A.H.H., Elmagarmid, A.K.: Business-to-business interactions: issues and enabling technologies. VLDB J. 12(1), 59–85 (2003) CrossRefGoogle Scholar
  36. 36.
    Moss, J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge (1985) Google Scholar
  37. 37.
    OASIS Committee Specification. Business Transaction Protocol, version 1.0 (June 2002) Google Scholar
  38. 38.
    Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: a tool for automated analysis of BPEL processes. In: Proceedings of the Third International Conference on Service-Oriented Computing (ICSOC’05), Berlin, Germany, December 2005. LNCS, vol. 3826, pp. 484–489. Springer, Berlin (2005) Google Scholar
  39. 39.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981) Google Scholar
  40. 40.
    Petri, C.A.: Kommunikation mit automaten. PhD thesis, University of Bonn, Germany (1962) (in German) Google Scholar
  41. 41.
    Reichert, M., Dadam, P.: ADEPT flex: supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10(2), 93–129 (1998) CrossRefGoogle Scholar
  42. 42.
    Reuter, A., Schneider, K., Schwenkreis, F.: ConTracts revisited. In: Jajodia, S., Kerschberg, L. (eds.) Advanced Transaction Models and Architectures. Kluwer Academic, Dordrecht (1997) Google Scholar
  43. 43.
    Stahl, C., Hinz, S., Schmidt, K.: Transforming BPEL to Petri nets. In: Proceedings of the Third International Conference on Business Process Management (BPM’05), Nancy, France, September 2005. LNCS, vol. 3649, pp. 220–235. Springer, Berlin (2005) Google Scholar
  44. 44.
    Wächter, H., Reuter, A.: The ConTract model. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications, pp. 219–264. Morgan Kaufmann, San Mateo (1992) Google Scholar
  45. 45.
    Weikum, G., Schek, H.J.: Concepts and applications of multilevel transactions and open nested transactions. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo (1992) Google Scholar
  46. 46.
    WfMC. Workflow management coalition, terminology and glossary. Document Number WFMC-TC-1011, February 1999. http://www.wfmc.org/standards/docs.htm/

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Rachid Hamadi
    • 1
  • Boualem Benatallah
    • 1
  • Brahim Medjahed
    • 2
  1. 1.School of Computer Science and EngineeringThe University of New South WalesSydneyAustralia
  2. 2.Department of Computer and Information ScienceUniversity of MichiganDearbornUSA

Personalised recommendations