<?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-009-01-0002</article-id>
      <article-id pub-id-type="publisher-id">27925</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>C.2.4 - Distributed Systems</subject>
          <subject>D.1.3 - Concurrent Programming</subject>
          <subject>D.2.6 - Programming Environments</subject>
          <subject>D.3.3 - Language Constructs and Features</subject>
          <subject>F.1.1 - Models of Computation</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Banach</surname>
            <given-names>Richard</given-names>
          </name>
          <email xlink:type="simple">banach@cs.man.ac.uk</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Arbab</surname>
            <given-names>Farhad</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Papadopoulos</surname>
            <given-names>George A.</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Glauert</surname>
            <given-names>John R. W.</given-names>
          </name>
          <xref ref-type="aff" rid="A4">4</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Computer Science Dept., Manchester University, Manchester, United Kingdom</addr-line>
        <institution>Computer Science Dept., Manchester University</institution>
        <addr-line content-type="city">Manchester</addr-line>
        <country>United Kingdom</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Center for Mathematics and Computer Science (CWI), Amsterdam and Leiden Institute of Advanced Computer Science, Leiden University, , Netherlands</addr-line>
        <institution>Center for Mathematics and Computer Science (CWI), Amsterdam and Leiden Institute of Advanced Computer Science, Leiden University</institution>
        <country>Netherlands</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">University of Cyprus, Nicosia, Cyprus</addr-line>
        <institution>University of Cyprus</institution>
        <addr-line content-type="city">Nicosia</addr-line>
        <country>Cyprus</country>
      </aff>
      <aff id="A4">
        <label>4</label>
        <addr-line content-type="verbatim">School of Information Systems, University of East Anglia, Norwich, United Kingdom</addr-line>
        <institution>School of Information Systems, University of East Anglia</institution>
        <addr-line content-type="city">Norwich</addr-line>
        <country>United Kingdom</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Richard Banach (<email xlink:type="simple">banach@cs.man.ac.uk</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2003</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>01</month>
        <year>2003</year>
      </pub-date>
      <volume>9</volume>
      <issue>1</issue>
      <fpage>2</fpage>
      <lpage>33</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/9731CBE1-924F-53B4-9DFF-F5EFBD031FF6">9731CBE1-924F-53B4-9DFF-F5EFBD031FF6</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/6996262">6996262</uri>
      <permissions>
        <copyright-statement>Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert</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>The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols into standalone entities, permitting separate development, verification, maintenance, and reuse. The IWIM coordination model is described, and a formal automata theoretic version of the model is developed, capturing the essentials of the framework in a fibration based approach. Specifically, families of worker automata have their communication governed by a state of a manager automaton, whose transitions correspond to reconfigurations. To capture the generality of processes in IWIM systems, the construction is generalised so that process automata can display both manager and worker traits. The relationship with other formalisations of the IWIM conception of the coordination principle is explored.</p>
      </abstract>
    </article-meta>
  </front>
</article>
