Journal of the ACM (JACM)
The International Joint Conference on theory and practice of software development on TAPSOFT '87
Algebraic theory of processes
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Trace and testing equivalence on asynchronous processes
Information and Computation
Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design
Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design
Comparing refinements for failure and bisimulation semantics
Fundamenta Informaticae
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Testing Theories for Asynchronous Languages
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Nondeterministic regular expressions as solutions of equational systems
Theoretical Computer Science
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Subtyping for session types in the pi calculus
Acta Informatica
A characterization of regular expressions under bisimulation
Journal of the ACM (JACM)
CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Towards a unifying theory for choreography conformance and contract compliance
SC'07 Proceedings of the 6th international conference on Software composition
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modelling session types using contracts
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 5.23 |
Web services are distributed processes exposing a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services having a specified contract. This calls for a formal notion of contract equivalence satisfying two contrasting goals: being as coarse as possible so as to favor Web services reuse, and guaranteeing successful client/service interaction. We study an equivalence relation that achieves both goals under the assumption that client/service interactions may be mediated by simple orchestrators. In the framework we develop, orchestrators play the role of proofs (in the Curry-Howard sense) justifying an equivalence relation between contracts. This makes it possible to automatically synthesize orchestrators out of Web services contracts.