J. Banâtre, &. Daniel, and L. Métayer, The gamma model and its discipline of programming, Science of Computer Programming, vol.15, issue.1, pp.55-77, 1990.
DOI : 10.1016/0167-6423(90)90044-E

A. Barros, M. Dumas, &. Arthur, and . Hofstede, Service Interaction Patterns, Business Process Management, 3rd International Conference, BPM 2005, pp.302-318, 2005.
DOI : 10.1007/11538394_20

M. Benedikt and &. Koch, XPath leashed, ACM Computing Surveys, vol.41, issue.1, pp.1-54, 2008.
DOI : 10.1145/1456650.1456653

G. Berry and &. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I
URL : https://hal.archives-ouvertes.fr/inria-00075426

H. Betz, F. , and T. Frühwirth, Abstract, Logic Programming, 26th International Conference, p.10, 2010.
DOI : 10.1007/978-3-540-70583-3_28

A. Brogi and &. Popescu, Automated Generation of BPEL Adapters, 4th International Conference, Proceedings, pp.27-39, 2006.
DOI : 10.1007/11948148_3

R. Bruni, Calculi for Service-Oriented Computing, Advanced Lectures, pp.1-41, 2009.
DOI : 10.1007/978-3-642-01918-0_1

S. Ceri, G. Gottlob, and &. Tanca, What you always wanted to know about Datalog (and never dared to ask), IEEE Transactions on Knowledge and Data Engineering, vol.1, issue.1, pp.146-166, 1989.
DOI : 10.1109/69.43410

M. Chaudron, &. Edwin-de, and J. , Towards a compositional method for coordinating Gamma programs, First International Conference, CO- ORDINATION 1996, Proceedings, pp.107-123, 1996.
DOI : 10.1007/3-540-61052-9_42

R. Thomas and F. , Architectural styles and the design of network-based software architectures, 2000.

C. Fournet and &. Georges-gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

T. Frühwirth, Welcome to Constraint Handling Rules, Constraint Handling Rules, pp.1-15, 2008.
DOI : 10.1016/S0743-1066(98)10005-5

E. Gamma, R. Helm, and R. Vlissides, Design Patterns, 1995.

H. Ganzinger and &. Mcallester, Logical Algorithms, Logic Programming, 18th International Conference, ICLP 2002, Proceedings, pp.209-223, 2002.
DOI : 10.1007/3-540-45619-8_15

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

M. Gogolla, Formal semantics of SQL, LNCS, vol.767, pp.99-120, 1994.
DOI : 10.1007/3-540-57648-7_11

H. Grall and &. Tabareau, Linear logic as a foundation for service-oriented computing, Work in progress, available on HAL, pp.EMN-INRIA, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00473854

S. Greco and &. Zaniolo, Greedy algorithms in Datalog, Theory and Practice of Logic Programming, vol.1, issue.04, pp.381-407, 2001.
DOI : 10.1017/S1471068401001090

A. Garrote-hernández and &. García, A Formal Definition of RESTful Semantic Web Services, First International Workshop on RESTful Design (WS-REST 2010), pp.39-45, 2010.

M. Huhns and &. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

R. Mateescu, P. , and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, Service-Oriented Computing -ICSOC 2008, 6th International Conference, Proceedings, pp.84-99, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00341598

C. Pautasso, O. Zimmermann, and &. Frank-leymann, Restful web services vs. "big"' web services, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.805-814, 2008.
DOI : 10.1145/1367497.1367606

R. Simmons and &. Pfenning, Linear Logical Algorithms, Proceedings of the 35th International Colloquium, ICALP 2008, pp.336-347, 2008.
DOI : 10.1007/978-3-540-70583-3_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.7375

H. Vieira, L. Caires, and &. Seco, The Conversation Calculus: A Model of Service-Oriented Computation, 17th European Symposium on Programming, pp.269-283, 2008.
DOI : 10.1007/978-3-540-78739-6_21

H. Wang and &. Zaniolo, User-Defined Aggregates in Database Languages, 7th International Workshop on Database Programming Languages, DBPL'99, pp.43-60, 2000.
DOI : 10.1007/3-540-44543-9_4