Static check of WS-CDL documents

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

Volumn , Issue , 2008, Pages 142-147

  Zhou, Lei ^a   Zhang, Hanyi ^a   Wang, Tao ^a   Yang, Chuchao ^a   Wang, Zheng ^a   Sun, Meng ^b   Pu, Geguang ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

^b CWI   (Netherlands)

Author keywords

Static check; Web services; WS CDL

Indexed keywords

MACHINE DESIGN; MARKUP LANGUAGES; SYSTEMS ENGINEERING; WEB SERVICES;

ABSTRACT MACHINES; META MODELS; PLUG-IN; REAL EXAMPLES; STATIC CHECK; WS-CDL; XML SCHEMATA;

MODEL CHECKING;

EID: 62249147708     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2008.36     Document Type: Conference Paper

References (14)

1. J. R. Abrial, A. Hoare, P. Chapron, The B-Book: Assigning Programs to Meanings, Cambridge University Press, 1996.
2. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies, In Proc. of WS-FM04, Electr. Notes Theor. Comput. Sci, pp73-94, 2004.
3. W. Fan, XML Constraints: Specification, Analysis, and Applications, In Proceedings of the 16th International Workshop on Database and Expert System Applications, 2005.
4. X. Fu, T. Bultan, and J. Su, WSAT: a tool for formal analysis of web services, In Proc. of 16th International Conference on Computer Aided Verification, pp510-514, 2004.
5. R. Gorrieri, C. Guidi, and R. Lucchi. Reasoning about interaction patterns in choreography. In Proc. of EPEW/WS-FM05, LNCS 3670, Vol 3670, pp333-348, 2005.
6. Java Architecture for XML Binding (JAXB) http://java.sun.com/developer/ technicalArticles/WebServices/jaxb/
7. G. Pu, Y. Zhao, Z. Wang, L. Feng, H. Zhu, and J. He. A Denotational Model for Web Services Choreography. To appear in Proc. of ICDCIT08, 2008.
8. M. Sun and F. Arbab. Web Services Choreography and Orchestration in Reo and Constraint Automata. In Proceedings of SAC'07, pp346-353, 2007.
9. Web Services Choreography Description Language, Version 1.0. November 2005. http://www.w3.org/TR/ws-cdl-10/
10. WS-CDL Eclipse Plug-in. http://wscdl-eclipse.sourceforge.net
11. Web Service Choreography Interface (WSCI) 1.0 http://www.w3.org/TR/wsci/
12. Web Services Flow Language (WSFL). http://xml.coverpages.org/wsfl.html
13. H. Yang, X. Zhao, Z. Qiu, C. Cai, G. Pu. Type Checking Choreography Description Language. In Proc. of ICFEM06, LNCS4260, pp264-283, 2006.
14. H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang. A Formal Model forWeb Service Choreography Description Language (WS-CDL), In Proc. of ICWS06, pp893-894, 2006.