A petri net semantics for web service choreography

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 1689-1690

  Huang, Yu ^a   Wang, Hanpin ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Formal semantics; Petri net; Web service; WSCI

Indexed keywords

DATA FLOW ANALYSIS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; MESSAGE PASSING; PETRI NETS; SEMANTICS;

FORMAL SEMANTICS; MESSAGE EXCHANGE; ORCHESTRATION; WEB SERVICE CHOREOGRAPHY INTERFACE (WSCI);

WEB SERVICES;

EID: 35248899935     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244359     Document Type: Conference Paper

References (6)

1. Peltz, C., Web Service Orchestration and Choreography: A look at WSCI and BPEL4WS. WebServices Journal, 03(7), July 2003.
2. Web Service Choreography Interface (WSCI) 1.0. http://www.w3.org/TR/wsci/ .
3. Aalst, W.M.P. and Lassen, K.B., Translating Workflow Nets to BPEL. In BETA Working Paper Series, WP145, Eindhoven University of Technology, August 2005.
4. Chun, O.Y., Aalst, W.M.P., Breutel, S., Dumas, M., WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Boualem, B., Fabio, C. and Paolo, T. Eds. Proceedings Third International Conference on Service Oriented Computing (ICSOC 2005) Vol. 3826, pages: 484-489, Amsterdam, The Netherland.
5. Yang, Y.P., Tan, Q.P., Xiao, Y., 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.
6. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A., Formalizing Web Service Choreographies. Electronic Notes in Theoretical Computer Science, Vol. 105, pp. 73-94, 2004.