[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Toward the use of Petri nets for the formalization of OWL-S choreographies

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

In this paper, we present a Petri net-based approach for modeling the choreography of semantic Web services which are described following the OWL-S specification. In our approach, each control construct of the OWL-S choreography is represented through a Petri net pattern that captures formally its operational semantics. The main difference between our work and the main proposals that model the semantics of OWL-S services choreography is that, although both approaches represent the service choreography with Petri nets, our proposal is also concerned with the practical execution of the Petri nets by the client. Therefore we also represent the flow of data, the outputs transformations, the effects in the environment, in addition to the structures that control the choreography of the services in our Petri net models. The implementation of the OWL-S choreography is performed in a Petri net ontology-based engine. This is another difference with traditional approaches that only use Petri nets for the analysis of the service properties. Furthermore, the use of an underlying ontology engine for supporting both the domain models of OWL-S services and the Petri net models provides several advantages in terms of reasoning, extension, and reuse.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alonso G, Casati F, Kuno H, Machiraju V (2003) Web services. Springer, Berlin

    Google Scholar 

  2. Andonoff E, Bouzguenda L, Hanachi C (2005) Specifying workflow web services using Petri nets with objects and generating of their OWL-S specifications. In: Bauknecht K, Pröll B, Werthner H (eds) E-commerce and web technologies. Lecture notes in computer science, vol 3590. Springer, Berlin, pp 41–52

  3. Andrews T, Curbera F, Dholakia H et al (2003) Business process execution language for web services version 1.1. Technical report, OASIS Web Services Business Process Execution Language (WSBPEL) TC. OASIS standard

  4. Argente E, Botti V, Carrascosa C, Giret A, Julian V (2011) An abstract architecture for virtual organizations: the THOMAS approach. Knowl Inf Syst 29(2): 379–403

    Article  Google Scholar 

  5. Bonchi F, Brogi A, Corfini S, Gadducci F (2008) Compositional specification of web services via behavioural equivalence of nets: a case study. In: Proceedings of the 29th international conference on applications and theory of Petri nets and other models of concurrency (ATPN’08). Springer, Berlin, pp 52–71

  6. Cheng Y, Wang Z, Wang C, Tang L, Shang L (2007) Modeling and verifying composite semantic web service based on colored Petri nets. In: Proceedings of the 6th international conference on advanced language processing and web information technology (ALPIT 2007). IEEE Computer Society, Washington, DC, pp 510–514

  7. Chifu V, Salomie I, Manole S (2008) Fluent calculus based web service composition. In: Calvanese D, Lausen G (eds) Web reasoning and rule systems, lecture notes in computer science, vol 5341. Springer, Berlin, pp 230–231

  8. Christensen E, Curbera F, Meredith G, Weerawarana S (2001) Web services description language (WSDL). World Wide Web Consortium (W3C) (2001). W3C recommendation

  9. Dang J, Huang J, Huhns MN (2007) Workflow coordination for service-oriented multiagent systems. In: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems (AAMAS’07). ACM Press, New York, pp 1–3

  10. Dean M, Connolly D, van Harmelen F, Hendler J, Horrocks I, McGuinness DL, Patel Schneider PF, Stein LA (2004) OWL web ontology language reference. W3C recommendation

  11. De Brujin J, Bussler C, Domingue J et al (2005) Web service modeling ontology (WSMO). World Wide Web Consortium (W3C). W3C member submission

  12. Ding Z, Wang J, Jiang C (2008) An approach for synthesis Petri nets for modeling and verifying composite web service. J Inf Sci Eng 24(5): 1309–1328

    Google Scholar 

  13. Fensel D, Bussler C (2002) The web service modeling framework WSMF. Electron Commer Res Appl 1(2): 113–137

    Article  Google Scholar 

  14. Fensel D, Motta E, Benjamins VR et al (2003) The unified problem-solving method development language UPML. Knowl Inf Syst 5(1): 83–131

    Article  Google Scholar 

  15. Freytag T (2005) WoPeD: workflow Petri net designer. In: Proceedings of the 26th international conference on applications and theory of Petri nets and other models of concurrency (ATPN’05). Miami, USA

  16. Genesereth MR, Fikes RE (1992) Knowledge interchange format, version 3.0. Technical report logic-92-1, Stanford University

  17. Gomes L, Barro JP (2005) Structuring and composability issues in Petri nets modeling. IEEE Trans Ind Inform 1(2): 112–123

    Article  Google Scholar 

  18. Gómez Pérez A, Fernández López M, Corcho O (2003) Ontological engineering. Advanced information and knowledge processing. Springer, Berlin

    Google Scholar 

  19. Gurevich Y (1994) Evolving algebras 1993: lipari guide. In: Börger E (ed) Specification and validation methods. Oxford University Press, Oxford, pp 9–37

  20. Horrocks I, Patel Schneider P, Boley H, Tabet S, Grosof B, Dean M (2003) SWRL: a semantic web rule language combining OWL and RuleML. W3C member submission

  21. ISO/IEC (2002) Software and systems engineering—high-level Petri nets part 1: concepts, definitions and graphical notation. Final draft of the international standard ISO/IEC 15909-1

  22. ISO/IEC (2005) Software and systems engineering—high-level Petri nets part 2: transfer format. Working draft of the international standard ISO/IEC 15909-2

  23. Jensen K (2003) Coloured Petri nets: basic concepts, analysis methods and practical use, vol 1 (Monographs in theoretical computer science. An EATCS series). Springer, Berlin

  24. Kavantzas N, Burdett D, Ritzinger G, Fletcher T, Lafon Y, Barreto C (2005) Web services choreography description language version 1.0. W3C proposal

  25. Kiefer M, Lausen G, Wu J (1995) Logical foundations of object-oriented and frame-based languages. J ACM 42: 741–843

    Article  Google Scholar 

  26. Lee TB, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5): 34–43

    Article  Google Scholar 

  27. Liang QA, Chung JY, Miller S (2007) Modeling semantics in composite web service requests by utility elicitation. Knowl Inf Syst 13(3): 367–394

    Article  Google Scholar 

  28. Martin D, Burstein M, Hobbs J et al (2004) OWL-S: semantic markup for web services. World Wide Web Consortium (W3C). W3C member submission

  29. Maruster L, van Beest NRTP (2009) Redesigning business processes: a methodology based on simulation and process mining techniques. Knowl Inf Syst 21: 267–297

    Article  Google Scholar 

  30. McDermott DV, Dou D (2002) Representing disjunction and quantifiers in RDF. In: Proceedings of the first international semantic web conference on the semantic web (ISWC’02). Springer, London, pp 250–263

  31. McIlraith S, Martin D (2003) Bringing semantics to web services. IEEE Intell Syst 18(1): 90–93

    Article  Google Scholar 

  32. Miao H, He T, Li L (2009) Formal semantics of OWL-S with F-logic. In: Lee R, Hu G, Miao H (eds) Computer and information science 2009, studies in computational intelligence, vol 208. Springer, Berlin, pp 105–117

  33. Miao H, He T, Qian Z (2008) Modeling and analyzing composite semantic web service using Petri nets. In: Proceedings of the 2008 IEEE international conference on e-business engineering (ICEBE ’08). IEEE Computer Society, Washington, DC, pp 660–664

  34. Milner R (1982) A calculus of communicating systems. Springer, New York

    Google Scholar 

  35. Moldt D, Ortmann J (2004) DaGen: a tool for automatic translation from DAML-S to high-level Petri nets. In: Proceedings of the 7th international conference on fundamental approaches to software engineering (FASE 2004), Lecture notes in computer science, vol 2984. Springer, Berlin, pp 209–213

  36. Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4): 541–580

    Article  Google Scholar 

  37. Narayanan S, McIlraith S (2002) Simulation, verification and automated composition of web services. In: Proceedings of the 11th international world wide web conference (WWW’02). ACM Press, Hawaii, pp 77–88

  38. OMG (2008) Business process modeling notation (BPMN) specification. Technical report formal/2008-01-17, Object Management Group. OMG available specification

  39. Paolucci M, Ankolekar A, Srinivasan N, Sycara K (2003) The DAML-S virtual machine. In: Proceedings of the 2nd international semantic web conference (ISWC 2003). Springer, Florida, pp 290–305

  40. Payne T, Lassila O (2004) Guest editors’ introduction: semantic web services. IEEE Intell Syst Special Issue Semant Web Serv 19(4): 14–15

    Google Scholar 

  41. Peltz C (2003) Web services orchestration and choreography. Computer 36(10): 46–52

    Article  Google Scholar 

  42. Petri CA (1962) Kommunikation mit Automaten. PhD dissertation, Institutes für Instrumentelle Mathematik, Germany

  43. Reisig W (1991) Petri nets and algebraic specifications. Theor Comput Sci 80(1): 1–34

    Article  MathSciNet  MATH  Google Scholar 

  44. Roman D, Keller U, Lausen H et al (2005) Web service modeling ontology. Appl Ontol 1(1): 77–106

    Google Scholar 

  45. van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1): 21–66

    Article  Google Scholar 

  46. van der Aalst WMP, Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30(4): 245–275

    Article  Google Scholar 

  47. van der Aalst WMP, Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Database 14(3): 5–51

    Article  Google Scholar 

  48. Vidal JC, Lama M, Bugarín A (2006) A high-level Petri net ontology compatible with PNML. Petri Net Newsl 71: 11–23

    Google Scholar 

  49. Vidal JC, Lama M, Bugarín A (2010) Openet: ontology-based engine for high-level petri nets. Expert Syst Appl 37(9): 6493–6509

    Article  Google Scholar 

  50. Wang H, Payne T, Gibbins N, Saleh A (2007) Formal specification of owl-s with object-z: the dynamic aspect. In: Benatallah B, Casati F, Georgakopoulos D, Bartolini C, Sadiq W, Godart C (eds) Web information systems engineering (WISE 2007), lecture notes in computer science, vol 4831. Springer, Berlin, pp 237–248

  51. Wang Y, Bai X, Li J, Huang R (2007) Ontology-based test case generation for testing web services. In: Proceedings of the 8th international symposium on autonomous decentralized systems (ISADS’07). IEEE Computer Society, Washington, DC, pp 43–50

  52. WfMC (2005) Process definition interface—XML process definition language, version 1.15. Technical reporl WFMC-TC-1025, Workflow Management Coalition. Document Status Final

  53. Wu Z, Deng S, Li Y, Wu J (2009) Computing compatibility in dynamic service composition. Knowl Inf Syst 19(1): 107–129

    Article  MathSciNet  Google Scholar 

  54. Yang G, Kifer M, Zhao C (2003) FLORA-2: a rule-based knowledge representation and inference infrastructure for the semantic web. In: Proceedings of the 2nd international conference on ontologies, databases and applications of semantics (ODBASE 2003). Catania, Sicily, Italy, pp 671–688

  55. Yang SJH, Lan BCW, Chung JY (2005) A new approach for context aware SOA. In: Proceedings of the 2005 IEEE international conference on e-technology, e-commerce and e-service (EEE’05). IEEE Computer Society, Washington, DC, pp 438–443

Download references

Author information

Authors and Affiliations

  1. Centro de Investigación en Tecnoloxías da Información (CITIUS), Universidade de Santiago de Compostela, Santiago de Compostela, Galicia, Spain

    Juan C. Vidal, Manuel Lama & Alberto Bugarín

Authors
  1. Juan C. Vidal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Lama
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto Bugarín
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juan C. Vidal.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vidal, J.C., Lama, M. & Bugarín, A. Toward the use of Petri nets for the formalization of OWL-S choreographies. Knowl Inf Syst 32, 629–665 (2012). https://doi.org/10.1007/s10115-011-0451-z

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-011-0451-z

Keywords

Search

Navigation