1. Jordan, D., Evdemon, J.: Web services business process execution language version 2.0. Technical report, OASIS (2006)

   Google Scholar 

2. Fahland, D.: Complete abstract operational semantics for the web service business process execution language. Technical Report 190, Humboldt University, Berlin (2005)

   Google Scholar 

3. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

4. Ferrara, A.: Web services: a process algebra approach. In: Proceedings of 2nd International Conference on Service Oriented Computing, pp. 242–251. ACM Press, New York (2004)

   Chapter  Google Scholar 

5. Farahbod, R., Glasser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)

   Google Scholar 

6. Diakov, N., Arbab, F.: Compositional construction of web services using Reo. In: WSMAI, pp. 49–58 (2004)

   Google Scholar 

7. Lemniotes, T., Papadopoulos, G.A., Arbab, F.: Coordinating web services using channel based communication. In: 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), pp. 486–491 (2004)

   Google Scholar 

8. Meng, S., Arbab, F.: Web services choreography and orchestration in Reo and constraint automata. In: Proceedings of 22nd Annual ACM Symposium on Applied Computing(SAC 2007) (2007)

   Google Scholar 

9. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

   Article MATH MathSciNet  Google Scholar 

10. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61(2), 75–113 (2006)

    Article MATH MathSciNet  Google Scholar 

11. Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 35–56. Springer, Heidelberg (2003)

    Google Scholar 

12. Mahdikhani, F.: BPEL to Reo tool (2007),http://ece.ut.ac.ir/msirjani/B2ReoTool/B2R.jar

13. Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)

    Google Scholar 

14. Pourvatan, B., Rouhy, N.: An alternative algorithm for constraint automata product. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 409–419. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

15. Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundamenta Informaticae (accepted, 2007)

    Google Scholar 

16. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: 13th Int. Conf. World Wide Web (WWW 2004), pp. 621–630. ACM Press, New York (2004)

    Chapter  Google Scholar 

17. Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2003)

    Google Scholar 

18. Borger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Google Scholar 

19. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proceedings of 12th International Workshop on Abstract State Machines, Paris, pp. 78–94. Springer, Heidelberg (2005)

    Google Scholar 

20. Schmidt, K., Stahl, C.: A Petri Net semantic for BPEL4WS - validation and application. In: Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets (2004)

    Google Scholar 

21. Ouyang, C., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A., Verbeek, H.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPM Center (2005)

    Google Scholar 

22. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts i and ii. Information and Computation 100(1), 1–77 (1992)

    Article MATH MathSciNet  Google Scholar 

23. Koshkina, M.: Verification of business processes for web services. Master thesis, York University (2003)

    Google Scholar 

24. Brogi, A., Popescu, R.: From BPEL processes to YAWL workflows. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 107–122. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

25. Diakov, N., Arbab, F.: Software adaptation in integrated tool frameworks for composite services. In: Proceedings of The Third International Workshop on Coordination and Adaptation of Software Entities(WCAT 2006), Nantes, France, pp. 9–14 (2006)

    Google Scholar 

Download references