Direction des Relations Internationales (DRI)

Programme INRIA "Equipes Associées"
/ INRIA "Associate Teams" Programme




Formalizing Orchestration & Secure Services Analysis



Equipe-Projet INRIA : DISTRIBCOM Organisme étranger partenaire : University of Texas at Austin
Centre de recherche INRIA : Rennes - Bretagne Atlantique
Thème INRIA : Réseaux, systèmes et services, calcul distribué
Pays / Country : United States of America
Coordinateur français / French Coordinator
Coordinateur étranger / Partner Coordinator
Nom, prénom / First name, Given name  Benveniste Albert  Misra Jayadev
Grade, statut / Position  Directeur de Recherche INRIA  Professor and Schlumberger Centennial Chair in Computer Sciences
Organisme d'appartenance / Home Institution
 INRIA/IRISA  University of Texas/Dept. of Computer Sciences
Adresse postale / Postal address  Campus de Beaulieu, 35042 Rennes, France  Dept. of Computer Sciences, Taylor Hall, Room 3.102, Univ. of Texas at Austin, Austin, Texas 78712-1188, USA
URL / Website
Téléphone / Telephone  +33 2 99 84 72 35  +1 512-471-9550
Télécopie / Fax  +33 2 99 84 71 71  +1 512-471-8885
Courriel / Email
Equipe-Projet INRIA : MEXICO
Centre de recherche INRIA : Saclay - Ile de France
Thème INRIA : Programmation, vérification et preuves
Autre participant français / Other french Participant
Nom, prénom / First name, Given name  Haar Stefan  
Grade, statut / Position  Chargé de Recherche INRIA  
Organisme d'appartenance / Home Institution
Adresse postale / Postal address  ENS de Cachan, 61, avenue du Président Wilson, 94235 CACHAN Cedex, France  
URL / Website  
Téléphone / Telephone  +33 1 47 40 75 67  
Télécopie / Fax  +33 1 47 40 75 21  
Courriel / Email  

La proposition en bref
/ The proposal in brief

Analyse formelle de l'orchestration de services / Formalizing Orchestration & Secure Services Analysis (FOSSA*)

