Verifying web services of OWL-S with Petri net

  title={Verifying web services of OWL-S with Petri net},
  author={Bo Yu and Duluo Li},
  journal={2010 5th International Conference on Computer Science & Education},
  • Bo Yu, Duluo Li
  • Published 2010 in
    2010 5th International Conference on Computer…
The Web service technology is becoming the mainstream for implementing the distributed applications based on architecture oriented service. Simple Web service couldn't deal with the requirements of complicated distributed system. Some relevant Web services have to be integrated to a composite service to overcome it. Now, more attentions are paid to the quality of service of composite Web service. The OWL-S is an important specification to construct composite Web service for realizing the goals… CONTINUE READING
3 Citations
14 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 14 references

Concepts, Status, and Future Directions

  • E. Kindler
  • Entwurf Komplexer Automatisierungssysteme,
  • 2006
Highly Influential
4 Excerpts

A framework for contract-based collaborative verification and validation of Web services

  • X. Bai, Wang, +5 authors al
  • 2007
2 Excerpts

Contractbased testing for web services

  • G. Dai, Bai, +4 authors Fengjun
  • in International Computer Software and…
  • 2007
2 Excerpts

PIPEv2.5: a Petri Net Tool for Performance Modeling

  • C.M.L. Pere Bonet, Ramon Puigjaner, William J. Knottenbelt
  • 2007
2 Excerpts

Similar Papers

Loading similar papers…