Skip to main content
SpringerLink
Log in

RESTful Petri Net Execution

  • Conference paper
Book cover Web Services and Formal Methods (WS-FM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5387))

Included in the following conference series:

Abstract

Representational State Transfer (REST) has received a lot of attention recently as architectural style for distributed systems made up of loosely coupled resources. While most research in process enactment focuses on BPEL and SOAP, most internet applications are based on REST. To leverage this new architectural style also for process enactment, this paper introduces process enactment in REST environments. The approach is based on Service Nets, a specific class of Petri nets supporting value passing and link passing mobility. Implementation considerations of a prototype are presented. The approach is compared with the traditional BPEL/SOAP approach to process enactment.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adida, B., Birbeck, M.: RDFa Primer 1.0. Technical report, W3C (2006), http://www.w3.org/TR/xhtml-rdfa-primer/

  2. Aversano, L., Cimitile, A., Gallucci, P., Villani, M.L.: FlowManager: A Workflow Management System Based on Petri Nets. In: COMPSAC 2002: Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, Washington, DC, USA, pp. 1054–1059. IEEE Computer Society Press, Los Alamitos (2002)

    Google Scholar 

  3. Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifiers (URI): Generic Syntax. Technical report, The Internet Engineering Task Force (1998), http://www.ietf.org/rfc/rfc2396.txt

  4. 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)

    Chapter  Google Scholar 

  5. Boyer, J.M.: XForms 1.1. Technical report, W3C (November 2007), http://www.w3.org/TR/xforms11/

  6. Burbeck, S.: The tao of e-business services: The evolution of web applications into service-oriented components with web services (October 2000), www.ibm.com/developerworks/library/ws-tao/

  7. Curbera, F., Duftler, M.J., Khalaf, R., Lovell, D.: Bite: Workflow composition for the web. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 94–106. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Curbera, F., Leymann, F., Storey, T., Ferguson, D., Weerawarana, S.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, Englewood Cliffs (2005)

    Google Scholar 

  9. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. In: Information and Software Technology (IST) (2008)

    Google Scholar 

  10. Fallside, D.C., Walmsley, P.: Web Services Business Process Execution Language Version 2.0. Technical report (October 2005), http://www.oasis-open.org/apps/org/workgroup/wsbpel/

  11. Fielding, R.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)

    Google Scholar 

  12. Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Masinter, L., Leach, P., Berners-Lee, T.: Hypertext Transfer Protocol – HTTP/1.1. Technical report, The Internet Engineering Task Force (1999), http://www.ietf.org/rfc/rfc2616

  13. Guan, Z., Hernandez, F., Bangalore, P., Gray, J., Skjellum, A., Velusamy, V., Liu, Y.: Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface. Concurr. Comput.: Pract. Exper. 18(10), 1115–1140 (2006)

    Article  Google Scholar 

  14. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1996)

    Book  MATH  Google Scholar 

  15. Khare, R., Çelik, T.: Microformats: a Pragmatic Path to the Semantic Web. In: Proceedings of the 15th International World Wide Web Conference (2006)

    Google Scholar 

  16. Knopfel, A., Grone, B., Tabeling, P.: Fundamental Modeling Concepts: Effective Communication of IT Systems. Wiley, Chichester (2006)

    Google Scholar 

  17. Lenz, K., Oberweis, A.: Interorganizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 243–263. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  18. 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 

  19. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100, 1–40 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  20. Overdick, H.: The resource-oriented architecture. In: 2007 IEEE Congress on Services (Services 2007), pp. 340–347 (2007)

    Google Scholar 

  21. Overdick, H.: Towards Resource-Oriented BPEL. In: Proceedings of 2nd Workshop on Emerging Web Services Technology in Halle (Saale), German (2007)

    Google Scholar 

  22. Prescod, P.: Roots of the REST/SOAP Debate. In: Proceedings of the Extreme Markup Languages 2002 Conference, Montréal, Quebec, Canada (August 2002)

    Google Scholar 

  23. Purvis, M., Lemalu, S.: An adaptive distributed workflow system framework. In: APSEC 2000: Proceedings of the Seventh Asia-Pacific Software Engineering Conference, Washington, DC, USA, p. 311. IEEE Computer Society, Los Alamitos (2000)

    Chapter  Google Scholar 

  24. Reisig, W.: Petri nets. Springer, Heidelberg (1985)

    Book  MATH  Google Scholar 

  25. Schmidt, K.: Controllability of Open Workflow Nets. In: Enterprise Modelling and Information Systems Architectures, Bonn. Lecture Notes in Informatics (LNI), vol. P-75, pp. 236–249 (2005)

    Google Scholar 

  26. Verbeek, H.M.W.E., Hirnschall, A., van der Aalst, W.M.P.: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 93–108. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  27. Wilde, E.: What are you talking about? In: 2007 IEEE International Conference on Services Computing (SCC 2007), Salt Lake City, Utah, USA (July 2007)

    Google Scholar 

  28. Wolf, M.: Synchrone und asynchrone Kommunikation in offenen Workflownetzen. Studienarbeit, Humboldt-Universität zu Berlin (May 2007)

    Google Scholar 

  29. zur Muehlen, M., Nickerson, J.V., Swenson, K.D.: Developing web services choreography standards: the case of REST vs. SOAP. Decis. Support Syst. 40(1), 9–29 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hasso-Plattner-Institute, University of Potsdam, Germany

    Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting & Mathias Weske

Authors
  1. Gero Decker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Lüders
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hagen Overdick
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kai Schlichting
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, University of Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa, Italy

    Roberto Bruni

  2. Institut für Informatik, Universität Rostock, Albert- Einstein-Str. 21, 18059, Rostock, Germany

    Karsten Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Decker, G., Lüders, A., Overdick, H., Schlichting, K., Weske, M. (2009). RESTful Petri Net Execution. In: Bruni, R., Wolf, K. (eds) Web Services and Formal Methods. WS-FM 2008. Lecture Notes in Computer Science, vol 5387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01364-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01364-5_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01363-8

  • Online ISBN: 978-3-642-01364-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation