Skip to main content
Springer Nature Link
Log in

Business Process Monitoring for Dependability

  • Chapter
Architecting Dependable Systems IV

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4615))

Abstract

This paper studies dependability in the context of service-based business processes, and proposes a dynamic technique for ensuring dependability requirements are met. On one hand, business processes are modeled using BPMN, which provides stakeholders with a suitable level of abstraction. On the other, we provide Dynamo, a run-time business process supervision framework that guarantees the dependability requirements are satisfied. Supervision rules let the user customize how the system deals with business-related situations that might hamper the dependability of the application. The main features of the proposed infrastructure are demonstrated on a simple case study in the domain of banking services.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)

    Article  Google Scholar 

  2. Borland Together technologies. http://www.borland.com/us/products/together/index.html

  3. Business Process Execution Language for Web Services v1.1, http://www-128.ibm.com/developerworks/library/specification/ws-bpel/

  4. Condor. http://www.cs.wisc.edu/condor

  5. Business Process Modeling Notation Specification. http://www.bpmn.org/

  6. Object Management Group (OMG) - Business Process Management Initiative. http://www.bpmn.org/

  7. Wikipedia. http://www.wikipedia.org/

  8. Workflow patterns. http://is.tm.tue.nl/research/patterns/patterns.html

  9. WS-Agreement Structure, http://www-unix.mcs.anl.gov/

  10. Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 520–526. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Canfora, G., Di Penta, M., Esposito, R., Villani, N.L.: Qos-aware replanning of composite web services. In: ICWS 2005. 2005 IEEE International Conference on Web Services, pp. 121–129. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  12. Casati, F., Fugini, M.G., Mirbel, I.: An environment for designing exceptions in workflows. In: Pernici, B., Thanos, C. (eds.) CAiSE 1998. LNCS, vol. 1413, pp. 139–157. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  13. Charfi, A., Mezini, M.: An aspect-based process container for bpel. In: AOMD 2005. Proceedings of the 1st workshop on Aspect oriented middleware development, ACM Press, New York (2005)

    Google Scholar 

  14. Courbis, C., Finkelstein, A.: Towards aspect weaving applications. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (eds.) ICSE, pp. 69–77. ACM Press, New York (2005)

    Google Scholar 

  15. Daniel, F.: A portable approach to exception handling in workflow management systems. Technical report, Politecnico di Milano - Dipartimento di Elettronica e Informazione (2006)

    Google Scholar 

  16. Active Endpoints. ActiveBPEL engine architecture. http://www.activebpel.org/docs/architecture.html

  17. Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., Fox, A.: Microreboot - A Technique for Cheap Recovery. In: OSDI 2004. 6th Symposium on Operating System Design and Implementation, pp. 31–44 (2004)

    Google Scholar 

  18. Guttag, J.V., Horning, J.J., Garland, S.J., Jones, K.D., Modet, A., Wing, J.M.: Larch: languages and tools for formal specification. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  19. Ludwig, H., Dan, A., Kearney, R.: Cremona: An Architecture and Library for Creation and Monitoring of WS-Agreements. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, USA, November 15-19, 2004, pp. 65–74 (2004)

    Google Scholar 

  20. Jeng, J.J., Flaxer, D., Kapoor, S.: RuleBAM: A rule-based framework for business activity management. In: IEEE SCC, pp. 262–270. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  21. Plank, J.S.: Efficient checkpointing on MIMD architectures. PhD thesis, Princeton, NJ, USA (1993)

    Google Scholar 

  22. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  23. Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, USA, November 15-19, 2004, pp. 193–202 (2004)

    Google Scholar 

  24. Baresi, L., Guinea, S.: Dynamo: Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 478–483. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Leavens, G., Cheon, Y.: Design by Contract with JML. Java Modeling Language Project (2003), http://www.jmlspecs.org

  27. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3), 1–38 (2006)

    Article  Google Scholar 

  28. Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming 55(1-3), 185–208 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  29. Liu, H., Parashar, M.: DIOS++: A framework for rule-based autonomic management of distributed scientific applications. In: Kosch, H., Böszörményi, L., Hellwagner, H. (eds.) Euro-Par 2003. LNCS, vol. 2790, pp. 66–73. Springer, Heidelberg (2003)

    Google Scholar 

  30. Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, USA (November 15-19, 2004)

    Google Scholar 

  31. Colombo, M., Di Nitto, E., Mauri, M.: SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 191–202. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Momotko, M., Nowicki, B.: Visualisation of (Distributed) Process Execution based on Extended BPMN. In: Mařík, V., Štěpánková, O., Retschitzegger, W. (eds.) DEXA 2003. LNCS, vol. 2736, pp. 280–284. Springer, Heidelberg (2003)

    Google Scholar 

  33. Modafferi, S., Mussi, E., Pernici, B.: Sh-bpel: a self-healing plug-in for ws-bpel engines. In: MW4SOC 2006. Proceedings of the 1st workshop on Middleware for Service Oriented Computing, pp. 48–53. ACM Press, New York (2006)

    Chapter  Google Scholar 

  34. Pautasso, C., Alonso, G.: Flexible binding for reusable composition of web services. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 151–166. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  35. Irassar, P., Kloppmann, M.: From Business Process Modeling with BPMN and BPDM to Business Process Execution with BPEL and SCA. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, Springer, Heidelberg (2006)

    Google Scholar 

  36. Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated synthesis of composite BPEL4WS web services. In: ICWS, pp. 293–301. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  37. Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153–168. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  38. Guinea, S.: Dynamo: a Framework for the Supervision of Web Service Compositions. PhD thesis, Politecnico di Milano (2006)

    Google Scholar 

  39. Hall, S., Dobson, G., Sommerville, I.: A Container-based Approach to Fault Tolerance in Service-Oriented Architectures (2004), http://www.cs.wisc.edu/condor/

  40. White, S.: Introduction to BPMN (2003), http://www.bpmn.org/

  41. Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P., Traverso, P.: Astro: Supporting composition and execution of web services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 495–501. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  42. Baresi, L., Guinea, S., Plebani, P.: WS-Policy for Service Monitoring. In: Bussler, C., Shan, M.-C. (eds.) TES 2005. LNCS, vol. 3811, pp. 72–83. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione - Politecnico di Milano, Piazza L. da Vinci 32, I-20133 Milano, Italy

    Luciano Baresi, Sam Guinea & Marco Plebani

Authors
  1. Luciano Baresi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sam Guinea
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Plebani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rogério de Lemos Cristina Gacek Alexander Romanovsky

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Baresi, L., Guinea, S., Plebani, M. (2007). Business Process Monitoring for Dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol 4615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74035-3_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74035-3_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74033-9

  • Online ISBN: 978-3-540-74035-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics