Contract-based discovery of Web services modulo simple orchestrators

Theoretical Computer Science

Volumn 411, Issue 37, 2010, Pages 3328-3347

  Padovani, Luca ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

Behavioral contracts; ccs; Orchestration; Testing semantics; Web service discovery

Indexed keywords

CCS; CURRY-HOWARD; DISTRIBUTED PROCESS; EQUIVALENCE RELATIONS; TESTING SEMANTICS; WEB SERVICE DESCRIPTION; WEB SERVICE DISCOVERY;

SEMANTICS; SET THEORY; WEB SERVICES;

SEMANTIC WEB;

EID: 77955467636     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.05.002     Document Type: Article

References (38)

1. Alexandre Alves, Assaf Arkin, Sid Askary, Charlton Barreto, et al., Web services business process execution language version 2.0, 2007. Available at: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
2. Jos C.M. Baeten, Flavio Corradini, and Clemens A. Grabmayer A characterization of regular expressions under bisimulation Journal of the ACM 54 2 2007 6
3. Arindam Banerji, Claudio Bartolini, Dorothea Beringer, Venkatesh Chopella, et al., Web services conversation language (wscl) 1.0, 2002. Available at: http://www.w3.org/TR/wscl10/.
4. Tom Bellwood, Steve Capell, Luc Clement, John Colgrave, et al., uddiVersion 3.0.2, 2005. Available at: http://uddi.org/pubs/uddi-v3.0.2- 20041019.htm.
5. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella Automatic composition of e-services that export their behavior Proceedings of ICSOC'03 LNCS vol. 2910 2003 Springer 43 58
6. Dorothea Beringer, Harumi Kuno, Mike Lemon, Using wscl in a uddi Registry 1.0, 2001. Available at: http://xml.coverpages.org/HP-UDDI-wscl-5-16-01.pdf.
7. Michele Boreale, Rocco De Nicola, and Rosario Pugliese Trace and testing equivalence on asynchronous processes Information and Computation 172 2 2002 139 164
8. Mario Bravetti, and Gianluigi Zavattaro Towards a unifying theory for choreography conformance and contract compliance Proceedings of the 6th Intl. Symposium on Software Composition LNCS vol. 4829 2007 Springer 34 50
9. Ed Brinksma, Giuseppe Scollo, and Chris Steenbergen lotos specifications, their implementations and their tests 1995 IEEE Computer Society Press
10. Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, and Luca Padovani A formal account of contracts for web services Proceedings of WS-FM'06 LNCS vol. 4184 2006 Springer 148 162
11. Giuseppe Castagna, Nils Gesbert, and Luca Padovani A theory of contracts for web services ACM Transactions on Programming Languages and Systems (TOPLAS) 31 5 2009 1 61
12. Ilaria Castellani, and Matthew Hennessy Testing theories for asynchronous languages Proceedings of Foundations of Software Technology and Theoretical Computer Science LNCS vol. 1530 1998 Springer 90 101
13. Roberto Chinnici, Jean-Jacques Moreau, Arthur Ryman, Sanjiva Weerawarana, Web services description language (wsdl) Version 2.0 Part 1: Core Language, 2007. Available at: http://www.w3.org/TR/wsdl20.
14. Rance Cleaveland, and Matthew Hennessy Testing equivalence as a bisimulation equivalence Formal Aspects of Computing 5 1 1993 1 20
15. John Colgrave, Karsten Januszewski, Using wsdl in a uddi registry, version 2.0.2. Technical note, OASIS, 2004. Available at: http://www.oasis-open. org/committees/uddi-spec/doc/tn/uddi-spec-tc-tn-wsdl-v2.htm.
16. Bruno Courcelle Fundamental properties of infinite trees Theoretical Computer Science 25 1983 95 169
17. Rocco De Nicola, and Matthew Hennessy Testing equivalences for processes Theoretical Computer Science 34 1984 83 133
18. Rocco De Nicola, and Matthew Hennessy ccswithout τ 's Proceedings of TAPSOFT'87/CAAP'87 LNCS vol. 249 1987 Springer 138 152
19. Rocco De Nicola, and Anna Labella Nondeterministic regular expressions as solutions of equational systems Theoretical Computer Science 302 13 2003 179 189
20. Roberto Di Cosmo Isomorphisms of Types: From Lambda Calculus to Information Retrieval and Language Design 1995 Birkhauser
21. Rik Eshuis, and Maarten M. Fokkinga Comparing refinements for failure and bisimulation semantics Fundamenta Informaticae 52 4 2002 297 321
22. Cdric Fournet, Tony Hoare, Sriram K. Rajamani, Jakob Rehof, Stuck-free conformance, Technical Report MSR-TR-2004-69, Microsoft Research, 2004.
23. Simon Gay, and Malcolm Hole Subtyping for session types in the π -calculus Acta Informatica 42 2-3 2005 191 225
24. Giuseppe De Giacomo, and Sebastian Sardia Automatic synthesis of new behaviors from a library of available behaviors Proceedings of IJCAI'07 2007 Morgan Kaufmann Publishers Inc. 1866 1871
25. Matthew Hennessy Acceptance trees Journal of the ACM 32 4 1985 896 928
26. Matthew Hennessy Algebraic Theory of Processes 1988 MIT Press
27. Kohei Honda Types for dyadic interaction Proceedings of CONCUR'93 LNCS vol. 715 1993 Springer 509 523
28. Richard Hull, Michael Benedikt, Vassilis Christophides, and Jianwen Su E-services: a look behind the curtain Proceedings of PODS'03 2003 ACM 1 14
29. Paola Inverardi, and Massimo Tivoli Software architecture for correct components assembly Proceedings of SFM'03 LNCS vol. 2804 2003 Springer 92 121
30. Paris C. Kanellakis, and Scott A. Smolka ccsexpressions, finite state processes, and three problems of equivalence Information and Computation 86 1 1990 43 68
31. Cosimo Laneve, and Luca Padovani The must preorder revisited an algebraic theory for web services contracts Proceedings of CONCUR'07 LNCS vol. 4703 2007 Springer 212 225
32. Cosimo Laneve, and Luca Padovani The pairing of contracts and session types Concurrency, Graphs and Models LNCS vol. 5065 2008 Springer 681 700
33. Jayadev Misra, and William R. Cook Computation orchestration a basis for wide-area computing Software and Systems Modeling 6 1 2007 830110
34. Luca Padovani Contract-directed synthesis of simple orchestrators Proceedings of CONCUR'08 LNCS vol. 5201 2008 Springer 131 146
35. Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, and Annapaola Marconi Automated synthesis of composite bpel4ws web services Proceedings of ICWS'05 2005 IEEE Computer Society 293 301
36. Mikael Rittri Retrieving library functions by unifying types modulo linear isomorphism RAIRO Theoretical Informatics and Applications 27 6 1993 523 540
37. Paolo Traverso, and Marco Pistore Automated Composition of Semantic Web Services into Executable Processes Proceedings of ISWC'04 LNCS vol. 3298 2004 Springer 380 394
38. Claus von Riegen, Ivana Trickovic, Using bpel4ws in a uddi registry, Technical Note, OASIS, 2004. Available at: http://www.oasis-open.org/committees/ uddi-spec/doc/tn/uddi-spec-tc-tn-bpel.htm.