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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Borland Together technologies. http://www.borland.com/us/products/together/index.html
Business Process Execution Language for Web Services v1.1, http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
Condor. http://www.cs.wisc.edu/condor
Business Process Modeling Notation Specification. http://www.bpmn.org/
Object Management Group (OMG) - Business Process Management Initiative. http://www.bpmn.org/
Wikipedia. http://www.wikipedia.org/
Workflow patterns. http://is.tm.tue.nl/research/patterns/patterns.html
WS-Agreement Structure, http://www-unix.mcs.anl.gov/
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)
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)
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)
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)
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)
Daniel, F.: A portable approach to exception handling in workflow management systems. Technical report, Politecnico di Milano - Dipartimento di Elettronica e Informazione (2006)
Active Endpoints. ActiveBPEL engine architecture. http://www.activebpel.org/docs/architecture.html
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)
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)
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)
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)
Plank, J.S.: Efficient checkpointing on MIMD architectures. PhD thesis, Princeton, NJ, USA (1993)
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)
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)
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)
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)
Leavens, G., Cheon, Y.: Design by Contract with JML. Java Modeling Language Project (2003), http://www.jmlspecs.org
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Guinea, S.: Dynamo: a Framework for the Supervision of Web Service Compositions. PhD thesis, Politecnico di Milano (2006)
Hall, S., Dobson, G., Sommerville, I.: A Container-based Approach to Fault Tolerance in Service-Oriented Architectures (2004), http://www.cs.wisc.edu/condor/
White, S.: Introduction to BPMN (2003), http://www.bpmn.org/
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)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)