From OWL-S Descriptions to Petri Nets

  • Antonio Brogi
  • Sara Corfini
  • Stefano Iardella
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4907)


While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this paper we present a translator from OWL-S descriptions to Petri nets which makes such analyses possible thanks to the many tools available for Petri nets.


  1. 1.
    Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM 46(10), 24–28 (2003)CrossRefGoogle Scholar
  2. 2.
    WSDL Coaltion: Web Service Description Language (WSDL) version 2.0 (2007),
  3. 3.
    OWL-S Coalition: OWL-S: Semantic Markup for Web Service (2006),
  4. 4.
    Elenius, D., Denker, G., Martin, D., Gilham, F., Khouri, J., Sadaati, S., Senanayake, R.: The OWL-S Editor - A Development Tool for Semantic Web Services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 78–92. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Jaeger, M., et al.: OWLSM (2004),
  6. 6.
  7. 7.
    Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    The WoPeD Team: Workflow Petri Net Designer (2007),
  9. 9.
    Research Group Petri Net Technology: Petri Net Kernel (2002),
  10. 10.
    BPEL Coalition: WS-BPEL 2.0 (2006),
  11. 11.
    Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484–489. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Fernandez, J.C., Mounier, L.: On the Fly verification of behavioural equivalences and preorders. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol. 575, pp. 181–191. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  13. 13.
    Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A Behavioural Congruence for Web services. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 240–256. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Benigni, F., Brogi, A., Corfini, S.: Discovering Service Compositions That Feature a Desired Behaviour. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 56–68. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services via Behavioural Equivalence: A Case Study. Technical Report TR-08-01, Computer Science Department, University of Pisa (2008) ,
  16. 16.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  17. 17.
    Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)Google Scholar
  18. 18.
    Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002, pp. 77–88. ACM Press, New York (2002)Google Scholar
  19. 19.
    Moldt, D., Ortmann, J.: DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 209–213. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Antonio Brogi
    • 1
  • Sara Corfini
    • 1
  • Stefano Iardella
    • 1
  1. 1.Department of Computer ScienceUniversity of PisaItaly

Personalised recommendations