Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Semantic correctness of transactions and workflows
Semantic correctness of transactions and workflows
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Hi-index | 0.00 |
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves then also be used as components in other contexts. However it is challenging to realise this idea, without essentially programming the composition using some process language such as BPEL4WS or OWL-S process descriptions. This paper presents a mechanism for specifying the external interface to composite and component services, and then deriving an appropriate internal model to realise a functioning composition. We present a conversation specification language for defining interaction protocols and investigate the issue of synchronous and asynchronous communication between the composite service and the component services. The algorithm presented computes a valid orchestration of components, given the interface specification of the desired composite service, interface specifications of available components, and some mapping rules between parameters to deal with ontological issues.