RESTful web service composition: Extracting a process model from Linear Logic theorem proving

Proceedings of the 2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011

Volumn , Issue , 2011, Pages 398-403

  Zhao, Xia ^a   Liu, Enjie ^a   Clapworthy, Gordon J ^a   Ye, Na ^b,c   Lu, Yueming ^d  

^a UNIVERSITY OF BEDFORDSHIRE   (United Kingdom)

^b XI'AN UNIVERSITY OF ARCHITECTURE AND TECHNOLOGY   (China)

^c XI'AN JIAOTONG UNIVERSITY   (China)

^d BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

calculus; Linear Logic; Process model; RESTful web services; Service composition

Indexed keywords

CALCULUS; LINEAR LOGIC; PROCESS MODEL; RESTFUL WEB SERVICES; SERVICE COMPOSITIONS;

AUTOMATIC PROGRAMMING; CALCULATIONS; QUALITY OF SERVICE; THEOREM PROVING;

WEB SERVICES;

EID: 83755186085     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NWeSP.2011.6088212     Document Type: Conference Paper

References (20)

1. R. T. Fielding, "Architecture styles and the design of network-based software architectures," University of Califonia, Irvine, Doctoral dissertation 2000.
2. L. Richardson and S. Ruby, RESTful web services.: O'Reilly Media, Inc., 2007.
3. E. Wilde, "Declarative Web 2.0," in Proc of 2007 IEEE International Conference on Information Reuse and Integration (IRI 2007), Las Vegas, 2007, pp. 612-617.
4. H. Zhao and P. Doshi, "Towards automated RESTful web service composition," in Proc of the 2009 IEEE International Conference on Web Services (ICWS '09), Washington, 2009, pp. 189-196.
5. Z. Manna and R. Waldinger, "Fundamentals of deductive program synthesis," IEEE Transactions on Software Engineering, vol. 18, no. 8, pp. 674-704, August 1992.
6. S. Lämmermann, "Runtime service composition via logic-based program synthesis," Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, PhD dissertation 2002.
7. J. Rao, "Semantic web service composition via logic-based program synthesis," Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Doctoral dissertation 2004.
8. J.-Y. Girard, "Linear Logic," Theoretical Computer Science, vol. 50, pp. 1-102, 1987.
9. P. Lincoln, "Deciding provability of linear logic formulas," London Mathematical Society Lecture Note Series, vol. 222, pp. 109-122, 1995.
10. G. Decker, A. Lüders, H. Overdick, K. Schlichting, and M. Weske, "RESTful Petri Net execution," in Web Services and Formal Methods, R. Bruni and K. Wolf, Eds. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 73-87.
11. X. Zhao, E. Liu, and G. J. Clapworthy, "A two-stage RESTful web service composition method based on Linear Logic," in European Conference on Web Services (ECOWS'11), Lugano, 2011. (accepted)
12. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes, I," Inf. Comput., vol. 100, no. 1, pp. 1-40, September 1992.
13. F. Puhlmann, "Why do we actually need the Pi-Calculus for Business Process Management?," in Proc of the 9th International Conference on Business Information Systems (BIS 2006), Bonn, 2006, pp. 77-89.
14. H. Smith and P. Fingar. "Workflow is just a pi process," (2004) BPTrend. Retrieved April 15 2011. http://www.bpmi.org/downloads/LIB-2004-01-4. pdf
15. H. Overdick, "The resource-oriented architecture," in Proc of 2007 IEEE Congress on Services, Salt Lake City, 2007, pp. 340-347.
16. A. G. Hernández and M. N. García, "A formal definition of RESTful semantic web services," in Proc of the First International Workshop on RESTful Design, Raleigh, North Carolina, 2010, pp. 39-45.
17. S. Abramsky, "Proofs as processes.," Theoretical Computer Science, vol. 135, no. 1, pp. 5-9, 1994.
18. G. Bellin and P. J. Scott, "On the pi-calculus and linear logic," Theoretical Computer Science, vol. 135, no. 1, pp. 11-65, 1994.
19. C. Pautasso, "RESTful web service composition with BPEL for REST," Data and Knowledge Engineering, vol. 68, no. 9, pp. 851-866, September 2009.
20. R. Alarcon, E. Wilde, and J. Bellido, "Hypermedia-driven RESTful service composition," in Service-Oriented Computing, Lecture Notes in Computer Science, E., Rossi, G., Yuan, S.-T., Ludwig, H., Fantinato, M. Maximilien, Ed.: Springer Berlin/Heidelberg, 2011, vol. 6568, pp. 111-120.