Publishing and discovering context-dependent services

In service oriented computing, service providers and service requesters are main interacting entities. A service provider publishes the services it wishes to make public using service registries. A service requester initiates a discovery process to find the service that meets its requirements using the service registries. Current approaches for the publication and discovery do not realize the essential relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use any formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through a rigorous verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. In our recent works, we have identified the role of contextual information, trustworthiness information and legal rules in service provision. This paper focuses on the publication and discovery of trustworthy context-dependent services as supported by the novel framework FrSeC. It introduces a novel ranking algorithm that ranks trustworthy context-dependent services according to the degree they match service requesters requirements. Finally, this paper introduces a prototype implementation for the matching and ranking of services as supported by FrSeC.