Reasoning about channel passing in choreography

Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008

Volumn , Issue , 2008, Pages 135-142

  Hongli, Yang ^a,b   Chao, Cai ^a   Liyang, Peng ^a   Xiangpeng, Zhao ^a   Zongyan, Qiu ^a  

^a PEKING UNIVERSITY   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES;

CHANNEL CONSTRAINTS; DYNAMIC COMPOSITIONS; INTERNATIONAL SYMPOSIUM; SERVICE INTERACTIONS;

FLOW INTERACTIONS;

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

References (12)

1. Web services choreography description language (WS-CDL), version 1.0, 2005. http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/.
2. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. Proc. of WS-FM 2004, Electr. Notes Theor. Comput. Sci, 105:73-94, 2004.
3. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Towards a formal framework for choreography. In WET-ICE'05. IEEE Computer Society, 2005.
4. M. Carbone, K. Honda, and N. Yoshida. A calculus of global interaction based on session types. In ENTCS, volume 171. Elsevier Science Publishers B. V. Amsterdam, Netherlands, 2007.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Modelbased analysis of obligations in web service choreography. In Proc. of International Conference on Internet and Web Applications and Services 2006. IEEE CS, 2006.
6. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. Theoretical Computer Science, 328, 2004.
7. R. Gorrieri, C. Guidi, and R. Lucchi. Reasoning about interaction patterns in choreography. In EPEW/WS-FM, volume 3670 of LNCS, pages 333-348. Springer, 2005.
8. H. Yang, C. Cai, L. Peng, X. Zhao, and Z. Qiu. Reasoning about channel passing in choreography. Technical report, Institute of Mathematics, Peking University, 2007. http://www.math.pku.edu.cn:8000/en/preindex.php.
9. J. Li, J. He, G. Pu, and H. Zhu. Towards the semantics for web service choreography description language. In ICFEM'06, volume 4260 of LNCS, pages 246-263. Springer, 2006.
10. H. Yang, X. Zhao, Z. Qiu, G. Pu, and S. Wang. A formal model for web service choreography description language (WS-CDL). In Proc. of ICWS'06, pages 893-894. IEEE Computer Society, 2006.
11. J. M. Zaha, A. P. Barros, M. Dumas, and A. H. M. ter Hofstede. Let's Dance: A language for service behavior modeling. In OTM Conferences (1), pages 145-162, 2006.
12. J. M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, and G. Decker. Service interaction modeling: Bridging global and local views. In EDOC'06, 2006.