Supporting Execution-Level Business Process Modeling with Semantic Technologies
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
International Journal of Web and Grid Services
Conceptual modeling approaches for dynamic web service composition
The evolution of conceptual modeling
Patterns for service composition
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
Fundamenta Informaticae
Hi-index | 0.00 |
Automatic web service composition (WSC) is a key componentof flexible SOAs. We address WSC at the profile/capability level, where preconditions and effects of services are described in an ontology. In its most expressive formulation, WSC has two sources of complexity: (A) a combinatorial explosion of the services composition space, and (B) worst-case exponential reasoning is needed to determine whether the underlying ontology implies that a particular composition is a solution. Any WSC technology must hence choose a trade-off between scalability and expressivity. We devise new methods for finding better trade-offs. We address (A) by techniques for the automatic generation of heuristic functions. We address (B) by approximate reasoning techniques for the fully expressive case, and by identifying a sub-class where the required reasoning is tractable. We show empirically that our approach scales gracefully to large pools of pre-discovered services, in several test cases.