<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE raweb PUBLIC "-//INRIA//DTD " "raweb2.dtd">
<raweb xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:html="http://www.w3.org/1999/xhtml" xml:lang="en" year="2005">
  <identification id="ecoo" isproject="true">
    <shortname>ECOO</shortname>
    <projectName>Middleware for supporting cooperative work through Internet</projectName>
    <theme>COG</theme>
    <team id="uid1">
      <participants category="Head_of_project_team">
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
          <moreinfo>Professor, Université Henri Poincaré Nancy 1, ESSTIN</moreinfo>
        </person>
      </participants>
      <participants category="Vice-Head_of_project_team">
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
          <moreinfo>Assistant Professor, Université Henri Poincaré Nancy 1</moreinfo>
        </person>
      </participants>
      <participants category="Administrative_Assistant">
        <person key="ecoo-2005-id18120">
          <firstname>Antoinette</firstname>
          <lastname>Courrier</lastname>
        </person>
      </participants>
      <participants category="Scientific_staff">
        <person key="ecoo-2005-id18136">
          <firstname>Khalid</firstname>
          <lastname>Benali</lastname>
          <moreinfo>Assistant Professor, Université Nancy 2</moreinfo>
        </person>
        <person key="ecoo-2005-id18151">
          <firstname>Nacer</firstname>
          <lastname>Boudjlida</lastname>
          <moreinfo>Professor, Université Henri Poincaré Nancy 1</moreinfo>
        </person>
        <person key="ecoo-2005-id18166">
          <firstname>Gérôme</firstname>
          <lastname>Canals</lastname>
          <moreinfo>Assistant Professor, Université Nancy 2</moreinfo>
        </person>
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
          <moreinfo>Assistant Professor, Université Henri Poincaré Nancy 1</moreinfo>
        </person>
        <person key="ecoo-2005-id18197">
          <firstname>Jacques</firstname>
          <lastname>Lonchamp</lastname>
          <moreinfo>Professor, Université Nancy 2</moreinfo>
        </person>
        <person key="ecoo-2005-id18211">
          <firstname>Olivier</firstname>
          <lastname>Perrin</lastname>
          <moreinfo>Assistant Professor, Université Nancy 2</moreinfo>
        </person>
        <person key="ecoo-2005-id18226">
          <firstname>Hala</firstname>
          <lastname>Skaf-Molli</lastname>
          <moreinfo>Assistant Professor, Université Henri Poincaré Nancy 1</moreinfo>
        </person>
        <person key="ecoo-2005-id18242">
          <firstname>Pascal</firstname>
          <lastname>Urso</lastname>
          <moreinfo>Assistant Professor, Université Henri Poincaré Nancy 1</moreinfo>
        </person>
      </participants>
      <participants category="PHD_Students">
        <person key="ecoo-2005-id18262">
          <firstname>Sauwan</firstname>
          <lastname>Alshatinawi</lastname>
          <moreinfo>French government grant since October 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18425">
          <firstname>Sami</firstname>
          <lastname>Bhiri</lastname>
          <moreinfo>Lecturer U. Nancy 2 until October 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18291">
          <firstname>Dong</firstname>
          <lastname>Chen</lastname>
          <moreinfo>
          <span align="left" class="smallcap">UHP</span>grant since october 2003</moreinfo>
        </person>
        <person key="ecoo-2005-id18312">
          <firstname>Alicia</firstname>
          <lastname>Diaz</lastname>
          <moreinfo>Shared cost with LIFIA Laboratory, La Plata, Argentine until october 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18326">
          <firstname>Walid</firstname>
          <lastname>Gaaloul</lastname>
          <moreinfo>
          <span align="left" class="smallcap">INRIA</span>grant since October 2002 until October 2005, Lecturer UHP since October 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18349">
          <firstname>Khaled</firstname>
          <lastname>Gaaloul</lastname>
          <moreinfo>Cifre grant since October 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18363">
          <firstname>Adnene</firstname>
          <lastname>Guabtni</lastname>
          <moreinfo>Tunisia Government grant since october 2003</moreinfo>
        </person>
        <person key="ecoo-2005-id18439">
          <firstname>Gérald</firstname>
          <lastname>Oster</lastname>
          <moreinfo>Lecturer UHP until September 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18391">
          <firstname>Mohsen</firstname>
          <lastname>Rouached</lastname>
          <moreinfo>MESR grant since October 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18405">
          <firstname>Ustun</firstname>
          <lastname>Yildiz</lastname>
          <moreinfo>Luxembourg FNSR grant since October 2004</moreinfo>
        </person>
      </participants>
      <participants category="Post-doctoral_Fellow">
        <person key="ecoo-2005-id18425">
          <firstname>Sami</firstname>
          <lastname>Bhiri</lastname>
          <moreinfo>DERI University, Gallway, Ireland, since November 2005</moreinfo>
        </person>
        <person key="ecoo-2005-id18439">
          <firstname>Gérald</firstname>
          <lastname>Oster</lastname>
          <moreinfo>ETH Zurich, since November 2005</moreinfo>
        </person>
      </participants>
      <participants category="Technical_Staff">
        <person key="ecoo-2005-id18458">
          <firstname>Florent</firstname>
          <lastname>Jouille</lastname>
          <moreinfo>Technical staff, since October 2004 until October 2006</moreinfo>
        </person>
      </participants>
    </team>
    <UR name="Lorraine"/>
    <moreinfo>
      <p>ECOO is a project of LORIA (UMR 7503), a joint venture between CNRS, INRIA, Université Henri Poincaré Nancy 1, Université Nancy 2 and Institut National Polytechnique de Lorraine.</p>
    </moreinfo>
  </identification>
  <presentation id="uid3">
    <bodyTitle>Overall Objectives</bodyTitle>
    <subsection level="1" id="uid4">
      <bodyTitle>Overall Objectives</bodyTitle>
      <keyword>cooperation</keyword>
      <keyword>coordination</keyword>
      <keyword>collaboration</keyword>
      <keyword>data consistency</keyword>
      <keyword>data replication</keyword>
      <keyword>process</keyword>
      <keyword>transaction</keyword>
      <keyword>workflow</keyword>
      <keyword>web service</keyword>
      <keyword>cooperative editing</keyword>
      <keyword>distributed team</keyword>
      <keyword>distributed enterprise</keyword>
      <keyword>information system</keyword>
      <p>The ECOO project is interested in the development of Web information systems, with a focus on services for deploying distributed teams and virtual enterprises on the Internet. Related services include data sharing, task management, and group awareness services.</p>
      <p>The ECOO approach is characterized by its focus on coordination, a crucial problem due to the lost of natural awareness resulting from distribution in space and time.</p>
      <p>Difficult research problems related to this problematic and addressed by ECOO this last three years are:</p>
      <simplelist>
        <li id="uid5">
          <p>consistency maintenance of semantically linked data,</p>
        </li>
        <li id="uid6">
          <p>consistency maintenance of replicas of the same data,</p>
        </li>
        <li id="uid7">
          <p>context based awareness,</p>
        </li>
        <li id="uid8">
          <p>integration of these dimensions.</p>
        </li>
      </simplelist>
      <p>In the next few years we will concentrate our work on the two first topics revisited as:</p>
      <simplelist>
        <li id="uid9">
          <p>process modelling, collaborative processing,</p>
        </li>
        <li id="uid10">
          <p>collaborative editing.</p>
        </li>
      </simplelist>
      <p>The awareness dimension will be considered from the point of view of these two topics.</p>
      <p>Privileged applications in our target are creative cooperative applications like co-conception, co-engineering, cooperative editing, service orchestration in various domains like Software Engineering, e-Commerce, e-Learning, Architecture-Engineering-Construction.</p>
    </subsection>
  </presentation>
  <fondements id="uid11">
    <bodyTitle>Scientific Foundations</bodyTitle>
    <subsection level="1" id="uid12">
      <bodyTitle>Process modeling, Workflow.</bodyTitle>
      <p>An important research direction of ECOO concerns the coordination of a distributed team based on an explicit definition of working processes (workflow).</p>
      <p>Traditional workflow models 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid0" location="biblio" xyref="2002264748029"/>, if they seem a good starting point for this modelling activity, suffer from a lack of flexibility in both control
      flow and data flow definition and interpretation; there are too rigid to model the subtlety of interactions characterizing creative cooperative activities.</p>
      <p>As a consequence, different approaches have been proposed to extend the traditional workflow approach towards cooperative applications. In this context, our main stream approach is to keep a traditional process description model but with a different semantic for integrating control and
      data flow flexibility.</p>
      <p>Another emerging characteristics of our approach is the consideration that, in a lot of application, there is not one explicit process, but several interacting processes, potentially based on different models (functional, state-based, dataflow), and in some cases not explicitly
      defined.</p>
    </subsection>
    <subsection level="1" id="uid13">
      <bodyTitle>Cooperative transactions.</bodyTitle>
      <p>To be able to define properties of workflow executions, activities are generally considered as black boxes executing as ACID transactions. Unfortunately, ACIDity seems antagonistic with cooperation, cooperative processes being of long time duration, of uncertain development, dynamically
      defined, mobile ... Especially, the Isolation property seems problematic for interacting activities exchanging intermediate results in complex feedback loops. To surpass the limits of traditional transaction models, several well founded or exotic models have been proposed.</p>
      <p>Regarding the transactional problematic, in the vein of  
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid1" location="biblio" xyref="2002264748029"/>, and in the aforementioned objective of multi-model process integration, we are concerned with the concurrency
      control and atomicity of transactional processes. This can be sketched in a top-down or in a bottom-up perspective. For both perspectives, we are developing a transactional framework to provide active support for transactional activities composition and composition evaluation.</p>
    </subsection>
    <subsection level="1" id="uid14">
      <bodyTitle>Software configuration and version management</bodyTitle>
      <p>One domain in which cooperative work is organized since a long time is the software development domain. Tools like CVS are used since several years by thousands of software developers. We can even say that the 
      <i>copy/modify/merge</i>paradigm is one of the more concrete implementation of cooperative work at a large scale. However, we have to note that this model, which synchronizes one entity at a time, if it is highly operational, suffers from some weakness regarding consistency of shared
      data.</p>
      <p>The copy/modify/merge paradigm has deeply influenced our view of cooperation. But our objective is to integrate it in a more global vision for better taking into account semantic links between two or more objects, and better integrating asynchronous work phases with synchronous phases.</p>
    </subsection>
    <subsection level="1" id="uid15">
      <bodyTitle>Real time synchronous editors</bodyTitle>
      <p>Synchronous editors allow to maintain as soon as possible the consistency of two or more copies of the same object that are concurrently modified at the same time by several users distributed through a network. Algorithms are founded on the fusion of execution traces.</p>
      <p>We use trace fusion algorithms for everything that requests a synchronous view of several user modifications including the synchronous visualization of divergence between users modifying asynchronously copies of the same object. We extended these algorithms for assuring a smooth and
      consistent transition from asynchronous to synchronous phases, especially for the reconciliation of divergent copies. We develop a technology for specifying and implementing a generic and secure synchronizer.</p>
    </subsection>
    <subsection level="1" id="uid16">
      <bodyTitle>Usage analysis</bodyTitle>
      <p>Cooperative work includes an important human dimension. A bad apprehension of this dimension leads inevitably to the rejection of any software solution on the field. A good study of actual usages before, during and after development is predominant.</p>
      <p>Usage analysis is more a research topic in social sciences than in computer sciences. Our approach is to implicate potential users early in the development process (participative design). Also, we ask specialists (psychologists, educationists), when possible, to conduct these analyses. We
      have had the opportunity to develop this strategy thanks to scientific and industrial relationships.</p>
    </subsection>
  </fondements>
  <domaine id="uid17">
    <bodyTitle>Application Domains</bodyTitle>
    <subsection level="1" id="uid18">
      <bodyTitle>Application Domains</bodyTitle>
      <p>Our work aims at supporting creative cooperative applications of various nature: co-design, co-engineering, e-learning, cooperative authoring for participants distributed in time, space and eventually in organizations. It corresponds to enterprises cooperating through Internet to the
      design and/or development of a common product (e-commerce, business process, cooperative software development, co-design and co-engineering ...).</p>
    </subsection>
  </domaine>
  <logiciels id="uid19">
    <bodyTitle>Software</bodyTitle>
    <subsection level="1" id="uid20">
      <bodyTitle>Introduction</bodyTitle>
      <p>All the softwares listed in this section have not reached the same level of diffusion. Bonita is distributed with a GPL License as an ObjectWeb project and continue to evolve without ECOO direct implication. LibreSource has just been released with a QPL License. Its evolutions are under
      the control of an architects board leaded by the Artenum company. jXyDiff is a library distributed by INRIA. PROM is a joint work within a community of people implied in process mining. WSCompositionEditor and Sams are prototypes in which we feel a lot of possibilities.</p>
    </subsection>
    <subsection level="1" id="uid21">
      <bodyTitle>Bonita flexible workflow management system</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
        </person>
      </participants>
      <p>The Bonita workflow model is defined as a classical graph based one, but with an advanced execution model that allows different kinds of execution strategies: from classical and automatic, to less constrained user driven. Another difference with classical models is that process definition
      is dynamic. Bonita supports direct process instantiation and execution. A new process can be created by cloning another running or finished process and then adapted to specific needs. Process fragment importation is also possible. Bonita is implemented on a J2EE application server. It is
      available on Jonas. It provides a definition and an execution API available as a session bean and as Web services. Integration of external components can be done inside activities using the BeanShel scripting language. Bonita is available as an ObjectWeb project on the ObjectWeb forge (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://bonita.forge.objectweb.org/" location="extern" xyref="3372526921002">http://bonita.forge.objectweb.org/</ref>).</p>
    </subsection>
    <subsection level="1" id="uid22">
      <bodyTitle>LibreSource: services for hosting virtual teams</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="PASUSERID">
          <firstname>Guillaume</firstname>
          <lastname>Bort</lastname>
        </person>
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
        <person key="ecoo-2005-id18458">
          <firstname>Florent</firstname>
          <lastname>Jouille</lastname>
        </person>
        <person key="PASUSERID">
          <firstname>Sébastien</firstname>
          <lastname>Jourdain</lastname>
        </person>
        <person key="ecoo-2005-id18439">
          <firstname>Gérald</firstname>
          <lastname>Oster</lastname>
        </person>
      </participants>
      <p>LibreSource allows a virtual team to organize and its participants to cooperate. Its objective is in the vein of BSCW and SourceForge, but with an original object sharing model where copy convergence is based on the operational transformation approach which provides for a safe and generic
      synchronizer. In other words, LibreSource is not restricted to the synchronization of source code, but can apply to any type of data (XML for example) if the corresponding transformation operations are provided.</p>
      <p>Another inovative point is the fact that the synchonizer can be distributed on several sides, thus providing for the modelling of (hierarchically organized) processes.</p>
      <p>LibreSource also integrates traditional services for object sharing, communication, task management and group awareness.</p>
      <p>LibreSource (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://www.libresource.org/" location="extern" xyref="1649415846006">http://www.libresource.org/</ref>) is implemented on a J2EE application server. It is
      available on Jonas. It has been developed in the frame of the RNTL PureSource project (cf. 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#uid46" location="intern" xyref="2002264748029"/>).</p>
    </subsection>
    <subsection level="1" id="uid23">
      <bodyTitle>jXyDiff: XML diff. algorithm</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
          <moreinfo>responsable</moreinfo>
        </person>
        <person key="PASUSERID">
          <firstname>Sébastien</firstname>
          <lastname>Jourdain</lastname>
        </person>
      </participants>
      <p>jXyDiff is a Java implementation of the XyDiff algorithm 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid2" location="biblio" xyref="2002264748029"/>which provides for finding differencies between XML files. It has been implemented in cooperation with the Gemo
      project of INRIA Futurs.</p>
    </subsection>
    <subsection level="1" id="uid24">
      <bodyTitle>PROM mining plug-ins</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18326">
          <firstname>Walid</firstname>
          <lastname>Gaaloul</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
      </participants>
      <p>We have provided the PROM framework with mining plug-ins, the goal of which is to extract a process model from a given event log without using any additional knowledge of the process.</p>
      <p>The ProM framework (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://www.processmining.org" location="extern" xyref="3358568579016">http://www.processmining.org</ref>) is a pluggable framework developped by a community concerned
      with process mining. It supports a variety of process management techniques and can be extended by simply adding plug-ins, i.e., there is no need to know or recompile the source code. Currently, more than 30 plug-ins have been added. The architecture of ProM allows for five different types of
      plug-ins.</p>
    </subsection>
    <subsection level="1" id="uid25">
      <bodyTitle>WSCompositionEditor</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18211">
          <firstname>Olivier</firstname>
          <lastname>Perrin</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="ecoo-2005-id18425">
          <firstname>Sami</firstname>
          <lastname>Bhiri</lastname>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
      </participants>
      <p>
      <i>WSCompositionEditor</i>allows a designer to graphically composes (Web) Services with patterns for defining Composite (Web) Services. Service descriptions can be refined with transactional properties. The editor is associated an environment allowing simulating the transactional behavior of
      Composite Services, i.e. how they globally behave in case of failure. Simulation is based on an extension of Bonita (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://bonita.objectweb.org/" location="extern" xyref="1919627376020">http://bonita.objectweb.org/</ref>) with plug-ins to manage transactional properties. This
      extended Bonita can also be used as a process engine to execute composite services. All is written in Java.</p>
    </subsection>
    <subsection level="1" id="uid26">
      <bodyTitle>SAMS: Synchronous, Asynchronous, MultiSynchronous editor</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="PASUSERID">
          <firstname>Sébastien</firstname>
          <lastname>Jourdain</lastname>
        </person>
        <person key="ecoo-2005-id18439">
          <firstname>Gérald</firstname>
          <lastname>Oster</lastname>
        </person>
      </participants>
      <p>In the context of cooperative work, a team alternates divergence phases where each member works in insulation on copies of objects and convergence phases during which the group reconciles and validates data. To support this style of working, we propose the concept of SAMS environments. A
      SAMS environment allows team members to work in Synchronous, Asynchronous or Multi-Synchronous mode while ensuring the coherence of shared data. Users of SAMS environment can choose interaction mode according to their needs, and the environment will ensure the coherence of data. Sams is
      available freely at 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://woinville.loria.fr/sams" location="extern" xyref="2697830153006">http://woinville.loria.fr/sams</ref>.</p>
    </subsection>
    <subsection level="1" id="uid27">
      <bodyTitle>Coopera: cooperation for everybody</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
      </participants>
      <p>Coopera allows a virtual team to organize, and its participants to cooperate. Its objective are in the vein of BSCW and SourceForge but with a focus on coordination and a simplified interface and architecture that put the power of version management at the range of almost everybody.</p>
      <p>This result has been obtained thanks to several usage analyses: cooperation between several classrooms of several primary schools 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid3" location="biblio" xyref="2002264748029"/>and continuing education of nurses distributed through France.</p>
      <p>It integrates services for object sharing, communicating, task management and group awareness. Object sharing supports file versioning and access right control. Classical synchronous and asynchronous communication tools are integrated. Task management provides to-do-lists and flexible
      workflows. One characteristic of Coopera is the provision of awareness, and especially state awareness in different visualization forms.</p>
      <p>Coopera 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://coopera.loria.fr" location="extern" xyref="931087928002">http://coopera.loria.fr</ref>is implemented with basic Web technologies (HTTP, PHP, Mysql ...) and can
      be easily deployed. It has been developed in the frame of the Coopera project from the RIAM network.</p>
    </subsection>
  </logiciels>
  <resultats id="uid28">
    <bodyTitle>New Results</bodyTitle>
    <subsection level="1" id="uid29">
      <bodyTitle>Transactional consistency, process concurrency, Web processes</bodyTitle>
      <subsection level="2" id="uid30">
        <bodyTitle>Introduction</bodyTitle>
        <p>We are now exploring process in two main directions ''Extending workflow management systems to support the subtlety of creative interactions'' and ''Concurrency and atomicity of long term interactive processes''. This is motivated by the observation that in a real complex cooperative
        development there is not one well defined process, but several, only partly specified processes that co-habit and interact. How to support concurrency between processes having their proper internal control structure, potentially instantiated from different process models? How to discover
        processes, and especially cooperation rules from logs of process executions when these processes are not explicitly defined? These two questions are related each to the other by the fundamental need to characterize and formalize cooperative interactions. Concerning concurrency between
        processes, the idea is, in opposition with the state of the art which mainly founds atomicity on isolation, to take advantage of the structure and the semantics of processes to increase the synergy and the parallelism between processes. Concerning, process discovery, the objective is to
        find out cooperation patterns and how processes are related each to others in a given application. We see the application of this research naturally in the coordination of multi-user creative applications.</p>
        <p>This year main contributions are:</p>
        <simplelist>
          <li id="uid31">
            <p>the definition of a framework for combining (Web) services with transactional properties and for validating such combination,</p>
          </li>
          <li id="uid32">
            <p>an algorithm for mining workflow patterns with transactional properties, and for mining and improving recovery strategies.</p>
          </li>
        </simplelist>
      </subsection>
      <subsection level="2" id="uid33">
        <bodyTitle>Transactional Web services composition</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18425">
            <firstname>Sami</firstname>
            <lastname>Bhiri</lastname>
          </person>
          <person key="ecoo-2005-id18326">
            <firstname>Walid</firstname>
            <lastname>Gaaloul</lastname>
          </person>
          <person key="ecoo-2005-id18078">
            <firstname>Claude</firstname>
            <lastname>Godart</lastname>
          </person>
          <person key="ecoo-2005-id18211">
            <firstname>Olivier</firstname>
            <lastname>Perrin</lastname>
          </person>
        </participants>
        <p>The Web services approach is extending the role of the Web from a support of information interaction to a middleware for B2B interactions. One of the interesting concepts that this technology offers is the possibility to define a new service by combining existing Web services. We are
        interested in ensuring reliable Web services composition; such a composite service (CS) can be also seen as a process that executes on the Web.</p>
        <p>For that purpose, we propose a model that extends Web services description to better express their transactional properties and that extends and merge workflow and advanced transactional models (ATM) concepts to better support composite Web services reliability. To support designers in
        the definition of reliable composite Web services, we have developed three approaches 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid4" location="biblio" xyref="2002264748029"/>.</p>
        <p>Contrary to ATM, the first approach starts from designers requirements to determine the transactional mechanisms ensuring correct executions 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid5" location="biblio" xyref="2002264748029"/>. The second approach is based on the concept of 
        <i>Transactional Workflow Patterns</i> 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid6" location="biblio" xyref="2002264748029"/>. A 
        <i>Transactional Workflow Pattern</i>is a pattern that extends workflow patterns with transactional properties. Workflow patterns allow a designer to define a composite Web service by connecting together a set of transactional patterns. Accordingly, we propose a set of coherence rules to
        ensure such defined CS reliability. The third approach proceeds by reengineering the composite service (CS) 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid7" location="biblio" xyref="2002264748029"/>. This approach allows improving CS recovery mechanisms by analysing its executions traces.</p>
        <p>One important characteristic of our model is that the correctness criteria is explicitly defined by the process designers.</p>
      </subsection>
      <subsection level="2" id="uid34">
        <bodyTitle>Mining process patterns using transactional properties and mining transactional properties</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18425">
            <firstname>Sami</firstname>
            <lastname>Bhiri</lastname>
          </person>
          <person key="ecoo-2005-id18326">
            <firstname>Walid</firstname>
            <lastname>Gaaloul</lastname>
          </person>
          <person key="ecoo-2005-id18078">
            <firstname>Claude</firstname>
            <lastname>Godart</lastname>
          </person>
          <person key="ecoo-2005-id18391">
            <firstname>Mohsen</firstname>
            <lastname>Rouached</lastname>
          </person>
        </participants>
        <p>Our aim is to develop a model (theory and tools) that allows the mining of concurrent and transactional process behaviour from event-based logs. Our work rests on data mining and workflow mining in general, but also on transactional interactions discovery. Our objective is to surpass the
        limits of current work to discover more transactional characteristics like activity properties (retriable, pivot, compensatable) and recovery rules.</p>
        <p>For this purpose, we have proposed a new approach 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid8" location="biblio" xyref="2002264748029"/>to discover workflow patterns by statistically analyzing workflow logs. This approach proposes new mechanisms that
        allow the analysis of incomplete logs and a better specification of the transactional properties. Concretely, based on a dynamic mechanism of log concurrent window sliding, we can better specify 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid8" location="biblio" xyref="2002264748029"/>"join" and "fork" points and improve the discovery of activities concurrent behaviour.</p>
        <p>Thereafter, we have proposed an algorithm 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid9" location="biblio" xyref="2002264748029"/>to improve the recovery management of processes. For this purpose, first we discover transactional dependencies
        between activities and activity states, especially after failures and recovery, and then we propose rules to correct or/and improve these recovery mechanisms if they do not meet the discovered design requirements.</p>
        <p>This is being implemented in the process mining platform PROM (
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://www.processmining.org" location="extern" xyref="3358568579016">http://www.processmining.org</ref>) in the frame of a cooperation with the TU/e Eindhoven.</p>
        <p>This work will continue in two directions: first a better characterization of process transactional behaviour, especially we think by better exploiting data flow analysis while we have concentrated until now on control flow analysis. Also we start a study on Web services mining.</p>
      </subsection>
      <subsection level="2" id="uid35">
        <bodyTitle>Spheres of atomicity</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18181">
            <firstname>François</firstname>
            <lastname>Charoy</lastname>
          </person>
          <person key="ecoo-2005-id18363">
            <firstname>Adnene</firstname>
            <lastname>Guabtni</lastname>
          </person>
        </participants>
        <p>Current business process management systems allow composing and coordinating services on heterogeneous distributed systems. They are based on a service oriented architecture (SoA). This approach implies new hypothesis regarding data management that are not anymore controlled by a single
        organisation. Moreover, although existing systems allow describing complex processes, they do not provide a flexible framework to describe the required quality of the execution: safety, security, reliability. The goal of this work is to allow separating the concerns regarding the definition
        of the coordination requirement (the process) and the definition of the execution requirement (the execution of the process). We propose to express the required execution quality of processes or fragment processes.</p>
        <p>Our approach follows the work of Davies on Sphere of control 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid10" location="biblio" xyref="2002264748029"/>and tries to generalise the work of Alonso on Atomicity and Isolation of process execution 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid1" location="biblio" xyref="2002264748029"/>. We propose to attach execution properties to subset of processes that we call transactional spheres. A sphere is
        a set of activities inside a process. Our model allows ensuring some properties based on different criteria on the execution of these activities. For instance, it allows ensuring that the view on data is the same for all activities of the sphere (cohesion). It also allows ensuring that the
        execution of the activities of the sphere is serializable with other concurrent spheres or processes (coherence). These different levels are described in 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid11" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid12" location="biblio" xyref="2002264748029"/>.</p>
      </subsection>
      <subsection level="2" id="uid36">
        <bodyTitle>e-Contracting</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18078">
            <firstname>Claude</firstname>
            <lastname>Godart</lastname>
          </person>
          <person key="ecoo-2005-id18211">
            <firstname>Olivier</firstname>
            <lastname>Perrin</lastname>
          </person>
          <person key="ecoo-2005-id18391">
            <firstname>Mohsen</firstname>
            <lastname>Rouached</lastname>
          </person>
          <person key="ecoo-2005-id18405">
            <firstname>Ustun</firstname>
            <lastname>Yildiz</lastname>
          </person>
        </participants>
        <p>
        <i>A contract is a statement of intent that regulates behaviour among organizations and individuals. An electronic contract is its reification in software that can be instantiated as a set of obligations that are fulfilled between parties, refused or waived as future events occur.</i>(
        Towards the Electronic Contract, M. Morciniec, C. Bartolini, B. Monahan, M. Sallé, HP Labs.)</p>
        <p>In some way a contract is a shalllow process definition that occurs when there is a lot of competion between the business partners, or simply when the cooperation process is weakly defined. We are interested in this approach as a mean to define and deploy light weight processes. A study
        in the context of 
        <i>software process</i>with the Centre de Recherche Gabriel Lipmann (Luxembourg) has started. First ideas are described in 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid13" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid14" location="biblio" xyref="2002264748029"/>.</p>
      </subsection>
      <subsection level="2" id="uid37">
        <bodyTitle>Perspectives</bodyTitle>
        <p>This year contributions regarding concurrency control of processes are of very high level or are very promisong. Nevertheless this problematics needs yet a lot of work. Especially, the work at the junction between the combination of transactional activities on one hand, and process
        mining et the other hand, i.e. a good characterization and formalization of process interaction patterns, is very sensitive.</p>
        <p>Ongoing work concerns the management of more complex activity dependencies than these currently considered for activity combination, and the discovery of complex properties like compensation properties, what has not yet been completely achieved. The idea of recovery spheres needs also to
        be consedered in the context of service composition and more deeply in process mining.</p>
        <p>A last point concerning our perspectives on this topic is the explosion of the research about business processes in general (driven by Web processes) and collaborative processes in particular. This clearly underlines the interest of our current orientation.</p>
      </subsection>
    </subsection>
    <subsection level="1" id="uid38">
      <bodyTitle>Operational transformations</bodyTitle>
      <subsection level="2" id="uid39">
        <bodyTitle>Automatic proving of transformation functions</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18099">
            <firstname>Pascal</firstname>
            <lastname>Molli</lastname>
          </person>
          <person key="ecoo-2005-id18439">
            <firstname>Gerald</firstname>
            <lastname>Oster</lastname>
          </person>
          <person key="ecoo-2005-id18226">
            <firstname>Hala</firstname>
            <lastname>Skaf-Molli</lastname>
          </person>
          <person key="ecoo-2005-id18242">
            <firstname>Pascal</firstname>
            <lastname>Urso</lastname>
          </person>
        </participants>
        <p>Real-time groupware systems allow a group of users to manipulate the same object (i.e. a text, an image, a graphic, etc.) at the same time from physically dispersed sites that are interconnected by a supposed reliable network. In order to achieve good responsiveness and friendly
        collaboration, the shared objects are replicated at the local memory of each participating user. One of the most significant issues in building real-time groupware systems with replicated architecture is consistency maintenance of shared objects 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid15" location="biblio" xyref="2002264748029"/>.</p>
        <p>Operational transformation is an approach 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid16" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid17" location="biblio" xyref="2002264748029"/>which allows to build real-time groupware like shared editors. Algorithms like aDOPTed 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid18" location="biblio" xyref="2002264748029"/>, GOTO 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid19" location="biblio" xyref="2002264748029"/>, SOCT 2,3,4 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid20" location="biblio" xyref="2002264748029"/>are used to maintain the consistency of shared data. However these algorithms rely on the definition of
        transformation functions. If these functions are not correct then these algorithms cannot ensure the consistency of shared data.Proving the correctness of transformation functions even on a simple typed object like a String is a complex task. If we have more operations on more complex typed
        objects, the proof is almost impossible without a computer. This is a serious bottleneck for building more complex real-time groupware software. We propose to assist development of transformation functions with SPIKE , an automated theorem prover which is suitable for reasoning about
        functions defined by conditional rewrite rules 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid21" location="biblio" xyref="2002264748029"/>. This approach requires specifying the transformation functions in first order logic. Then, SPIKE automatically
        determines thecorrectness of transformation functions. If correctness is violated, SPIKE returns counter-examples. Since the proofs are automatic, we can handle more (even complex) operations and develop quickly correct transformation functions. We have found this year many counter-examples
        to existing transformation function 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid22" location="biblio" xyref="2002264748029"/>. We have proposed new set of correct transformation functions 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid23" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid24" location="biblio" xyref="2002264748029"/>.</p>
      </subsection>
      <subsection level="2" id="uid40">
        <bodyTitle>Perspectives</bodyTitle>
        <p>Collaborative editing allows users to edit the same text from multiple sites across Internet. For example, recently collaborative editing allowed Wikipedia to collect more than 1,600,000 articles in more than 100 languages. Moreover, more than 13 millions of page requests per day and
        more than 4,000 changes are made every day by more than 12,000 active writers. Thus, Wikipedia is an example of massive collaborative editing. Scalability is one of the key issues for massive collaborative editing. For example, Wikipedia uses a database pessimistic replication approach.
        Thus all changes are routed on a single master database that propagates changes to slaves within distributed atomic transactions. Consequently, the master database is a congestion point that limits scalability of this approach. Wikipedia relies on ''brutal force'' to handle this load. On
        the one hand, the optimistic replication approach greatly improves performances. It can be deployed on peer-to-peer network and scales with cheap resources. On the other hand, it is more difficult to ensure consistency. Traditionally, the optimistic replication systems ensure eventual
        consistency i.e. replicas can diverge but must converge when system is idle. Optimistic replication is suited for collaborative editing. CVS, real-time group editors are good examples of optimistic replication algorithms applied to collaborative editing. However, these systems have not been
        designed for massive collaborative editing. Consequently, they often require a central site, a total ordering, a consensus or vector clocks. These well known mechanisms or algorithms are not designed for a large number of sites. The main issue for massive collaborative editing systems,
        based on optimistic replication, is to ensure eventual consistency and scalability. So far, only Usenet and DNS ensure both eventual consistency and scalability. However, they are not suited for collaborative editing. WOOT 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid24" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid25" location="biblio" xyref="2002264748029"/>is an optimistic replication algorithm designed for massive collaborative editing. It does not require the central
        site, total ordering, consensus or vector clocks. It does not use the number of sites as its parameter. It is designed to be deployed on a very large peer-to-peer network. WOOT can be used to developp collaborative environement for e-learning, software-engineering (P2P configuration
        management), content management (P2P wiki)...</p>
      </subsection>
    </subsection>
    <subsection level="1" id="uid41">
      <bodyTitle>Group awareness</bodyTitle>
      <p>Group awareness models and mechanisms have a central situation in the cooperative applications that we are concerned with, because they interact directly with users and are largely responsible for tool acceptation. They allow each participant to be aware of other participants activities,
      enhancing in this way the synergy, the coordination, the communication and the social links in the group.</p>
      <p>We develop two main activities related to awareness in groupware systems. The first one focus on awareness and context, and the second one is dedicated to awareness in knowledge management systems.</p>
      <subsection level="2" id="uid42">
        <bodyTitle>Group Awareness and Context</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18166">
            <firstname>Gérôme</firstname>
            <lastname>Canals</lastname>
          </person>
          <person key="PASUSERID">
            <firstname>Christophe</firstname>
            <lastname>Bouthier</lastname>
          </person>
          <person key="PASUSERID">
            <firstname>Sauwsan</firstname>
            <lastname>Alshattnawi</lastname>
          </person>
        </participants>
        <p>The aim of this work is to build awareness mechanisms capable of scaling up to large groups and supporting important heterogeneity in usage situations. Our approach to address theses two requirements is based on adapting the awareness service to the local work and usage context of each
        user. Delivered awareness information and the delivery modalities are then specific to each user depending on their role, activity, interaction modality, personal preferences, and device, and thus more pertinent to the individual situation.</p>
        <p>A first step toward this goal was to build a peer-to-peer architecture for a context based awareness service. This architecture was implemented in an experimental prototype 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid26" location="biblio" xyref="2002264748029"/>. This architecture is based on an explicit context representation at each peer. This representation is based on a
        set of Bayesian networks that compute local and remote low-level events to deduce more high level facts. The local context of each user is described by the status of the local networks. The adaptation engine we use is a rule based engine that takes decisions each time the local context
        representation is updated. This decision may concern the dissemination of the information in the change is due to a local event, or the presentation of the information if the change is due to a remote event. In this first work, adaptation decisions concern the potential recipient and the
        level of details (disseminated information), the modality (query based, peripheral, and intrusive) and the time (immediate, delayed, and cancelled) of the delivery. The context representation is restricted to only the work and activity context of the participants.</p>
        <p>Our actual work on this approach concern its extension in order to integrate it with a cooperative platform, and to integrate new events in the context computation. The goal is to get a more complete context representation by adding information and events from the cooperative platform
        (groups, users, activities) and from the physical usage context (connectivity, device, localisation, ...). A first study has been done about how to extend the architecture to capture and aggregate events from the cooperative platform and how to combine them with events from the local
        peers.</p>
      </subsection>
      <subsection level="2" id="uid43">
        <bodyTitle>Awareness and Knowledge-intensive Communities</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18166">
            <firstname>Gérôme</firstname>
            <lastname>Canals</lastname>
          </person>
          <person key="ecoo-2005-id18312">
            <firstname>Alicia</firstname>
            <lastname>Diaz</lastname>
          </person>
        </participants>
        <p>The goal of this work is to provide support to workgroups engaged in a knowledge-intensive activity (e.g. a design project, a software project) to capitalize and share common knowledge. We particularly focus on mechanisms to make explicit the shared emergent knowledge and to support
        individual and divergent point of views about this emergent knowledge.</p>
        <p>Awareness plays a central role in our approach. On one hand, awareness is the main source for knowledge discovery and learning about other's activity and skills. On the other hand, awareness is helpful to understand the evolution of the shared knowledge and the occurrence of divergent
        points of view about this knowledge 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid27" location="biblio" xyref="2002264748029"/>, 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid28" location="biblio" xyref="2002264748029"/>.</p>
        <p>We already have proposed a framework based on a private/public knowledge workspace to store the emergent knowledge. Divergences between individual points of views are supported through encapsulation in discussion artefacts organized in discussion threads. This allows keeping track of
        knowledge evolution in parallel with the arguments and contribution from the participants. We have also introduced the notion of knowledge awareness as the central mechanism for being aware and understanding knowledge contribution and evolution in a group.</p>
        <p>This framework has been instantiated with a particular knowledge representation model in a prototype called Co-Protégé 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid29" location="biblio" xyref="2002264748029"/>. Co-Protégé is an extension of Protégé and we use the Protégé language to build ontologies that represent the
        shared knowledge as well as discussion artefacts and threads, activities and member profiles.</p>
        <p>In collaboration with the University of New South Wales (Australia), this framework has also been applied to support mass customization processes 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid30" location="biblio" xyref="2002264748029"/>.</p>
      </subsection>
      <subsection level="2" id="uid44">
        <bodyTitle>Perspectives</bodyTitle>
        <p>Concerning awareness and context, a short term perspective is to finish the technical integration of our approach in the ECOO cooperative platform. The goal is enhance this platform with an awareness service that take into account the work context of each user when delivering awareness
        information.</p>
        <p>Concerning awareness and knowledge, short termed perspectives rely on the prototype and its evaluation. The actual prototype will be extended to support OWL as the ontology definition language. A first step toward its evaluation is to prepare it for dissemination in the Protégé
        community.</p>
      </subsection>
    </subsection>
  </resultats>
  <contrats id="uid45">
    <bodyTitle>Contracts and Grants with Industry</bodyTitle>
    <subsection level="1" id="uid46">
      <bodyTitle>RNTL LibreSource: cooperative software development and community animation (2003-2005)</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18099">
          <firstname>Pascal</firstname>
          <lastname>Molli</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="PASUSERID">
          <firstname>Guillaume</firstname>
          <lastname>Bort</lastname>
        </person>
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
        </person>
        <person key="ecoo-2005-id18078">
          <firstname>Claude</firstname>
          <lastname>Godart</lastname>
        </person>
        <person key="PASUSERID">
          <firstname>Sébastien</firstname>
          <lastname>Jourdain</lastname>
        </person>
        <person key="ecoo-2005-id18439">
          <firstname>Gérald</firstname>
          <lastname>Oster</lastname>
        </person>
      </participants>
      <p>Project partners of LibreSource (formerly PureSource) are Université Henri Poincaré Nancy 1, Université Henri Poincaré Nancy 2, INRIA, Artenum society and University Paris 7-Denis Diderot.</p>
      <p>LibreSource allows a virtual team to organize and its participants to cooperate. Its objective are in the vein of BSCW's, SourceForge's and Toxic Farm's, but with a particular focus on coordination and an original object sharing technology.</p>
      <p>Object sharing rests on an original vision where copy convergence is based on the operational transformation approach that provides for a safe and generic synchronizer.</p>
      <p>LibreSource is implemented on a J2EE application server and is available on Jonas.</p>
      <p>LibreSource has been released in June 2005: 
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://www.libresource.org" location="extern" xyref="1153833885000">http://www.libresource.org</ref></p>
    </subsection>
    <subsection level="1" id="uid47">
      <bodyTitle>Framework for Content Management (2004-2006)</bodyTitle>
      <participants category="None">
        <person key="ecoo-2005-id18181">
          <firstname>François</firstname>
          <lastname>Charoy</lastname>
          <moreinfo>responsible</moreinfo>
        </person>
        <person key="PASUSERID">
          <firstname>Guillaume</firstname>
          <lastname>Bort</lastname>
        </person>
        <person key="ecoo-2005-id18458">
          <firstname>Florent</firstname>
          <lastname>Jouille</lastname>
        </person>
      </participants>
      <p>We contribute to the development of a Content Management System developped by 2ST Enterprise. The organization of the CMS is based on the resource management architecture of LibreSource. It has been developped with Enterprise Java Beans. It is operational on several sides with hundreds of
      users.</p>
    </subsection>
  </contrats>
  <international id="uid48">
    <bodyTitle>Other Grants and Activities</bodyTitle>
    <subsection level="1" id="uid49">
      <bodyTitle>Regional actions</bodyTitle>
      <p>Mobi5 action (2002/2005) of the CPER Intelligence Logicielle (Software Intelligence, axis Qualité et sûreté Logicielle (Quality and Safety of software)). It has funded the development of XML transformation functions satisfying condition 
      <span class="math" align="left">
        <hi rend="it">C</hi>
        <sub>1</sub>
      </span>and the development the XyDiff Java engine. The generic So6 synchronizer can now synchronize efficiently and safely XML files.</p>
    </subsection>
    <subsection level="1" id="uid50">
      <bodyTitle>National actions</bodyTitle>
      <p>COPS (Composition Of Policies and Services, 2006-2008) is a ARA action interested in modeling security properties, composition of web services integrating security properties and guaranties, and monitoring of services conversations for preserving security policies. Cops implicates LORIA
      Nancy, IRIT Toulouse, LIF Marseille and MS R&amp;D Cambridge.</p>
      <p>Ecoo participates to the working groups 
      <i>Services Web</i>and 
      <i>UbiMob</i>(Ubiquity, Mobility) of GDR I3 and to the GDR MACS ECI.</p>
      <p>We participate to several contracts with national enterprises (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#uid46" location="intern" xyref="2002264748029"/>).</p>
      <p>We collaborate with several French laboratories and universities in the context of the INTEROP Network of Excellence (
      <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#uid51" location="intern" xyref="2002264748029"/>).</p>
      <p>Khalid Benali has been program committee member of Inforsid 2005.</p>
      <p>Gérôme Canals has been program committee member of UbiMob 2005.</p>
    </subsection>
    <subsection level="1" id="uid51">
      <bodyTitle>European actions</bodyTitle>
      <subsection level="2" id="uid52">
        <bodyTitle>Network of Excellence INTEROP (2004-2007)</bodyTitle>
        <participants category="None">
          <person key="ecoo-2005-id18151">
            <firstname>Nacer</firstname>
            <lastname>Boudjlida</lastname>
            <moreinfo>responsible</moreinfo>
          </person>
          <person key="ecoo-2005-id18136">
            <firstname>Khalid</firstname>
            <lastname>Benali</lastname>
          </person>
          <person key="ecoo-2005-id18425">
            <firstname>Sami</firstname>
            <lastname>Bhiri</lastname>
          </person>
          <person key="ecoo-2005-id18181">
            <firstname>François</firstname>
            <lastname>Charoy</lastname>
          </person>
          <person key="ecoo-2005-id18291">
            <firstname>Dong</firstname>
            <lastname>Chen</lastname>
          </person>
          <person key="ecoo-2005-id18326">
            <firstname>Walid</firstname>
            <lastname>Gaaloul</lastname>
          </person>
          <person key="ecoo-2005-id18078">
            <firstname>Claude</firstname>
            <lastname>Godart</lastname>
          </person>
          <person key="ecoo-2005-id18363">
            <firstname>Adnene</firstname>
            <lastname>Guabtni</lastname>
          </person>
          <person key="ecoo-2005-id18211">
            <firstname>Olivier</firstname>
            <lastname>Perrin</lastname>
          </person>
          <person key="ecoo-2005-id18242">
            <firstname>Pascal</firstname>
            <lastname>Urso</lastname>
          </person>
        </participants>
        <p>Goals of Interop (
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://www.interop-noe.org/" location="extern" xyref="3354877159022">http://www.interop-noe.org/</ref>) are:</p>
        <simplelist>
          <li id="uid53">
            <p>the emergence of a lasting European Research community on interoperability of enterprise software applications,</p>
          </li>
          <li id="uid54">
            <p>to create the conditions of an innovative and competitive technology transfer by bringing upstream conceptualisation of business based interoperability,</p>
          </li>
          <li id="uid55">
            <p>to achieve by the end of the project the integration process which will assemble knowledge components (ontology, enterprise modelling, architecture and enabling technologies) and prepare a lasting centre of competence on Enterprise Interoperability with maximum research and
            audience.</p>
          </li>
        </simplelist>
      </subsection>
      <subsection level="2" id="uid56">
        <bodyTitle>Postdoctoral cooperation</bodyTitle>
        <p>Sami Bhiri, ECOO PHD has joined in November 2005 Chriss Bussler '' Web semantics '' group at University of DERI, Ireland for one year.</p>
        <p>Gérald Oster, ECOO PHD has joined in November 2005 Moira Norrie '' Global Information System '' group at ETH Zurich.</p>
      </subsection>
      <subsection level="2" id="uid57">
        <bodyTitle>Co-directed theses</bodyTitle>
        <p>Thesis of Ustun Yildiz with University of Luxembourg (2004-2007): Electronic contracting in software process context.</p>
      </subsection>
      <subsection level="2" id="uid58">
        <bodyTitle>Cooperation with TU Eindhoven</bodyTitle>
        <p>Walid Gaaloul, ECOO PHD student has spent 6 months in Eindhoven with Wil van der Aalst team to work on process and Web services mining. He should spend six additional months in 2006 at the same place.</p>
      </subsection>
    </subsection>
    <subsection level="1" id="uid59">
      <bodyTitle>International Actions</bodyTitle>
      <subsection level="2" id="uid60">
        <bodyTitle>Rorax project, French-Libanese program CEDRE (2006-2008)</bodyTitle>
        <p>RORAX: optimistic replication and automatic repearing of XML documents. Responsibles : Hala SKAF-MOLLI (Université Henri Poincaré Nancy 1) et Hala NAJA-JAZZAR (Université Libanaise). The project is just started for two years.</p>
      </subsection>
      <subsection level="2" id="uid61">
        <bodyTitle>ARC Irex Grant with UNSW in Sydney</bodyTitle>
        <p>We cooperate since several years with members of the ''Information Management'' and ''Computer Sciences and Engineering'' schools of the University of New South Wales in Sydney on two main themes: transactional web services, and awareness. This cooperation is partially founded by an Irex
        Grant of ARC (Australian Research Council) and Université Henri Poincaré Nancy 1.</p>
      </subsection>
      <subsection level="2" id="uid62">
        <bodyTitle>Co-directed theses</bodyTitle>
        <p>Thesis of Alicia Diaz with LIFIA, La Plata, Argentine (2002-2005): Knowledge sharing process in communities of practice.</p>
      </subsection>
      <subsection level="2" id="uid63">
        <bodyTitle>Conference program committees and organizations</bodyTitle>
        <p>We organized in Nancy in September 2005 the third Business Process Management conference 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://bpm2005.loria.fr/" location="extern" xyref="3182213467028">http://bpm2005.loria.fr/</ref>(180 received papers, 20 selected long papers, 5 industrial papers,
        16 short papers, proceedings published in Springer LNCS 3649, 130 participants).</p>
        <p>Khalid Benali has been or is program committee member of Interop-Esa 2005 and 2006.</p>
        <p>Nacer Boudjlida has been program co-chair of Interop-Esa 2005 
        <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="#bid31" location="biblio" xyref="2002264748029"/>and of the International Workshop on Enterprise and Networked Enterprises Interoperability with the BPM 2005
        conference. He has been or is program committee member of Interop-Esa 2006, of the 10th International Workshop on Exploring Modelling Methods and Systems Analysis and Design 2005 (with CAiSE)</p>
        <p>François Charoy has been program committee member of BPM (Nancy, 2005) and of Interop-Esa (Geneva, 2005).</p>
        <p>Claude Godart has been general chair of BPM 2005 (Business Process Management Conference, Nancy), program co-chair of the first IEEE workshop on Teamware (with the Saint conference, Trento 2005). He has been or is program committee member of BPM 2005 and 2006 (Business Process
        Management), Saint 2005 and 2006 (IEEE Symposium on Applications and the Internet), EDOC 2005 and 2006 (The enterprise computing conference), WISE 2005 (Web Information Systems), ICSOC 2005 (IC on Service Oriented Computing), Electronic Commerce 2006 (IEEE CEC), Enterprise Computing,
        E-Commerce and E-Services 2006 (IEEE EEE) and of several workshops.</p>
        <p>Jacques Lonchamp is programm PC member of COOP 2006.</p>
        <p>Olivier Perrin has been local organizer of the BPM 2005 conference in Nancy and he is programm PC member of BPM 2006.</p>
      </subsection>
    </subsection>
    <subsection level="1" id="uid64">
      <bodyTitle>Visits, Invitations</bodyTitle>
      <p>Fharad Danesgard, senior lecturer at University of New South Wales, Sydney, Australia, has visited ECOO during two months in January and February.</p>
      <p>Olivera Marjanovic, senior lecturer at University of New South Wales, Sydney, Australia, has visited ECOO during one month in September.</p>
    </subsection>
  </international>
  <diffusion id="uid65">
    <bodyTitle>Dissemination</bodyTitle>
    <subsection level="1" id="uid66">
      <bodyTitle>Scientific Community Animation</bodyTitle>
      <p>Khalid Benali is member of the CNU (National University Council) which is responsible of recruitement and management of university teacher-researcher carreer.</p>
      <p>Nacer Boudjlida is chair of the technical committee of the INTEROP Network of Excellence. He is responsible for a master degree speciality in Software Engineering at the University Henri Poincaré Nancy 1 (France) and at IGA, Casablanca (Morrocco).</p>
      <p>Gérôme Canals is member of the orientation board of GDR I3.</p>
      <p>Claude Godart is head of the recruitment committee of the University Henri Poincaré Nancy 1 (Computer Sciences, 27th section). He is study director of the research master degree ''Distributed Services and Networks''. He has been member of the recruitment committee of the University of
      Luxembourg (Computer Sciences, Faculty of Information Systems) in 2003 to 2005. He is member of the Scientific Committee of the Laboratory of Computer Sciences of Littoral (LIL). He has been evaluator for France Telecom R&amp;D (World Class Jury), evaluator for LAFMI (French/Mexican
      Loboratory), Professor at CEA/EDF/INRIA summer school 2005 (theme: Cooperative Work).</p>
      <p>Jacques Lonchamp is head of the recruitment committee of the University Nancy 2.</p>
    </subsection>
    <subsection level="1" id="uid67">
      <bodyTitle>Teaching</bodyTitle>
      <p>ECOO members have responsibilities in several formations from University Henri Poincaré Nancy 1, University Nancy 2 and INPL, at different levels, including third cycle (Research Master, Professional Master, ESIAL, ESSTIN, ISIAL).</p>
    </subsection>
  </diffusion>
  <biblio id="bibliography" html="bibliography" numero="10" titre="Bibliography">
    <biblStruct titlekey="4278" rend="year" n="cite:konstantas05" type="proceedings" id="bid31">
      <monogr>
        <title level="m">Interoperability of Enterprise Software and Applications, INTEROP-ESA'05</title>
        <editor role="editor">
          <persName>
            <foreName>D.</foreName>
            <surname>Konstantas</surname>
            <initial>D.</initial>
          </persName>
          <persName>
            <foreName>J-P.</foreName>
            <surname>Bourrières</surname>
            <initial>J.-P.</initial>
          </persName>
          <persName>
            <foreName>M.</foreName>
            <surname>Léonard</surname>
            <initial>M.</initial>
          </persName>
          <persName key="ecoo-2005-id18151">
            <foreName>N.</foreName>
            <surname>Boudjlida</surname>
            <initial>N.</initial>
          </persName>
        </editor>
        <imprint>
          <biblScope type="number">ISBN-10: 1-84628-151-2</biblScope>
          <publisher>
            <orgName>Springer Verlag</orgName>
          </publisher>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="4059" rend="year" n="cite:bhiri05c" type="phdthesis" id="bid4">
      <monogr>
        <title level="m">Approche transactionnelle pour assurer des compositions fiables de services Web</title>
        <author>
          <persName key="ecoo-2005-id18425">
            <foreName>Sami</foreName>
            <surname>Bhiri</surname>
            <initial>S.</initial>
          </persName>
        </author>
        <note anchored="yes" place="unspecified" type="typdoc">Thèse d'université</note>
        <imprint>
          <publisher>
            <orgName type="school">Université Henri Poincaré Nancy1</orgName>
          </publisher>
          <dateStruct>
            <month>October</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="4239" rend="year" n="cite:diaz05b" type="phdthesis" id="bid27">
      <monogr>
        <title level="m">Supporting Divergences in Knowledge Sharing Communities</title>
        <author>
          <persName key="ecoo-2005-id18312">
            <foreName>Alicia</foreName>
            <surname>Diaz</surname>
            <initial>A.</initial>
          </persName>
        </author>
        <note anchored="yes" place="unspecified" type="typdoc">Thèse d'université</note>
        <imprint>
          <publisher>
            <orgName type="school">Université Henri Poincaré Nancy1</orgName>
          </publisher>
          <dateStruct>
            <month>October</month>
            <year>2005</year>
          </dateStruct>
          <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://tel.ccsd.cnrs.fr/tel-00010910" location="extern" xyref="586343453031">http://tel.ccsd.cnrs.fr/tel-00010910</ref>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="4216" rend="year" n="cite:oster05b" type="phdthesis" id="bid25">
      <monogr>
        <title level="m">Réplication optimiste et cohérence de données dans les environnements collaboratifs</title>
        <author>
          <persName key="ecoo-2005-id18439">
            <foreName>Gérald</foreName>
            <surname>Oster</surname>
            <initial>G.</initial>
          </persName>
        </author>
        <note anchored="yes" place="unspecified" type="typdoc">Thèse d'université</note>
        <imprint>
          <publisher>
            <orgName type="school">Université Henri Poincaré Nancy1</orgName>
          </publisher>
          <dateStruct>
            <month>November</month>
            <year>2005</year>
          </dateStruct>
          <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://tel.ccsd.cnrs.fr/tel-00010865" location="extern" xyref="3874936868000">http://tel.ccsd.cnrs.fr/tel-00010865</ref>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1524" rend="year" n="cite:dong05b" type="incollection" id="bid34">
      <analytic>
        <title level="a">Federated Mediators for Query Composite Answers</title>
        <author>
          <persName>
            <foreName>Cheng</foreName>
            <surname>Dong</surname>
            <initial>C.</initial>
          </persName>
          <persName key="ecoo-2005-id18151">
            <foreName>Nacer</foreName>
            <surname>Boudjlida</surname>
            <initial>N.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>I.</foreName>
            <surname>Seruca</surname>
            <initial>I.</initial>
          </persName>
          <persName>
            <foreName>J.</foreName>
            <surname>filipe</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>S.</foreName>
            <surname>Hammoudi</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>I.</foreName>
            <surname>Cordeivo</surname>
            <initial>I.</initial>
          </persName>
        </editor>
        <title level="m">Enterprise Information Systems, VI</title>
        <note anchored="yes" place="unspecified" type="bnote">Selected papers from the 6th International Conference on Enterprise Information Systems - ICEIS' 2004</note>
        <imprint>
          <publisher>
            <orgName>Kluwer Academics Publishers</orgName>
          </publisher>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="0294" rend="year" n="cite:gregori05a" type="article" subtype="nonparu" id="bid3">
      <analytic>
        <title level="a">Combining Ergonomics, Culture and Scenario for the Design of a Cooperation Platform</title>
        <author>
          <persName>
            <foreName>Nicolas</foreName>
            <surname>Grégori</surname>
            <initial>N.</initial>
          </persName>
          <persName>
            <foreName>Jean-Charles</foreName>
            <surname>Hautecouverture</surname>
            <initial>J.-C.</initial>
          </persName>
          <persName key="ecoo-2005-id18181">
            <foreName>François</foreName>
            <surname>Charoy</surname>
            <initial>F.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>claude</foreName>
            <surname>Godart</surname>
            <initial>c.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">AI &amp; Society, Vol. 20, No. 3</title>
        <note anchored="yes" place="unspecified" type="bnote">to appear</note>
        <imprint>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="0527" rend="year" n="cite:imine05a" type="article" subtype="nonparu" id="bid23">
      <analytic>
        <title level="a">Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence</title>
        <author>
          <persName>
            <foreName>Abdessamad</foreName>
            <surname>Imine</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Michaël</foreName>
            <surname>Rusinowitch</surname>
            <initial>M.</initial>
          </persName>
          <persName key="ecoo-2005-id18439">
            <foreName>Gérald</foreName>
            <surname>Oster</surname>
            <initial>G.</initial>
          </persName>
          <persName key="ecoo-2005-id18099">
            <foreName>Pascal</foreName>
            <surname>Molli</surname>
            <initial>P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Theoretical Computer Science</title>
        <note anchored="yes" place="unspecified" type="bnote">to appear</note>
        <imprint>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3075" rend="year" n="cite:bhiri05b" type="inproceedings" id="bid6">
      <analytic>
        <title level="a">Overview of Transactional Patterns  : Combining Workflow Flexibility and Transactional Reliability for Composite Web Services</title>
        <author>
          <persName key="ecoo-2005-id18425">
            <foreName>Sami</foreName>
            <surname>Bhiri</surname>
            <initial>S.</initial>
          </persName>
          <persName key="ecoo-2005-id18349">
            <foreName>Khaled</foreName>
            <surname>Gaaloul</surname>
            <initial>K.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Wil M. P.</foreName>
            <surname>van der Aalst</surname>
            <initial>W. M. P.</initial>
          </persName>
          <persName>
            <foreName>Boualem</foreName>
            <surname>Benatallah</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Fabio</foreName>
            <surname>Casati</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Francisco</foreName>
            <surname>Curbera</surname>
            <initial>F.</initial>
          </persName>
        </editor>
        <title level="m">3rd International Conference on Business Process Management - Short paper - BPM'05, Nancy, France</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3649</biblScope>
          <publisher>
            <orgName>Springer-Verlag GmbH</orgName>
          </publisher>
          <dateStruct>
            <month>Sep</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">440-445</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2399" rend="year" n="cite:bhiri05d" type="inproceedings" id="bid5">
      <analytic>
        <title level="a">Ensuring required failure atomicity of composite Web services</title>
        <author>
          <persName key="ecoo-2005-id18425">
            <foreName>Sami</foreName>
            <surname>Bhiri</surname>
            <initial>S.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14. ACM, ISBN 1-59593-046-9</title>
        <imprint>
          <publisher>
            <orgName>ACM</orgName>
          </publisher>
          <dateStruct>
            <month>Mar</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">138-147</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3290" rend="year" n="cite:bhiri05a" type="inproceedings" id="bid32">
      <analytic>
        <title level="a">Reliable Web Services Composition using a Transactional Approach</title>
        <author>
          <persName key="ecoo-2005-id18425">
            <foreName>Sami</foreName>
            <surname>Bhiri</surname>
            <initial>S.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">IEEE International Conference on e-Technology, e-Commerce and e-Service - EEE 2005, Hong Kong, China</title>
        <imprint>
          <publisher>
            <orgName>IEEE Computer Society</orgName>
          </publisher>
          <dateStruct>
            <month>May 10-14</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">15-21</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1634" rend="year" n="cite:canals05b" type="inproceedings" id="bid26">
      <analytic>
        <title level="a">A Context-Adaptive Group Awareness Tool</title>
        <author>
          <persName>
            <foreName>Christophe</foreName>
            <surname>Bouthier</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>Julia</foreName>
            <surname>Bitcheva</surname>
            <initial>J.</initial>
          </persName>
          <persName key="ecoo-2005-id18166">
            <foreName>Gérôme</foreName>
            <surname>Canals</surname>
            <initial>G.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">International Symposium on Applications and the Internet - SAINT 2005. Workshop 6 : Teamware : Supporting Scalable Virtual Teams in Multi-organizational Settings, Trento, Italy</title>
        <imprint>
          <publisher>
            <orgName>IEEE Computer Society</orgName>
          </publisher>
          <dateStruct>
            <month>Jan</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">238-241</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3793" rend="year" n="cite:canals05a" type="inproceedings" id="bid30">
      <analytic>
        <title level="a">Workspace Design Schemas for Divergence-supportive Knowledge Sharing Communities</title>
        <author>
          <persName key="ecoo-2005-id18166">
            <foreName>Gérôme</foreName>
            <surname>Canals</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>Farhad</foreName>
            <surname>Daneshgar</surname>
            <initial>F.</initial>
          </persName>
          <persName key="ecoo-2005-id18312">
            <foreName>Alicia</foreName>
            <surname>Diaz</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">International Mass Customization Meeting - IMCM'05, Klagenfurt, Austria</title>
        <imprint>
          <dateStruct>
            <month>Jun</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3200" rend="year" n="cite:daneshgar05a" type="inproceedings" id="bid28">
      <analytic>
        <title level="a">Process Awareness in Divergence-supportive Knowledge Communities</title>
        <author>
          <persName>
            <foreName>Fahrad</foreName>
            <surname>Daneshgar</surname>
            <initial>F.</initial>
          </persName>
          <persName key="ecoo-2005-id18166">
            <foreName>Gérôme</foreName>
            <surname>Canals</surname>
            <initial>G.</initial>
          </persName>
          <persName key="ecoo-2005-id18312">
            <foreName>Alicia</foreName>
            <surname>Diaz</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Klaus</foreName>
            <surname>Tochtermann</surname>
            <initial>K.</initial>
          </persName>
          <persName>
            <foreName>Hermann</foreName>
            <surname>Maurer</surname>
            <initial>H.</initial>
          </persName>
        </editor>
        <title level="m">5th International Conference on Knowledge Management - I-KNOW'05, Graz, Austria</title>
        <imprint>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">212-219</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2217" rend="year" n="cite:diaz05a" type="inproceedings" id="bid29">
      <analytic>
        <title level="a">CO-Protégé : A Groupware Tool for Supporting Collaborative Ontology Design with Divergence</title>
        <author>
          <persName key="ecoo-2005-id18312">
            <foreName>Alicia</foreName>
            <surname>Diaz</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Guillermo</foreName>
            <surname>Baldo</surname>
            <initial>G.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">8th International Protégé Conference, Madrid, Spain</title>
        <imprint>
          <dateStruct>
            <month>Jul</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2815" rend="year" n="cite:dong05a" type="inproceedings" id="bid33">
      <analytic>
        <title level="a">Matchmaking in Heterogeneous Environments</title>
        <author>
          <persName>
            <foreName>Cheng</foreName>
            <surname>Dong</surname>
            <initial>C.</initial>
          </persName>
          <persName key="ecoo-2005-id18151">
            <foreName>Nacer</foreName>
            <surname>Boudjlida</surname>
            <initial>N.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">First International Conference on Interoperability of Enterprise Software and Applications - INTEROP-ESA'05, Geneva, Switzerland</title>
        <note anchored="yes" place="unspecified" type="bnote">in Doctoral Symposium</note>
        <imprint>
          <publisher>
            <orgName type="organisation">INTEROP</orgName>
          </publisher>
          <dateStruct>
            <month>Feb</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1800" rend="year" n="cite:dong05c" type="inproceedings" id="bid35">
      <analytic>
        <title level="a">An Architecture for Heterogeneous Federated Mediators</title>
        <author>
          <persName>
            <foreName>Cheng</foreName>
            <surname>Dong</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">2nd INTEROP-EMOI Open Workshop on Enterprise Models and Ontologies for Interoperability - INTEROP-EMOI'05, Porto, Portugal</title>
        <note anchored="yes" place="unspecified" type="bnote">Co-located with the 17th Conference on Advanced Information Systems Engineering - CAiSE'05</note>
        <imprint>
          <dateStruct>
            <month>Jun</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2854" rend="year" n="cite:gaaloul05a" type="inproceedings" id="bid36">
      <analytic>
        <title level="a">Mining Workflow Patterns through Event-data Analysis</title>
        <author>
          <persName key="ecoo-2005-id18326">
            <foreName>Walid</foreName>
            <surname>Gaaloul</surname>
            <initial>W.</initial>
          </persName>
          <persName>
            <foreName>Sadek</foreName>
            <surname>Alaoui</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>Karim</foreName>
            <surname>Baïna</surname>
            <initial>K.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">International Symposium on Applications and the Internet - SAINT 2005. Workshop 6 : Teamware : Supporting Scalebable Virtual Teams in Multi-organizational Settings, Trento, Italy</title>
        <imprint>
          <dateStruct>
            <month>Feb</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3612" rend="year" n="cite:gaaloul05c" type="inproceedings" id="bid8">
      <analytic>
        <title level="a">Towards Mining Structural Workflow Patterns</title>
        <author>
          <persName key="ecoo-2005-id18326">
            <foreName>Walid</foreName>
            <surname>Gaaloul</surname>
            <initial>W.</initial>
          </persName>
          <persName>
            <foreName>Karim</foreName>
            <surname>Baïna</surname>
            <initial>K.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Roland Wagner</foreName>
            <surname>Kim Viborg Andersen</surname>
            <initial>R. W.</initial>
          </persName>
        </editor>
        <title level="m">16th International Conference on Database and Expert Systems Applications - DEXA'05, Copenhagen, Danemark</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3588</biblScope>
          <publisher>
            <orgName>Springer-Verlag</orgName>
          </publisher>
          <dateStruct>
            <month>Aug</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">24-33</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2075" rend="year" n="cite:gaaloul05d" type="inproceedings" id="bid7">
      <analytic>
        <title level="a">Business Process Intelligence  : Discovering and Improving Transactional behavior of Composite Services From Logs</title>
        <author>
          <persName key="ecoo-2005-id18326">
            <foreName>Walid</foreName>
            <surname>Gaaloul</surname>
            <initial>W.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Doctoral symposium in INTEROP-ESA'05 - First International Conference on Interoperability of Enterprise Software and Applications, Geneva, Switzerland</title>
        <imprint>
          <dateStruct>
            <month>Feb</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2855" rend="year" n="cite:gaaloul05b" type="inproceedings" id="bid9">
      <analytic>
        <title level="a">Mining Workflow Recovery From Event Based Logs</title>
        <author>
          <persName key="ecoo-2005-id18326">
            <foreName>Walid</foreName>
            <surname>Gaaloul</surname>
            <initial>W.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Wil M. P.</foreName>
            <surname>van der Aalst</surname>
            <initial>W. M. P.</initial>
          </persName>
          <persName>
            <foreName>Boualem</foreName>
            <surname>Benatallah</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Fabio</foreName>
            <surname>Casati</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Francisco</foreName>
            <surname>Curbera</surname>
            <initial>F.</initial>
          </persName>
        </editor>
        <title level="m">3rd International Conference on Business Process Management - BPM'05, Nancy, France</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3649</biblScope>
          <publisher>
            <orgName>Springer-Verlag GmbH</orgName>
          </publisher>
          <publisher>
            <orgName type="organisation">LORIA</orgName>
          </publisher>
          <dateStruct>
            <month>Sep</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">169-185</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2239" rend="year" n="cite:guabtni05a" type="inproceedings" id="bid12">
      <analytic>
        <title level="a">Customizable Isolation in Transactional Workflow</title>
        <author>
          <persName key="ecoo-2005-id18363">
            <foreName>Adnene</foreName>
            <surname>Guabtni</surname>
            <initial>A.</initial>
          </persName>
          <persName key="ecoo-2005-id18181">
            <foreName>François</foreName>
            <surname>Charoy</surname>
            <initial>F.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">First International Conference on Interoperability of Enterprise Software and Applications, Geneva, Switzerland</title>
        <imprint>
          <dateStruct>
            <month>Feb</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3445" rend="year" n="cite:guabtni05b" type="inproceedings" id="bid11">
      <analytic>
        <title level="a">Spheres of isolation : adaptation of isolation levels to transactional workflow</title>
        <author>
          <persName key="ecoo-2005-id18363">
            <foreName>Adnene</foreName>
            <surname>Guabtni</surname>
            <initial>A.</initial>
          </persName>
          <persName key="ecoo-2005-id18181">
            <foreName>François</foreName>
            <surname>Charoy</surname>
            <initial>F.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Wil M. P.</foreName>
            <surname>van der Aalst</surname>
            <initial>W. M. P.</initial>
          </persName>
          <persName>
            <foreName>Boualem</foreName>
            <surname>Benatallah</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Fabio</foreName>
            <surname>Casati</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Francisco</foreName>
            <surname>Curbera</surname>
            <initial>F.</initial>
          </persName>
        </editor>
        <title level="m">3rd International Conference on Business Process Management - Short paper - BPM'05, Nancy, France</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3649</biblScope>
          <publisher>
            <orgName>Springer-Verlag GmbH</orgName>
          </publisher>
          <publisher>
            <orgName type="organisation">LORIA</orgName>
          </publisher>
          <dateStruct>
            <month>Sep</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">458 - 463</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="3616" rend="year" n="cite:imine05b" type="inproceedings" id="bid24">
      <analytic>
        <title level="a">Towards Synchronizing Linear Collaborative Objects with Operation Transformation</title>
        <author>
          <persName>
            <foreName>Abdessamad</foreName>
            <surname>Imine</surname>
            <initial>A.</initial>
          </persName>
          <persName key="ecoo-2005-id18099">
            <foreName>Pascal</foreName>
            <surname>Molli</surname>
            <initial>P.</initial>
          </persName>
          <persName key="ecoo-2005-id18439">
            <foreName>Gérald</foreName>
            <surname>Oster</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>Michaël</foreName>
            <surname>Rusinowitch</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>F.</foreName>
            <surname>Wang</surname>
            <initial>F.</initial>
          </persName>
        </editor>
        <title level="m">International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Taipei, Taiwan</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3731</biblScope>
          <publisher>
            <orgName>IFIP International Federation for Information Processing</orgName>
          </publisher>
          <dateStruct>
            <month>Oct</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">411-427</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1959" rend="year" n="cite:lonchamp05a" type="inproceedings" id="bid37">
      <analytic>
        <title level="a">A Structured Chat Framework for Distributed Educational Settings</title>
        <author>
          <persName key="ecoo-2005-id18197">
            <foreName>Jacques</foreName>
            <surname>Lonchamp</surname>
            <initial>J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">6th International Conference on Computer Supported Collaborative Learning - Interactive paper - CSCL'05, Taipei, Taiwan</title>
        <imprint>
          <publisher>
            <orgName>Lawrence Erlbaum Associates, USA</orgName>
          </publisher>
          <dateStruct>
            <month>May</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">403-407</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2353" rend="year" n="cite:oster05a" type="inproceedings" id="bid22">
      <analytic>
        <title level="a">Edition collaborative sur réseau pair-à-pair à large échelle</title>
        <author>
          <persName key="ecoo-2005-id18439">
            <foreName>Gérald</foreName>
            <surname>Oster</surname>
            <initial>G.</initial>
          </persName>
          <persName key="ecoo-2005-id18242">
            <foreName>Pascal</foreName>
            <surname>Urso</surname>
            <initial>P.</initial>
          </persName>
          <persName key="ecoo-2005-id18099">
            <foreName>Pascal</foreName>
            <surname>Molli</surname>
            <initial>P.</initial>
          </persName>
          <persName>
            <foreName>Abdessamad</foreName>
            <surname>Imine</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Paris, France</title>
        <imprint>
          <dateStruct>
            <month>Nov</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1636" rend="year" n="cite:rouached05b" type="inproceedings" id="bid38">
      <analytic>
        <title level="a">A Contract Layered Architecture for Regulating Cross-Organisational Business Processes</title>
        <author>
          <persName key="ecoo-2005-id18391">
            <foreName>Mohsen</foreName>
            <surname>Rouached</surname>
            <initial>M.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <editor role="editor">
          <persName>
            <foreName>Wil M. P.</foreName>
            <surname>van der Aalst</surname>
            <initial>W. M. P.</initial>
          </persName>
          <persName>
            <foreName>Boualem</foreName>
            <surname>Benatallah</surname>
            <initial>B.</initial>
          </persName>
          <persName>
            <foreName>Fabio</foreName>
            <surname>Casati</surname>
            <initial>F.</initial>
          </persName>
          <persName>
            <foreName>Francisco</foreName>
            <surname>Curbera</surname>
            <initial>F.</initial>
          </persName>
        </editor>
        <title level="m">3rd International Conference on Business Process Management - Short paper - BPM'05, Nancy, France</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <biblScope type="volume">3649</biblScope>
          <publisher>
            <orgName>Springer-Verlag GmbH</orgName>
          </publisher>
          <dateStruct>
            <month>Sep</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">410-415</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="1635" rend="year" n="cite:rouached05c" type="inproceedings" id="bid14">
      <analytic>
        <title level="a">A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.</title>
        <author>
          <persName key="ecoo-2005-id18391">
            <foreName>Mohsen</foreName>
            <surname>Rouached</surname>
            <initial>M.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">6th International Conference on Web Information Systems Engineering, Wise, New York, NY, USA, November 20-22</title>
        <imprint>
          <publisher>
            <orgName>LNCS 3806</orgName>
          </publisher>
          <dateStruct>
            <month>Dec</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">426-434</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct titlekey="2991" rend="year" n="cite:yildiz05a" type="inproceedings" id="bid13">
      <analytic>
        <title level="a">On automating networked enterprise management</title>
        <author>
          <persName key="ecoo-2005-id18405">
            <foreName>Ustun</foreName>
            <surname>Yildiz</surname>
            <initial>U.</initial>
          </persName>
          <persName key="ecoo-2005-id18211">
            <foreName>Olivier</foreName>
            <surname>Perrin</surname>
            <initial>O.</initial>
          </persName>
          <persName key="ecoo-2005-id18078">
            <foreName>Claude</foreName>
            <surname>Godart</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">International Workshop on Enterprise and Networked Enterprises Interoperability - ENEI'2005, Nancy, France</title>
        <title level="s">Lecture Notes in Computer Science</title>
        <imprint>
          <dateStruct>
            <month>Sep</month>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:cobena02" type="inproceedings" id="bid2">
      <analytic>
        <title level="a">Detecting Changes in XML Documents</title>
        <author>
          <persName>
            <foreName>Gregory</foreName>
            <surname>Cobena</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>Serge</foreName>
            <surname>Abiteboul</surname>
            <initial>S.</initial>
          </persName>
          <persName>
            <foreName>Amelie</foreName>
            <surname>Marian</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">The Eighteenth International Conference on Data Engineering - ICDE 2002, San Jose, California, USA</title>
        <imprint>
          <dateStruct>
            <month>February</month>
            <year>2002</year>
          </dateStruct>
          <biblScope type="pages">41-52</biblScope>
          <ref xlink:actuate="onRequest" xlink:show="replace" xlink:type="simple" xlink:href="http://citeseer.ist.psu.edu/cobena01detecting.html" location="extern" xyref="2845154894005">http://citeseer.ist.psu.edu/cobena01detecting.html</ref>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:Ellis.ea:1990" type="book" id="bid16">
      <monogr>
        <title level="m">The annoted C++, reference manual</title>
        <author>
          <persName>
            <foreName>Margaret A.</foreName>
            <surname>Ellis</surname>
            <initial>M. A.</initial>
          </persName>
          <persName>
            <foreName>Bjarne</foreName>
            <surname>Stroustrup</surname>
            <initial>B.</initial>
          </persName>
        </author>
        <note anchored="yes" place="unspecified" type="bnote">ISBN 0-201-51459-1</note>
        <imprint>
          <publisher>
            <orgName>Addison-Wesley</orgName>
          </publisher>
          <dateStruct>
            <year>1990</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:Ressel.ea:96" type="inproceedings" id="bid18">
      <analytic>
        <title level="a">An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors</title>
        <author>
          <persName>
            <foreName>Matthias</foreName>
            <surname>Ressel</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Doris</foreName>
            <surname>Nitsche-Ruhland</surname>
            <initial>D.</initial>
          </persName>
          <persName>
            <foreName>Rul</foreName>
            <surname>Gunzenhauser</surname>
            <initial>R.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'96), Boston, Massachusetts, USA</title>
        <imprint>
          <dateStruct>
            <month>November</month>
            <year>1996</year>
          </dateStruct>
          <biblScope type="pages">288-297</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:schuldt02a" type="article" id="bid1">
      <analytic>
        <title level="a">Atomicity and Isolation for Transactional Processes</title>
        <author>
          <persName>
            <foreName>Heiko</foreName>
            <surname>Schuldt</surname>
            <initial>H.</initial>
          </persName>
          <persName>
            <foreName>Gustavo</foreName>
            <surname>Alonso</surname>
            <initial>G.</initial>
          </persName>
          <persName>
            <foreName>Catriel</foreName>
            <surname>Beeri</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>Hans-Jorg</foreName>
            <surname>Schek</surname>
            <initial>H.-J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">ACM TODS</title>
        <imprint>
          <biblScope type="volume">27</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2002</year>
          </dateStruct>
          <biblScope type="pages">1-53</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:shen02" type="inproceedings" id="bid17">
      <analytic>
        <title level="a">Flexible notification for collaborative systems</title>
        <author>
          <persName>
            <foreName>Haifeng</foreName>
            <surname>Shen</surname>
            <initial>H.</initial>
          </persName>
          <persName>
            <foreName>Chengzheng</foreName>
            <surname>Sun</surname>
            <initial>C.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proceedings of the 2002 ACM conference on Computer supported cooperative work</title>
        <imprint>
          <publisher>
            <orgName>ACM Press</orgName>
          </publisher>
          <dateStruct>
            <year>2002</year>
          </dateStruct>
          <biblScope type="pages">77–86</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:stratulat01" type="article" id="bid21">
      <analytic>
        <title level="a">A general framework to build contextual cover set induction provers</title>
        <author>
          <persName>
            <foreName>Sorin</foreName>
            <surname>Stratulat</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Journal of Symbolic Computation</title>
        <imprint>
          <biblScope type="volume">32</biblScope>
          <biblScope type="number">4</biblScope>
          <dateStruct>
            <year>2001</year>
          </dateStruct>
          <biblScope type="pages">403-445</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:Suleiman98" type="inproceedings" id="bid20">
      <analytic>
        <title level="a">Concurrent Operations in a Distributed and Mobile Collaborative Environment</title>
        <author>
          <persName>
            <foreName>Maher</foreName>
            <surname>Suleiman</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Michèle</foreName>
            <surname>Cart</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Jean</foreName>
            <surname>Ferrié</surname>
            <initial>J.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proceedings of the Fourteenth International Conference on Data Engineering, February 23-27, 1998, Orlando, Florida, USA</title>
        <imprint>
          <publisher>
            <orgName>IEEE Computer Society</orgName>
          </publisher>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">36-45</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:sun98tochi" type="article" id="bid19">
      <analytic>
        <title level="a">Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems</title>
        <author>
          <persName>
            <foreName>Chengzheng</foreName>
            <surname>Sun</surname>
            <initial>C.</initial>
          </persName>
          <persName>
            <foreName>Xiaohua</foreName>
            <surname>Jia</surname>
            <initial>X.</initial>
          </persName>
          <persName>
            <foreName>Yanchun</foreName>
            <surname>Zhang</surname>
            <initial>Y.</initial>
          </persName>
          <persName>
            <foreName>Yun</foreName>
            <surname>Yang</surname>
            <initial>Y.</initial>
          </persName>
          <persName key="ecoo-2005-id18291">
            <foreName>David</foreName>
            <surname>Chen</surname>
            <initial>D.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">ACM Transactions on Computer-Human Interaction (TOCHI)</title>
        <imprint>
          <biblScope type="volume">5</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">63–108</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:Vidot.ea:00" type="inproceedings" id="bid15">
      <analytic>
        <title level="a">Copies convergence in a distributed real-time collaborative environment</title>
        <author>
          <persName>
            <foreName>Nicolas</foreName>
            <surname>Vidot</surname>
            <initial>N.</initial>
          </persName>
          <persName>
            <foreName>Michèle</foreName>
            <surname>Cart</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Jean</foreName>
            <surname>Ferrié</surname>
            <initial>J.</initial>
          </persName>
          <persName>
            <foreName>Maher</foreName>
            <surname>Suleiman</surname>
            <initial>M.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA</title>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2000</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:wfmc" type="techreport" id="bid0">
      <monogr>
        <title level="m">Workflow Management Coalition</title>
        <author>
          <persName>
            <foreName/>
            <surname>WFMC</surname>
            <initial/>
          </persName>
        </author>
        <note anchored="yes" place="unspecified" type="typdoc">Technical report</note>
        <imprint>
          <publisher>
            <orgName type="institution">AIIM</orgName>
          </publisher>
          <dateStruct>
            <year>1995</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    <biblStruct rend="foot" n="footcite:Dav78" type="article" id="bid10">
      <analytic>
        <title level="a">Data Processing Spheres of Control</title>
        <author>
          <persName>
            <foreName>Charles T.</foreName>
            <surname>Davies Jr.</surname>
            <initial>C. T.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">IBM Systems Journal 17(2): 179-198</title>
        <imprint>
          <dateStruct>
            <year>1978</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
  </biblio>
</raweb>

