Model-checking of web services choreography

Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

Volumn , Issue , 2008, Pages 79-84

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

^a BEIJING UNIVERSITY OF TECHNOLOGY   (China)

^b PEKING UNIVERSITY   (China)

^c INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; INTERNET PROTOCOLS; SYSTEMS ENGINEERING; WEB SERVICES;

BUSINESS GOALS; DEADLOCK FREENESS; GLOBAL MODELS; MODEL CHECKERS; MODEL INTERACTIONS; NORMAL CONTROLS; OPERATIONAL SEMANTICS; SERVICE INTERACTIONS; T-SHIRTS; VARIABLE CHANGES;

MODEL CHECKING;

EID: 62249101468     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2008.40     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. Business Process Execution Language for Web Services (BPEL4WS), version 1.1, May 2003. http://www.ibm.com/developerworks/webservices/library/ws-bpel/.
3. 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.
4. 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.
5. M. Carbone, K. Honda, N. Yoshida, R. Milner, G. Brown, and S. Ross-Talbot. A theoretical basis of communicationcentred concurrent programming. Technical report, W3C, 2006. Available at http://www.w3.org/2002/ws/chor/ edcopies/theory/note.pdf.
6. 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.
7. H.Yang, X.Zhao, C. Cai, and Z. Qiu. Model-checking of web services choreography. Technical report, Institute of Mathematics, Peking University, 2008. http://www.is.pku.edu.cn/~fmows/.
8. N. Kavantzas. A post at petri-pi mailing list, August 2005.
9. J. Li, J. He, H. Zhu, and G. Pu. Modeling and verifying web services choreography using process algebra. In SEW31: Proceedings of the 31st IEEE Software Engineering Workshop. IEEE Computer Society, 2007.
10. M. Pistore. http://www.astroproject.org/seminars.php.
11. H. Yang, C. Cai, L. Peng, X. Zhao, and Z. Qiu. Reasoning about channel passing in choreography. In the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
12. 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.