Formalizing Web Service Choreography Interface

  title={Formalizing Web Service Choreography Interface},
  author={Yu Huang and Chunxiang Xu and Hanpin Wang and Yunni Xia and Jiaqi Zhu and Cheng Zhu},
  journal={21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07)},
All existing Web service composition standards remain at the descriptive level, without providing any formal semantics and method for verifying some important properties. Web service choreography interface (WSCI) describes the flow of messages exchanged by a Web service which participates in choreographed interactions with other services. This paper presents an extended Petri net to formalize WSCI, and proposes several nets to represent the activity, process and interface respectively. Our… CONTINUE READING
5 Citations
7 References
Similar Papers


Publications referenced by this paper.
Showing 1-7 of 7 references

Wof- BPEL: A Tool for Automated Analysis of BPEL Processes

  • O. Y. Chun, W.M.P. Aalst, S. Breutel, M. Dumas
  • Proceedings Third International Conference on…
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…