Transformational design of business processes in BPEL language

• Autorzy: Ratkowski A. , Zalewski A. , Piech B.
• Języki publikacji: EN

Abstrakty

EN

A transformational approach to the design of executable processes in Business Process Execution Language (BPEL) is presented. It has been built upon the transformations of business processes accompanied by a formal approach based on process algebras used to verify the behavioral equivalence of business processes. The initial business process can be denoted in BPEL, then a series of transformations is executed upon it. The process resulting from the transformation is verified whether it preserves behaviour denoted by the process being transformed. The transformations improve non-functional properties of the process (performance, modifiability, granularity, maintainability) but do not change its original behaviour. The transformations are steered by Architecture Trade-off Analysis Method (ATAM) that shows the direction of changes and helps an architect to decide which of them to apply. An example of the application of our approach in real-life business process design has also been presented. The paper presents general idea of the design process, theoretical basis of the method as well as experimental verification of the approach and a tool implemented to support the method.

Słowa kluczowe

EN

BPEL language; architecture trade

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: e-Informatica Software Engineering Journal
• Rocznik: 2009
• Tom: Vol. 3, nr 1
• Strony: 103--117
• Opis fizyczny: Bibliogr. 32 poz.

Twórcy

autor

Ratkowski A.

autor

Zalewski A.

autor

Piech B.

• Institiute of Control and Computation Engineering, Warsaw University of Technology

Bibliografia

• [1] D. Binkley and K. B. Gallagher. Program slicing.Advances in Computers, 43:1–50, 1996.
• [2] T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Comput.Netw. ISDN Syst., 14(1):25–59, 1987.
• [3] F. Breugel and M. Koshkina. Models and verification of BPEL. 2006.
• [4] J. Cámara, C. Canal, J. Cubo, and A. Vallecillo.Formalizing WSBPEL business processes using process algebra. Electr. Notes Theor. Comput.Sci., 154(1):159–173, 2006.
• [5] R. Cleaveland. Concurrency workbench of the new century, 2000. http://www.cs.sunysb.edu/~cwb/.
• [6] R. Cleaveland and S. Smolka. Process algebra.1999.
• [7] A. D’Ambrogio and P. Bocciarelli. A model-driven approach to describe and predict the performance of composite services. In WOSP ’07: Proceedings of the 6th international Transformational Design of Business Processes in BPEL Language 117 workshop on Software and performance, pages 78–89, New York, NY, USA, 2007. ACM.
• [8] D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative control flow. In Abstract State Machines, pages 131–152, 2005.
• [9] A. Ferrara. Web services: a process algebra approach. In ICSOC ’04: Proceedings of the 2nd international conference on Service oriented computing, pages 242–251, New York, NY,USA, 2004. ACM Press.
• [10] A. Ferrara. Web services: a process algebra approach. In ICSOC ’04: Proceedings of the 2nd international conference on Service oriented computing, pages 242–251, New York, NY,USA, 2004. ACM Press.
• [11] H. Foster, J. Kramer, J. Magee, and S. Uchitel.Model-based verification of web service compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE), 2003.
• [12] H. Foster, S. Uchitel, J. Magee, J. Kramer, and M. Hu. Using a rigorous approach for engineering web service compositions: A case study. In SCC ’05: Proceedings of the 2005 IEEE International Conference on Services Computing, pages 217–224, Washington, DC, USA, 2005. IEEE Computer Society.
• [13] X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW ’04:Proceedings of the 13th international conference on World Wide Web, pages 621–630, New York,NY, USA, 2004. ACM.
• [14] S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri Nets. In Proceedings of the BPM 2005, pages 220–235, Nancy, France, Sept.2005. Springer-Verlag.
• [15] I. Hofacker and R. Vetschera. Algorithmical approaches to business process design. Computers & OR, 28(13):1253–1275, 2001.
• [16] G. J. Holzmann. The SPIN Model Checker:Primer and Reference Manual. Addison-Wesley Professional, September 2003.
• [17] IBM, BEA, and Microsoft. Business process execution language for web services. http://citeseer.ist.psu.edu/669609.html, 2003.
• [18] R. Kazman, M. H. Klein, M. Barbacci, T. A. Longstaff, H. F. Lipson, and S. J. Carrière. The architecture tradeoff analysis method. In Proceedings of ICECCS, pages 68–78, 1998.
• [19] A. Martens. Simulation and equivalence between BPEL process models. In Proc. of Intl.Conference DASD’05, 2005.
• [20] F. Martin. Refactoring: improving the design of existing code. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.
• [21] D. E. Millard, H. C. Davis, Y. Howard,L. Gilbert, R. J. Walters, N. Abbas, and G. B.Wills. The service responsibility and interaction design method: Using an agile approach for web service design. pages 235–244, 2007.
• [22] I. Moore. Automatic inheritance hierarchy restructuring and method refactoring. In OOPSLA ’96: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming,systems, languages, and applications,pages 235–250, New York, NY, USA,1996. ACM.
• [23] NetBeans IDE. http://www.netbeans.org/.
• [24] W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, Urbana-Champaign,IL, USA, 1992.
• [25] A. Ratkowski and A. Zalewski. Performance refactoring for service oriented architecture.ISAT ’2007: Information Systems Architecture And Technology, 2007.
• [26] A. Ratkowski and A. Zalewski. Transformational design of business processes in SOA. In Proceedings of CEE-SET, 2008.
• [27] W. Reisig. Modeling and Analysis Techniques for Web Services and Business Processes. In FMOODS 2005, Athens, Greece, June 15–17,2005. Proceedings, volume 3535, pages 243–258. Springer Verlag, May 2005.
• [28] N. Russell, W. van der Aalst, Arthur, and P. Wohed. On the suitability of UML 2.0 activity diagrams for business process modelling.In APCCM ’06: Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling,pages 95–104, Darlinghurst, Australia,Australia, 2006. Australian Computer Society,Inc.
• [29] G. Salaün, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In ICWS ’04: Proceedings of the IEEE International Conference on Web Services, page 43, Washington, DC, USA, 2004.IEEE Computer Society.
• [30] G. Salaün, A. Ferrara, and A. Chirichiello. Negotiation among web services using LOTOS/CADP. In ECOWS, pages 198–212, 2004.
• [31] W. van der Aalst, A. ter Hofstede, and M.Weske. Business process management: A survey. In Business Process Management, Lecture Notes in Computer Science, pages 1–12. Springer, Berlin, Heidelberg, 2003.
• [32] Y. Yang, T. Tan, J. Yu, and F. Liu. Transformation BPEL to CP-Nets for verifying web services composition. In Proceedings of NWESP ’05, page 137, Washington, DC, USA, 2005. IEEE Computer Society.