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)
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
A Petri Nets based functional validation for services composition
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
There is great promise in the idea of having 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 WS-BPEL 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.