@inproceedings{229b927edc3447e8a5a0b783690f4774,
title = "A logic-programming semantics of services",
abstract = "We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work provides semantics for the service overlay by abstracting concepts from logic programming. It draws a strong analogy between the discovery of a service that can be bound to a client application and the search for a clause that can be used for computing an answer to a query. In addition, it describes the process of binding services and the reconfiguration of applications as service-oriented derivatives of unification and resolution.",
keywords = "Logic Programming, Service Discovery, Operational Semantic, Linear Temporal Logic, Client Application",
author = "Ionu{\c t} {\c T}u{\c t}u and Fiadeiro, {Jos{\'e} Luiz}",
year = "2013",
doi = "10.1007/978-3-642-40206-7_22",
language = "English",
isbn = "9783642402050",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "299--313",
editor = "Reiko Heckel and Stefan Milius",
booktitle = "Algebra and Coalgebra in Computer Science",
address = "Germany",
note = "5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 ; Conference date: 03-09-2013 Through 06-09-2013",
}