Y. Yan, K. He, M. Fan, and Y. Ma (PRC)
Automatic Service Composition, Service domain ontology, Situation Calculus, Reverse Ordinal Reasoning
Many methods currently used for automatic service composition have a restriction that the output of the premonitory service must contain the input of the sequela, but most times the input of one service is much more complex, it must have more than one premonitory service. To break the restriction and make the best use of all the services in service registries and network, in this paper, we present a new approach of automatic composition of service based on a composition framework. The framework contains a service domain ontology, a shared understanding of service description and match reasoning, and dynamic logic formalization of service in situation calculus. Based on the framework, a set of services are selected as response to a given request by the reverse ordinal reasoning and composition method, which matches services from output to input elements. We have developed a case study that realizes our techniques, proving that the method can increase searching efficiency for users and make the best use of services in the registries and network.
Important Links:
Go Back
