ACM Transactions on Programming Languages and Systems (TOPLAS)
Augmenting semantic web service descriptions with compositional specification
Proceedings of the 13th international conference on World Wide Web
A formal approach to component adaptation and composition
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services
ICWE '08 Proceedings of the 2008 Eighth International Conference on Web Engineering
A formal model for Web service composition
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Hi-index | 0.00 |
The discovery of suitable services is a crucial, but challenging activity during service-oriented engineering. While in many scenarios a single service will satisfy the user's exigent needs, there are cases where a combination of services might be appropriate. In this work-in-progess paper we identify several composition patterns that assist in the discovery of appropriate services. We outline a pattern based algorithm for service discovery and formalize the solution set.