Descriptif / Description :

 The widespread deployment of networked applications and adoption of the internet has fostered an environment in which many distributed services are available. There is great demand to automate business processes and workflows among organizations and individuals. Solutions to such problems require orchestration or choreography of concurrent and distributed services in the face of arbitrary delays and failures of components and communication. The Orc team, lead by Jayadev Misra at the University of Texas at Austin, has developed the Orc language to support orchestrations. The DistribCom team has developed studies regarding the Quality of Services of orchestrations and choreographies, with emphasis on Orc. Finally, from the newly created (2009) MExICo team in Saclay (, Stefan Haar is a former member of DistribCom and has participated in the above research, and Serge Haddad has been working on client synthesis and aspects of orchestration, in particular adaptation. The teams cooperate since 2006 and have decided to join their efforts in lauching the associated team FOSSA, with the following objectives:

  • To contribute to the development of Orc [2] as a support for Structured Application Development over Wide-Area Networks;
  • To develop a comprehensive theory of QoS for composite Web services, supporting: SLA contracts, contract composition, contract monitoring, and reconfiguration;
  • To experiment on real orchestrations or choreographies;
  • To develop studies on security (Authorization and Information flow);
  • To develop studies on the functional synthesis and design of composite services, including mashups ("à la Hop" [5]) and synthesis of adaptors for services inside a composition;
  • To develop the synthesis of clients supporting the interaction protocol of a composite service;
  • To benchmark different styles of formalisms: Orc, a graphical formalism for workflow specifications by Gero Decker (Signavio), and Active XML document based formalism [1].
  • As a general umbrella for all the above objectives, distributed aspects will be central.

    (*) FOSSA is an endangered animal ( It is ferocious and enjoys a long life.

    Présentation détaillée de l'Équipe Associée
    Detailed presentation of the Associate Team

    1. Objectifs scientifiques de la proposition
    / Scientific goals of the proposal

    Background of the collaboration between the teams: In 2002, Albert Benveniste attended as a plenary speaker the Europar Confer- ence. Jayadev Misra gave another plenary talk where he presented his early view on wide area computing that subsequently lead to the birth of Orc. In 2005, when Sidney Rosario joined the DistribCom team for his Master degree, contact was established with the group of J. Misra regarding Orc. The first cooperation between the two groups was on semantic issues regarding the Orc language [8]. Since then, regular contacts have been maintained with visits from both sides. The two teams decided in 2008 to join their efforts at developing QoS studies for Orc.

    As a result of this past and present interaction, the thesis of Sidney Rosario (defense to be held on November 30th) nicely combines the following two aspects:

    William Cook is a committee member of the PhD thesis of Sidney Rosario and Sidney will be a post-doc at the Orc group starting end of october (sub ject to visa issues). During his post-doc at Austin, Sidney will continue and complete the development of a QoS management service on top of Orc. Deeper interaction with the Orc group at Austin will, however, be instru- mental in achieving the above mentioned wider program. This motivates the application for an Associated Team grant.

    The teams:

    3. Impact
    / Impact

    On the scientific objectives of participating teams: The DistribCom team wishes to revisit its research ob jectives regarding Web services orchestrations and QoS studies. Its past research on this topic suggests that the wide scientific background of its members (including statistics and control science, which is part of the new PhD student Ajay Kattepur) should be extremely helpful in addressing the cross-disciplinary issues related to Web services. Performing best investment based on this background is a key issue for the group. This requires a deeper understanding of practical problems when developing applications in the targeted sectors. And this is only possible if the research can build on a tool environment where real-size experiments can be performed and research results can be fielded. The MExICo Team intends to intensify research on grey-box management in the context of orchestrated web services. One tier of its participation is continued implication in the QoS-related research. Indeed with its solid skill in performance evaluation, the team wants to develop dedicated techniques for efficient measurements and improvement of QoS for Web services. Besides this, MExICo aims at developping, instanciating and integrating methods for adap- tation of services into existing compositions. Previous work in this direction had been oriented towards the Software-bus environment; integration with the Orc engine is a desideratum for MExICo. Finally, MExICo strives to improve and facilitate aspect-oriented programming in Orc' wide-area setting as it helps to manage the complexity of the business logic. Regarding the Orc group at UT Austin, the goal of the Orc project is to develop a robust model of structured concurrent programming. The Orc Project is funded by two major grants, one from NSF and another large government grant.

    On the relationships between partners and their home institutions:

    4. Divers :
    / Miscellaneous:


    Bibliography of the three groups as related to the topics of FOSSA:

    / 2010 Forecast

    Programme de travail
    Work programme

    Description du programme scientifique de travail (1 à 2 pages maximum)
    /Description of the scientific work programme (maximum 1 to 2 pages)

    The work program is structured according to the successive years and contribution by the partners. The steps that we detail below will constitute the concerted effort of FOSSA. One should, however, remain aware that the work programme below will be complemented by more opportunistic research around the same topics, depending on the new and unexpected issues and advances that will emerge during the project's period. Also, since Orc is the tool that is put in forefront of this project, contributions to and enhancements of Orc will be performed in an opportunistic way all along the project period. Those invariant aspects of the work programme will not be further mentioned below.

    The first year will be mainly devoted to the exploration of realistic size orchestration or choreography applications. Several formalisms will be experimented, including (of course) Orc. Target sectors will be business processes, logistics applications, and, with lesser priority, consumer applications. Aim will be to gather deeper understanding fo the variety of issues underpinning the development of such applications. The ob jective here is to avoid addressing fake issues or issues of minor importance for the targeted sectors. The three partners of FOSSA already have some experience of this kind. In particular, in their past cooperation, DistribCom and UT Austin have studied medium size orchestrations as encountered, e.g., in travel planning. In a different context, DistribCom has studied the whole system supporting the sale and manufacturing of Dell computers, ranging from the Web based front-end for gathering customer orders, to the supply chain involving the distributed interaction of Dell with its suppliers. Emphazis for this first year will thus be on objectives 3 and 6. As a result, key research challenges will be revisited and made more precise. One important additional point is the enhancement of Orc with QoS features. This will be performed as follows. As part of the background of FOSSA we have developed an instrumented semantics of Orc enabling the on-the-fly evaluation of QoS parameters, for an Orc program. This will be further studied and developed. The above approach leaves open the option as to whether a loosely or tightly coupled instrumentation of Orc will be designed.

    Central effort of the second year will be the research aspects as prioritized during year 1 of FOSSA. Consequently, focus for this year will shift to ob jectives 2, 4, and 5. During this year, the decision of which formalisms for orchestrations or choreographies FOSSA will continue investigating, will be finalized.

    The third year will focus on the tool development resulting from the advances in research performed during year 2 of FOSSA. Research results will be turned into tools. Packaging of the resulting tools and services will be performed as Orc services. Roles of the partners will be made precise after Year 1.


    Programme d'échanges avec budget prévisionnel 2010
    Exchanges schedule and estimated 2010 budget

    1. Echanges / Exchanges

    From the Distribcom side, Albert Benveniste and Claude Jard will spend one weak in Austin during the first year. Things are open for the following years, but one weak in Austin per year for seniors researchers from Mexico or Distribcom seems reasonable. At least 6 young researchers will participate to the associated team during their PhD. We expect that Ajay Kattepur will spend one month per year during the collaboration. Two PhDs from Mexico (Dorsaf El Hog and Hilal Djafri) plan to spend two weeks per year in Austin. On the US side, Sidney Rosario will spend 3 weeks in France, and the exhange of some US students is also forecast.

    Estimated spending for missions of INRIA researchers abroad

    Nombre de personnes
    Number of persons

    Coût estimé
    Estimated cost

    Chercheurs confirmés
    Senior researcher
     4  13000 €

    Postdoctoral fellow

    PhD student
     2  7000 €


    Autre (précisez) :
    Other (detail):
     6  20000 €


    Estimated spending for invitations of Partner researchers in France
    Nombre de personnes
    Number of persons
    Coût estimé
    Estimated cost
    Chercheurs confirmés
    Senior researcher
     1  3000 €
    Postdoctoral fellow
     1  4000 €
    PhD student
     2  4000 €


    Autre (précisez) :
    Other (detail):

     4  11000 €

    2. Cofinancement / Cofinancing

    INRIA (DistribCom + Mexico):

    UT Austin:

    A. Coût global de la proposition (total des tableaux 1 et 2 : invitations, missions, ...)
    A. Global cost of the collaboration project
     31000 €
    B. Cofinancements utilisés (financements autres que Equipe Associée)
    B. Cofinancing (other than Associate Team programme)
     11000 €
    Financement "Équipe Associée" demandé (A.-B.)
    Funding from the Associate Team programme

    (maximum 20 000 €)
     20000 €



    © INRIA - mise à jour le 17/09/2009