Logical Foundations of Services

Author Ionut Tutu

Thumbnail PDF


  • Filesize: 0.62 MB
  • 8 pages

Document Identifiers

Author Details

Ionut Tutu

Cite AsGet BibTex

Ionut Tutu. Logical Foundations of Services. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 111-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, and how properties of interaction-points, i.e. points through which such networks connect to one another, can be expressed. We formalise the resulting logic as a parameterised institution, which promotes the development of both declarative and operational semantics of services in a heterogeneous setting by means of logic-programming concepts.
  • Formal methods
  • Service-oriented computing
  • Institution theory


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads