A logic-programming semantics of services

Ionuţ Ţuţu, José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationAlgebra and Coalgebra in Computer Science
Subtitle of host publication5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
EditorsReiko Heckel, Stefan Milius
PublisherSpringer Verlag
Number of pages15
ISBN (Electronic)9783642402067
ISBN (Print)9783642402050
Publication statusPublished - 2013
Event5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 - Warsaw, Poland
Duration: 3 Sept 20136 Sept 2013

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013


  • Logic Programming
  • Service Discovery
  • Operational Semantic
  • Linear Temporal Logic
  • Client Application

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'A logic-programming semantics of services'. Together they form a unique fingerprint.

Cite this