<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Norms, Organisations and Semantic Web Services: The ALIVE approach</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Sergio Alvarez-Napagao</institution>
          ,
          <addr-line>Owen Cliffe</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>-ALIVE is an EU FP7 STREP whose goal is the convergence of organisational and normative modelling with and service-oriented architectures (SOAs) using model-driven software engineering. The project provides a framework for designing and implementing systems, taking into account organisational, coordination and service perspectives. A key project aspect is the integration of normative systems with live SOAs, through the distributed monitoring of normative state. Here we give a brief overview of the project, explore of the domain from a service context, outline the architecture under construction and sketch the use-cases that illustrate and inform the project.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>II. THE ALIVE CONTEXT</title>
      <p>
        The ALIVE architecture combines model driven
development (MDD) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] with coordination and organisational
mechanisms, providing support for live and open systems of services.
ALIVE’s approach extends current trends in engineering by
Fig. 1. ALIVE Multi-Level Architecture
defining three levels in the design and management of
distributed systems: the Service, Coordination and Organisation
Levels, illustrated in Fig. 1, and explained below.
      </p>
      <p>The Service Level extends existing service models, to
make components aware of their social context and of the
rules of engagement with other components and services, by
means of semantic Web technologies. This “semantification”
is particularly useful when highly dynamic and frequently
changing services (the WSs in Fig. 1) are present, as the
metainformation in each service description (stored in a service
directory) aids tasks such as finding substitute services (either
via a matchmaker or manually) when the original fails.</p>
      <p>
        The Coordination Level provides the means to specify, at a
high level, the patterns of interaction among services, using
a variety of powerful coordination techniques from recent
agent research [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. These are represented by agentified
services, that are organisationally-aware, meaning they are
aware of system objectives and manage task allocation and
workflow generation and agreement. Also, at the coordination
level agreed workflows can be adapted while the system is
running—essential when the system has to react to failures or
exceptions (e.g., failing payment or booking systems).
      </p>
      <p>
        The Organisational Level provides a social context for the
Coordination and Service levels, specifying the organisational
rules that govern interaction and using recent developments in
organisational dynamics [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] to allow the structural adaptation
of systems over time. This is important when frequent changes
of rules and restrictions are expected.
      </p>
      <p>The ALIVE architecture can be seen as a service-oriented
middleware supporting the combination, reorganisation and
adaptation of services at both design- and run-time. These
activities follow organisational patterns and adopt coordination
techniques. Furthermore, the MDD paradigm offers significant
developer assistance, through semi-automated transformations
between models of the three levels, as well as the capacity
for multiple target platforms and representation languages.
More details of the theoretical and methodological aspects
are available as public deliverables on the ALIVE website
(http:www.ist-alive.eu).</p>
    </sec>
    <sec id="sec-2">
      <title>III. PROJECT USE-CASES</title>
      <p>We now outline the three use cases on which we draw to
demonstrate and evaluate the effectiveness of the approach.</p>
      <p>Intelligent tourism: The first use case (from TMT Factory
(http://tmtfactory.com), a company selling smart displays for
urban tourist environments) focuses on providing assistance
and advice to tourists through a variety of devices (including
static displays). At the organisational level the use case applies
models of city, regional and national laws to tune the types
of services which are offered to customers (for instance
night clubs not being recommended to under 18s), at the
coordination it negotiates connected services (such as transport
and activities) and at the service level it interacts with existing
providers (such as cinema booking services and transport
planning services).</p>
      <p>Disaster Management: The second use case (from Thales
DCIS laboratory (http://www.decis.nl/)) extends existing work
on the modelling and simulation of urban disasters (here the
flooding of the Rotterdam harbour area). At an organisational
level we model the structure and roles of the services (e.g. city
councils, local and national disaster centres and emergency
services) involved in handling a disaster at various scales
(from simple localised flooding to a city-wide flood) and
the regulations relating to how those parties interact. At the
coordination level we model interactions between parties,
instructions to particular agents (e.g. dispatching fire trucks to
a particular area) and at the service level we link to an existing
simulation environment which models the physical conditions
of a flood as it happens.</p>
      <p>Communication in Virtual Environments: The final use case
(from Calico Jack Ltd. (http://www.calicojack.co.uk/), a
networking research and services provider) deals with modelling
human norms and conventions relating to conversation in
virtual and on-line environments. The use case assumes that
users are active in a number of contexts (such as FaceBook,
Second life, Bebo, via SMS and over email) and handles
the intelligent redirection of communication between users
within these contexts, preserving modelled norms relating to
those communications, such as a user’s desire not to receive
unsolicited communication from unknown parties while in
Second Life. At the coordination level models relationships
between users and their presence in particular contexts, while
at the service level the focus is on low-level interaction with
the underlying services (e.g. via game APIs, or SMS gateways)
and composing services to interchange information contained
within communications, such as transcribing voice-mail
messages to text for delivery within a text-only environment.</p>
    </sec>
    <sec id="sec-3">
      <title>IV. CURRENT STATUS</title>
      <p>
        The key to the success of the project is integrating
state-ofthe art approaches and tools from each of the areas of interest
(organisations, coordination and services). To date, the project
has focused on developing an end-to-end methodology and
meta-model which unifies and relates concepts as follows:
(i) Using the OPERA [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] organisational model and
corresponding Operetta tool organisational concepts (Roles,
Interactions, and Norms) can be specified. (ii) These concepts are
reified as coordination actions and agents, which in turn may
be used to build coordination plans (using the GPGP/TÆMS
coordination framework [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]) for groups of agents enacting
roles within the organisation. (iii) Actions in coordination
plans link to the provision or consumption of semantic web
services, by matchmaking tasks to existing semantic service
descriptions and services using a hybrid matchmaker derived
from OWL-S MX [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. We are developing tools to assist in the
process of semantic annotation of services. (iv) Agents enact
their roles within the (either autonomously or via human
controllers) organisation, by direct communication or by invoking
the selected services, maintaining relevant state. (v) Monitors
observe agent interactions, normative and organisational state
(e.g. the status of agents’ obligations, permissions, powers and
the roles currently being assumed), and the agents interact
with these monitors allowing them reason about the normative
effects of their actions and re-plan after service failures.
      </p>
      <p>Planned project deliverables include a comprehensive
development methodology and a suite of Eclipse-based
development tools (design and run time user assistance tools and
programming libraries for system development).</p>
      <p>Acknowledgement: This work has been supported in part by the
European Commission, project FP7-215890 (ALIVE).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Dignum</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          :
          <article-title>A Model for Organizational Interaction Based on Agents, Founded in Logic</article-title>
          .
          <source>PhD thesis</source>
          , University of Utrecht.
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Ghijsen</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jansweijer</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wielinga</surname>
            ,
            <given-names>B.B.</given-names>
          </string-name>
          :
          <article-title>Towards a Framework for Agent Coordination and Reorganization, AgentCoRe</article-title>
          . In: Coordination, Organizations, Institutions, and
          <article-title>Norms in Agent Systems III</article-title>
          . LNCS, vol.
          <volume>4870</volume>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>14</lpage>
          . Springer, Heidelberg (
          <year>2008</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>Lesser</surname>
            ,
            <given-names>V</given-names>
          </string-name>
          :
          <article-title>Evolution of the GPGP/TAEMS domain-independent coordination framework</article-title>
          .
          <source>In AAMAS '02: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems</source>
          , pages
          <fpage>1</fpage>
          -
          <lpage>2</lpage>
          , New York, NY, USA,
          <year>2002</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <surname>Klusch</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fries</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sycara</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <source>Automated Semantic Web Service Discovery with OWLS-MX, Proc. 5th Intl Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS)</source>
          , Hakodate, Japan,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Matskin</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          et al.:
          <article-title>Enabling Web Services Composition with Software Agents</article-title>
          .
          <source>In: Proc. of the Conference on Internet and Multimedia Systems, and Applications</source>
          . Honolulu (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <article-title>[6] OMG: Model Driven Architecture</article-title>
          . http://www.omg.org/mda/. Retrieved 20090527.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>van der Vecht</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dignum</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jules</surname>
          </string-name>
          , J., Meyer, Ch.,
          <string-name>
            <surname>Dignum</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          : Organizations and Autonomous Agents:
          <article-title>Bottom-up Dynamics of Coordination Mechanisms</article-title>
          . In: 5th Workshop on Coordination, Organizations, Institutions, and
          <article-title>Norms in Agent Systems</article-title>
          . Estoril (
          <year>2008</year>
          ).
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>