Conformance validation between choreography and orchestration

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 473-482

  Li, Jing ^a   Zhu, Huibiao ^a   Pu, Geguang ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; INFORMATION SERVICES; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

CHOREOGRAPHY; GLOBAL PICTURE; ORCHESTRATION;

COMPUTER SOFTWARE;

EID: 34548846363     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.16     Document Type: Conference Paper

References (32)

1. Business process modeling language (bpml). http://www.bpmi.org.
2. A. Barros, M. Dumas, and P. Oaks. A critical overview of web service choreography description language(WS-CDL). BPTrends, March 2005.
3. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. In Proc. of FMOODS'03, LNCS 2884, pages 124-138. Springer, 2003.
4. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: a synergic approach for system design. In Proc. of ICSOC'05, LNCS 3826, pages 228-240. Springer, 2005.
5. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Towards a formal framework for choreography. In Proc. of International Workshop on Distributed and Mobile Collaboration(DMC), pages 107-112. IEEE Computer Society, 2005.
6. M. Butler and C. Ferreira. A process compensation language. In Proc. of IFM2000, LNCS 1945, pages 61-76. Springer, 2000.
7. J. Camara, C. Canal, J. Cubo, and A. Vallecillo. Formalizing WSBPEL business processes using process algebra. In Proc. of FOCLASA'05, ENTCS 154, pages 159-173. Elsevier, 2006.
8. F. Curbera, Y. Goland, J. Klein, F. Leymann, D.Roller, S.Thatte, and S. Weerawarana. Business Process Execution Language for Web Services (BPEUWS 1.1), 2003. http://www-106.ibm.com/developerworks/webservices/library/ws- bpel/.
9. J. S. Dong, Y. Liu, J. Sun, and X. Zhang. Verification of computation orchestration via timed automata. In Proc. of ICFEM'06, LNCS 4260, pages 226-245. Springer, 2006.
10. R. Gorrieri, C. Guidi, and R. Lucchi. Reasoning about interaction patterns in choreography. In Proc. of WS-FM'05, LNCS 3070, pages 333-348. Springer, 2005.
11. J. He, H. Zhu, and G. Pu. A model for BPEL-like languages. Frontiers of Computer Science in China, 2006.
12. C. Laneve and G. Zavattaro. Foundations of web transactions. In Proc. of FoSSaCS'05, LNCS 3441, pages 282-298. Springer, 2005.
13. F. Leymann. Web Services Flow Language (WSFL 1.0). Member IBM Academy of Technology, IBM Software Group, 2001.
14. J. Li, J. He, G. Pu, and H. Zhu. Towards the semantics for web service choreography description language. In ICFEM'06, LNCS 4260, pages 246-263. Springer, 2006.
15. J. Li, J. He, H. Zhu, and G. Pu. Modeling and verifying web services choreography using process algebra. In SEW-31 (31st Software Engineering Workshop). IEEE Computer Society, 2007. To appear.
16. R. Lucchi and M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 2006.
17. J. Mendling and M. Hafner. From inter-organizational work-flows to process execution: generating BPEL from WSCDL. In Proc. of OTM 2005, LNCS 3762, pages 506-515. Springer, 2005.
18. J. Misra and W. R. Cook. A structured orchestration language, 2005. http://www.cs.utexas.edu/users/wcook/projects/orc.
19. J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling, May 2006.
20. J. Misra, T. Hoare, and G. Menzel. A tree semantics of an orchestration language. In Proc. of the NATO Advanced Study Institute, NATO ASI Series, August 2004.
21. G. D. Plotkin. A structural approach to operational semantics. Technical report, Aarhus University, 1981.
22. G. Pu, X. Zhao, S. Wang, and Z. Qiu. Towards the semantics and verification of BPEL4WS. In Proc. of WLFM'05, ENTCS 151, pages 33-52. Elsevier, 2006.
23. G. Pu, H. Zhu, Z. Qiu, S. Wang, X. Zhao, and J. He. Theoretical foundations of scope-based compensable flow languange for web service. In IFIP FMOODS'06, LNCS 4307, pages 251-266. Springer, 2006.
24. Z. Qiu, S. Wang, G. Pu, and X. Zhao. Semantics of BPEL4WS-like fault and compensation handling. In Proc. of FM2005, LNCS 3582, pages 350-365. Springer, 2005.
25. S. Thatte. XIANG: Web services for business process design. Microsoft Corporation, 2001.
26. P. Wohed, W. M. P. van der Aalst, M. Dumas, and A. H. M. ter Hofstede. Analysis of web services composition languages: the case of BPEL4WS. In Proc. of the 22nd International Conference on Conceptual Modeling, LNCS 2813, pages 200-215. Springer, 2004.
27. World Wide Web Consortium. Web Service Choreography Interface (WSCI) 1.0, 2002. http://www.w3.org/TR/wsci.
28. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0, 2005. http://www.w3.org/TR/ws-cdl-10/.
29. H. Yang, X. Zhao, Z. Qiu, C. Cai, and G. Pu. Type checking choreography description language. In Proc. of ICFEM'06, LNCS 4260, pages 264-283. Springer, 2006.
30. J. M. Zaha, A. Barros, M. Dumas, and A. ter Hofestede. Let's dance: A language for service behavior modeling. In Proc. of OTM'06, LNCS 4275, pages 145-162. Springer, 2006.
31. J. M. Zaha, M. Dumas, A. ter Hofestede, A. Barros, and G. Decker. Service interaction modeling: bridging global and local views. In Proc. of EDOC'06, pages 45-55. IEEE Computer Society, 2006.
32. X. Zhao, H. Yang, and Z. Qiu. Towards the formal model and verification of web service choreography description language. In Proc. of WS-FM'06, LNCS 4184, pages 273-287. Springer, 2006.