Transformation BPEL to CP-nets for verifying Web services composition

  title={Transformation BPEL to CP-nets for verifying Web services composition},
  author={Yanping Yang and QingPing Tan and Jinshan Yu and Feng Liu},
  journal={International Conference on Next Generation Web Services Practices (NWeSP'05)},
  pages={6 pp.-}
Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Business process execution language (BPEL) is a promising language describing the Web services composition in form of business processes, but lack of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it. This paper presents the transformation of BPEL to colored Petri nets (CP-nets) in a constructive way… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 36 extracted citations

54 Citations

Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.


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

Distributed Business Processes Modeling and Verification by help of Web Services

  • A. Martens
  • PhD thesis, Humbold University,
  • 2003
1 Excerpt

S.McIlraith, “Analysis and simulation of Web services

  • S. Narayanan
  • Computer Networks”,
  • 2003
2 Excerpts

Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, Volume 1, 2 and 3, second edition

  • K. Jensen
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…