A two-stage RESTful web service composition method based on linear logic

Proceedings - 9th IEEE European Conference on Web Services, ECOWS 2011

Volumn , Issue , 2011, Pages 39-46

  Zhao, Xia ^a   Liu, Enjie ^a   Clapworthy, Gordon J ^a  

^a UNIVERSITY OF BEDFORDSHIRE   (United Kingdom)

Author keywords

Linear Logic; Proof search; RESTful web services; Service composition

Indexed keywords

AUTOMATIC COMPOSITION; FORMAL DEFINITION; LIGHT WEIGHT; LINEAR LOGIC; PROOF SEARCH; RESTFUL WEB SERVICES; SEARCHING EFFICIENCY; SERVICE COMPOSITION PROCESS; SERVICE COMPOSITIONS; SERVICE INVOCATION; TWO STAGE;

QUALITY OF SERVICE;

WEB SERVICES;

EID: 81255210498     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2011.11     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. C. Pautasso, "RESTful web service composition with BPEL for REST," Data and Knowledge Engineering, vol. 68, no. 9, pp. 851-866, September 2009.
6. H. Yu, C. Zhu, H. Cai, and B. Xu, "Role-centric RESTful services description and composition for e-business applications," in Proc of 2009 IEEE International Conference on e-Business Engineering, Macau, 2009, pp. 103-110.
7. F. Rosenberg, F. Curbera, M. J. Duftler, and R. Khalaf, "Composing RESTful services and collaborative workflows: a lightweight approach," IEEE Internet Computing, vol. 12, pp. 24-31, 2008.
8. I. Rauf, A. Ruokonen, T. Systa, and I. Porres, "Modeling a composition RESTful web service with UML," in Proc of the 4th European Conference on Software Architecture (ECSA 2010), Copenhagen, 2010, pp. 253-260.
9. 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.
10. R. Alarcon and E. Wilde, "Linking data from restful services," in Proc of the 3rd workshop on Linked Data on the Web (LDOW), Raleigh, North Carolina, 2010.
11. 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.
12. C. Bizer, T. Heath, and T. Berners-Lee, "Linked data - the story so far," International Journal on Semantic Web and Information Systems (IJSWIS), vol. 5, no. 3, pp. 1-22, 2009.
13. G. Klyne and J. Carroll. (2004) Resource Description Framework (RDF): concepts and abstract syntax - W3C recommendation. Retrieved March 15, 2011, http://www.w3.org/TR/rdf-concepts/
14. D. Brickley and L. Miller. (2010, August) FOAF vocabulary specification 0.98. Retrieved March 15, 2011, http://xmlns.com/foaf/spec/
15. J.-Y. Girard, "Linear Logic," Theoretical Computer Science, vol. 50, pp. 1-102, 1987.
16. J. Rao, P. Küngas, and M. Matskin, "Composition of semantic web services using linear logic theorem proving," Information Systems In The Semantic Web and Web Services, vol. 31, no. 4, pp. 340-360, 2006. (Pubitemid 43290447)
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. P. Lincoln, "Deciding provability of linear logic formulas," London Mathematical Society Lecture Note Series, vol. 222, pp. 109-122, 1995.
20. 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.