iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/s10619-007-7020-1
Self-adapting recovery nets for policy-driven exception handling in business processes | Distributed and Parallel Databases Skip to main content
Springer Nature Link
Log in

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

  • Published:
Distributed and Parallel Databases Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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)

  7. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng. 24(3), 211–238 (1998)

    Article  MATH  Google Scholar 

  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. 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. 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. 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. 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. 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

  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

  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

  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)

    Chapter  Google Scholar 

  17. Elmagarmid, A.K.: Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo (1992)

    Google Scholar 

  18. Garcia-Molina, H., Salem, K.: Sagas. In: Proceedings of the ACM SIGMOD, San Francisco, USA, 1987

  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. Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 1995

  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. 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)

    Chapter  Google Scholar 

  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

  24. Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Softw. Eng. (TSE) 26(10), 943–958 (2000)

    Article  Google Scholar 

  25. Hamadi, R.: Formal composition and recovery policies in service-based business processes. PhD thesis, The University of New South Wales, Sydney, Australia (2005)

  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. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  28. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293–333 (1996)

    Article  Google Scholar 

  29. Jajodia, S., Kerschberg, L.: Advanced Transaction Models and Architectures. Kluwer Academic, Dordrecht (1997)

    MATH  Google Scholar 

  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

  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. Klingemann, J.: Controlled flexibility in workflow management. In: Proceedings of the 12th Conference on Advanced Information Systems Engineering (CAiSE’00), Stockholm, Sweden, June 2000

  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. Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Datenbanksysteme in Buro, Technik und Wissenschaft, pp. 51–70 (1995)

  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)

    Article  Google Scholar 

  36. Moss, J.E.B.: Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge (1985)

    Google Scholar 

  37. OASIS Committee Specification. Business Transaction Protocol, version 1.0 (June 2002)

  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. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)

    Google Scholar 

  40. Petri, C.A.: Kommunikation mit automaten. PhD thesis, University of Bonn, Germany (1962) (in German)

  41. Reichert, M., Dadam, P.: ADEPT flex: supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10(2), 93–129 (1998)

    Article  Google Scholar 

  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. 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. 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. 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. WfMC. Workflow management coalition, terminology and glossary. Document Number WFMC-TC-1011, February 1999. http://www.wfmc.org/standards/docs.htm/

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia

    Rachid Hamadi & Boualem Benatallah

  2. Department of Computer and Information Science, University of Michigan, Dearborn, USA

    Brahim Medjahed

Authors
  1. Rachid Hamadi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Boualem Benatallah
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Brahim Medjahed
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rachid Hamadi.

Additional information

B. Medjahed’s work is supported by a grant from the University of Michigan’s OVPR.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hamadi, R., Benatallah, B. & Medjahed, B. Self-adapting recovery nets for policy-driven exception handling in business processes. Distrib Parallel Databases 23, 1–44 (2008). https://doi.org/10.1007/s10619-007-7020-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10619-007-7020-1

Keywords

Search

Navigation