For the most recent entries see the Petri Nets Newsletter.

Verifying web services composition based on hierarchical colored petri nets.

Yang, YanPing; Tan, QingPing; Xiao, Yong

In: IHIS '05: Proceedings of the first international workshop on Interoperability of heterogeneous information systems, pages 47-54. ACM Press, 2005.

Abstract: Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties such as deadlock or livelock by CP-nets tools.


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

Back to the Petri Nets Bibliography