A logic-programming semantics of services

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

4 Citations (Scopus)

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.

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
Pages299-313
Number of pages15
ISBN (Electronic)9783642402067
ISBN (Print)9783642402050
DOIs
Publication statusPublished - 2013
Event5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 - Warsaw, Poland
Duration: 3 Sep 20136 Sep 2013

Publication series

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

Conference

Conference5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013
CountryPoland
CityWarsaw
Period3/09/136/09/13

Keywords

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

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

  • Cite this

    Ţuţu, I., & Fiadeiro, J. L. (2013). A logic-programming semantics of services. In R. Heckel, & S. Milius (Eds.), Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings (pp. 299-313). (Lecture Notes in Computer Science; Vol. 8089). Springer Verlag. https://doi.org/10.1007/978-3-642-40206-7_22