Towards the composition of stateful and independent semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Product-line-based requirements customization for web service compositions
Proceedings of the 13th International Software Product Line Conference
Composition of Services with Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Failure analysis for composition of web services represented as labeled transition systems
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Modeling web services by iterative reformulation of functional and non-functional requirements
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A Hadoop-based approach for efficient web service management
International Journal of Web and Grid Services
| Hi-index | 0.00 |
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete functional specification of a desired goal service. This specification is used to compose a choreographer that allows communication between the client and the set of available component services, and is functionally equivalent to the goal service. However, if such a composition cannot be realized, the proposed approach identifies the cause(s) for the failure of composition. This information can be used by the user to minimally reformulate the goal to reduce the 'gap' between the desired functionality. The process can be iterated until a feasible composition is realized or the user decides to abort. The approach ensures that (i) a choreographer, if one is produced by our composition algorithm, in fact realizes the user-specified goal functionality; and (ii) the algorithm is guaranteed to find a composition that meets the user needs as captured in the goal specifications (whenever such a composition exists).