<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-010-04-0375</article-id>
      <article-id pub-id-type="publisher-id">28213</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>D.2.10 - Design</subject>
          <subject>D.2.11 - Software Architectures</subject>
          <subject>D.2 - SOFTWARE ENGINEERING</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Composition Contracts for Service Interaction</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Andrade</surname>
            <given-names>Luís Filipe</given-names>
          </name>
          <email xlink:type="simple">luis.andrade@atxsoftware.com</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Fiadeiro</surname>
            <given-names>José Luiz</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">ATX Software S.A., , Portugal</addr-line>
        <institution>ATX Software S.A.</institution>
        <country>Portugal</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">University of Leicester, , United Kingdom</addr-line>
        <institution>University of Leicester</institution>
        <country>United Kingdom</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Luís Filipe Andrade (<email xlink:type="simple">luis.andrade@atxsoftware.com</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2004</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>04</month>
        <year>2004</year>
      </pub-date>
      <volume>10</volume>
      <issue>4</issue>
      <fpage>375</fpage>
      <lpage>390</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/120808BF-AABA-54EB-9AEE-5044D5143D8E">120808BF-AABA-54EB-9AEE-5044D5143D8E</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6996524">6996524</uri>
      <permissions>
        <copyright-statement>Luís Filipe Andrade, José Luiz Fiadeiro</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>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.</p>
      </abstract>
    </article-meta>
  </front>
</article>
