Tutu, Ionut and Fiadeiro, Jose Luiz - Service-Oriented Logic Programming

lmcs:1579 - Logical Methods in Computer Science, August 18, 2015, Volume 11, Issue 3
Service-Oriented Logic Programming

Authors: Tutu, Ionut and Fiadeiro, Jose Luiz

We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that formalize the discovery and binding of services to given client applications by means of logical representations of required and provided services. We show how the denotational and the operational semantics specific to conventional logic programming can be generalized using the theory of institutions to address both static and dynamic aspects of service-oriented computing. Our results rely upon a strong analogy between the discovery of a service that can be bound to an application and the search for a clause that can be used for computing an answer to a query; they explore the manner in which requests for external services can be described as service queries, and explain how the computation of their answers can be performed through service-oriented derivatives of unification and resolution, which characterize the binding of services and the reconfiguration of applications.


Source : oai:arXiv.org:1504.05797
DOI : 10.2168/LMCS-11(3:3)2015
Volume: Volume 11, Issue 3
Published on: August 18, 2015
Submitted on: February 27, 2014
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 108 times.
This article's PDF has been downloaded 63 times.