Composition contracts for service interaction

Luís Filipe Andrade, José Luiz Fiadeiro

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)


In this paper, we address some of the challenges raised by the emerging service-oriented computing paradigm in what concerns the ability to define dynamic interactions between core services for flexible and agile business processes. We claim that, from this point of view, service interaction and composition is well beyond the reach of object-oriented and component-based techniques. We argue instead for the use of architectural modelling techniques that promote the externalization of coordination mechanisms. We show how what we call composition laws and interfaces can be used to define the coordination logic according to which the behavior of a business process can be described in terms of interactions with given partners. These primitives provide a business modelling level that can be mapped onto the specifications that are being proposed for web services, e.g., BPEL, WS-Coordination or WS-Transaction.

Original languageEnglish
Pages (from-to)375-390
Number of pages16
JournalJournal of Universal Computer Science
Issue number4
Publication statusPublished - 28 Apr 2004


  • Architectural connectors
  • Composition
  • Coordination
  • Interaction
  • Service-oriented computing
  • Software architecture
  • Web services

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Composition contracts for service interaction'. Together they form a unique fingerprint.

Cite this