Formalizing Web service choreography interface

Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07

Volumn 1, Issue , 2007, Pages 576-581

  Yu, Huang ^a   Yunni, Xia ^a   Chunxiang, Xu ^a   Jiaqi, Zhu ^a   Hanpin, Wang ^a   Cheng, Zhu ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Petri nets; Web service composition; WSCI

Indexed keywords

INFORMATION SERVICES; INTERFACES (COMPUTER); MATHEMATICAL MODELS; MESSAGE PASSING; SECURITY OF DATA;

MESSAGE EXCHANGE; WEB SERVICE CHOREOGRAPHY INTERFACE (WSCI);

WEB SERVICES;

EID: 35248859806     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINAW.2007.188     Document Type: Conference Paper

References (7)

1. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci/ .
2. C. Peltz, Web Service Orchestration and Choreography: A look at WSCI and BPEL4WS. Web Services Journal, 03(7), July 2003.
3. B. Srivastava and J. Koehler, Web Service Composition - Current Solutions and Open Problems. In the proceeding of Workshop on Planning for Web Services 2003, pp. 28-35, 2003.
4. W.M.P. Aalst and K.B. Lassen, Translating Workflow Nets to BPEL. In BETA Working Paper Series, WP145, Eindhoven University of Technology, August 2005.
5. O.Y. Chun, W.M.P. Aalst, S. Breutel, M. Dumas, WofBPEL: A Tool for Automated Analysis of BPEL Processes. In B. Boualem, C. Fabio, and T. Paolo, Eds. Proceedings Third International Conference on Service Oriented Computing (ICSOC 2005) Vol. 3826, pages: 484-489, Amsterdam, The Netherland.
6. Y.P. Yang, Q.P. Tan, Y. Xiao, Verifying Web Service Composition Based on Hierarchical Colored Petri Nets. Proceedings of the first international workshop on Interoperability of heterogeneous information systems, pages: 47- 54, 2005.
7. A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, Vol. 105, pp. 73-94, 2004.