For the most recent entries see the Petri Nets Newsletter.

A CP-nets-based Design and Verification Framework for Web Services Composition.

Yi, Xiaochuan; Kochut, Krys J.

In: Proceedings of IEEE International Conference on Web Services (ICWS'04), June 06 - 09, 2004, San Diego, California, pages 756-760. IEEE Press, June 2004.

Abstract: Web services aim to support efficient integration of applications over Web. Most Web services are stateful, such as services for business processes, and they converse with each other via properly ordered interactions, instead of individual unrelated invocations. In order to address efficient integration of conversational Web services, we create a unified specification model for both conversation protocol and composition; we propose methods to integrate a partner service with complex conversation protocol into a composition of Web services; assure the correctness of composition by formal verification. The mapping between our model and BPEL4WS is also discussed.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography