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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Adida, B., Birbeck, M.: RDFa Primer 1.0. Technical report, W3C (2006), http://www.w3.org/TR/xhtml-rdfa-primer/
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)
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
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)
Boyer, J.M.: XForms 1.1. Technical report, W3C (November 2007), http://www.w3.org/TR/xforms11/
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/
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)
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)
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. In: Information and Software Technology (IST) (2008)
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/
Fielding, R.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)
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
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)
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1996)
Khare, R., Çelik, T.: Microformats: a Pragmatic Path to the Semantic Web. In: Proceedings of the 15th International World Wide Web Conference (2006)
Knopfel, A., Grone, B., Tabeling, P.: Fundamental Modeling Concepts: Effective Communication of IT Systems. Wiley, Chichester (2006)
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)
Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100, 1–40 (1992)
Overdick, H.: The resource-oriented architecture. In: 2007 IEEE Congress on Services (Services 2007), pp. 340–347 (2007)
Overdick, H.: Towards Resource-Oriented BPEL. In: Proceedings of 2nd Workshop on Emerging Web Services Technology in Halle (Saale), German (2007)
Prescod, P.: Roots of the REST/SOAP Debate. In: Proceedings of the Extreme Markup Languages 2002 Conference, Montréal, Quebec, Canada (August 2002)
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)
Reisig, W.: Petri nets. Springer, Heidelberg (1985)
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)
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)
Wilde, E.: What are you talking about? In: 2007 IEEE International Conference on Services Computing (SCC 2007), Salt Lake City, Utah, USA (July 2007)
Wolf, M.: Synchrone und asynchrone Kommunikation in offenen Workflownetzen. Studienarbeit, Humboldt-Universität zu Berlin (May 2007)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)