An interface theory for service-oriented design

José Luiz Fiadeiro, Antónia Lopes

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)


We put forward an interface and component algebra through which we characterise fundamental structures that support service-oriented design independently of the specific formalisms that may be adopted to provide models for languages or analysis tools. We view services as an interface mechanism that can be superposed over a component infrastructure, what is sometimes referred to as a 'service overlay'. The component algebra consists of networks of processes that interact asynchronously through communication channels. A service interface offers properties to potential clients and requires properties of external services that, at run time, may need to be discovered and bound to the orchestration of the service. We define what it means for an asynchronous relational net to orchestrate a service interface and prove a number of compositionality results that relate the operations of both algebras. One of the major results of the paper is the characterisation of a sub-class of asynchronous relational nets over which we can guarantee that, when binding, through their interfaces, a client and a supplier service, the composition of the orchestrations of the two services is consistent, i.e., both services can work together as interconnected.

Original languageEnglish
Pages (from-to)1-30
Number of pages30
JournalTheoretical Computer Science
Publication statusPublished - 9 Sept 2013


  • Asynchronous process networks
  • Component algebra
  • Interface algebra
  • Orchestration
  • Service-oriented computing
  • Temporal logic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'An interface theory for service-oriented design'. Together they form a unique fingerprint.

Cite this