Tutoriels

  
Mr Boualem BENATALLAH  
   
  Titre : From composition to end users programming
  
    
  Résumé :  
  In this talk, we will review state of the art in services composition and reuse. We discuss main issues related to simplifying composition and increasing reuse. Current APIs and composition techniques including mashups, however, aim toward developers with programming expertise; they are not directly usable by wider class of users who do not have programming background, but would nevertheless like to build their own mashups. We will discuss the synergies between composition. End users programming, and knowledge support for reuse as step forward in this direction.  
   
  Biographie :  
  Boualem Benatallah is professor and research group leader at the School of Computer Science (CSE), University of New South Wales (UNSW, Sydney, Australia). He is also visiting professor at the University of Blaise Pascal and chaire d'excellence of the Auvergne Region in France (LIMOS, France, 2008-2010). His main research interests are developing fundamental concepts and techniques in service composition, integration, and business processes management. He has published more than 150 refereed papers including 34 journal papers. Most of his papers appeared in very selective and reputable conferences and journals. He is frequently invited to give keynote talks, lectures and tutorials on service computing in international conferences and summer schools. He has a very strong international track record demonstrated by the high citations of his work, some of which are considered seminal in the field of services composition. He also has strong collaboration with Industry including projects, consultancy, and patents. Boualem has been PC co-chair of four main international conferences (BPM'05, ICSOC'05, WISE'07, ICWE'2010). He was the general chair of ICSOC'08 - Sydney. He has acted as a key official (tutorial chair, workshops chair, publication chair, area chair, PhD symposium chair) for several international conferences. He has been guest editor of five special issues for reputable international journals including ACM TOIT. He has been a PC member of all the reputable international conferences in his areas of research including VLDB, ICDE, WWW, EDBT, MDM, ICSOC, ICWS and ER. He is member of the steering committee of BPM and ICSOC. He is member of the editorial board of numerous international journals and series including Springer Series on Services Science. He was visiting scholar at Purdue University (USA), Virginia Tech (USA). He was visiting Professor at INRIA-LORIA, Claude Bernard University (France), University of Blaise Pascal (Clermont Ferrand, France), University of Trento (Italy, 2007). As chair of the CSE research committee, he was member of the team (comprising multiple university, government and industry partners) that constructed the successful bid for the new Smart Services CRC, which was awarded $30m in federal funding in 2007. He was a project leader at the CRC smart services. He is a leader of a recent UNSW strategic initiative on eResearch and services.  
   
     
Mme Valérie MONFORT & Mr Slimane HAMMOUDI
 
     
  Titre : Adaptabilité des Architectures Orientées Service  
     
  Résumé :  
  Les Architectures Orientées Services (ou SOA : Services Oriented Architecture) offrent une grande flexibilité aux changements fonctionnels et techniques imposés par la forte concurrences entre les entreprises et la politique effrénée de réduction des coûts. Cette flexibilité est possible par le couplage faible entre les composants offrant des services. D’autre part, la mise en œuvre des Architectures Orientées Services par les services Web fournit un réel moyen technique pour l’entreprise étendue, où toute entreprise peut ouvrir tout ou partie de son Système d’Information (SI) à une autre entreprise, en s’affranchissant de toute hétérogénéité technique. L’interopérabilité entre SI et entre plates formes est permise grâce aux standards sur lesquels les services Web reposent. Toutefois, des travaux ont montré que cette flexibilité n’était que relative et que les services Web ne permettaient pas vraiment l’adaptation aux changements. De plus, certains auteurs ont montré que les services Web couplés aux aspects (concepts issus de la programmation par aspects) offraient l’adaptation requise. D’autres travaux, également basés sur les aspects et les services traitent de l’adaptation au contexte ambiant. Toutefois, ces solutions restent très ou trop techniques pour des néophytes. Parallèlement à cela, l’ingénierie des modèles (IDM) propose des solutions pour l’adaptation ainsi que pour l’adaptation au contexte ambiant. Des auteurs se basent sur la composition de modèles et les transformations paramétrées. Restant très conceptuelle et avec une perspective d’implémentation sur une plate forme technique cible, l’IDM a été retenue par les orateurs pour compléter en amont la démarche basée sur les services Web et les aspects. Cette approche est présentée ainsi que les travaux de recherche actuels et futurs.  
     
  Biographie :  
  Valérie Monfort est Maître de Conférences à l'Université de Paris1 Panthéon Sorbonne, détachée à l'Université de Kairouan, Institut Supérieur d'Informatique de Gestion, Tunisie. Elle a écrit plusieurs ouvrages chez le même éditeur sur les services Web et sur l'interopérabilité des services Web. Consultante de renommée internationale, elle a effectué un grand nombre de missions de conseil sur les SOA et sur l'urbanisme notamment chez Bouygues Télécom, Dutchtone, Ericsson, Alcatel, RTE, MMA, DEXIA group, BNP, Pierre et Vacances ... Elle effectue actuellement des recherches sur l'adaptabilité des services Web au contexte et sur les plates formes d'adaptation.  
     
  Slimane Hammoudi est enseignant chercheur à L’ESEO, Grande École d’Ingénieurs Généralistes en Électronique, Informatique, Télécoms et Réseaux. Après une expérience internationale au Brésil et au Portugal participant à la mise en œuvre des programmes de Post-graduations, il à rejoint l’ESEO en 1999 comme enseignant chercheur au département d’informatique. Il effectue actuellement des recherches sur l’ingénierie des modèles et ses applications à différents domaines comme : les services Web, l’informatique ubiquitaire et la sensibilité au contexte et l’adaptabilité des architectures SOA; Il a participé à la rédaction de plus de 70 publications scientifiques.  
     
     
Mr Farouk TOUMANI
 
   
  Titre : Formal approaches for synthesis and verification of web service composition  
     
  Résumé :  
  One of the ultimate goals of the web service technology is to enable rapid low-cost development and easy composition of distributed applications, a goal that has a long history strewn with only partial successes. The research problems involved by service composition are varied in nature and depends mainly on the kind of the composition process, i.e., manual v.s. automatic, on the model used to describe the services and on the issues related to composition. A line of demarcation between existing works in this area lies in the nature of the composition process: manual v.s. automatic. The first category of work deals generally with low-level programming details and implementation issues (e.g., WS-BPEL) while automatic service composition focuses on different issues such as composition verification, planning or synthesis. In this talk, we will review recent research works and challenges related to formal verification and synthesis of service composition. Then we consider more particularly the composition synthesis problem, i.e., how to generate automatically a new target service by reusing some existing ones, and discuss the associated decidability problem in presence of both bounded and unbounded number of instances.  
     
  Biographie :  
  Prof. Farouk Toumani: PhD, Full Professor, Department of Mathematics and Computer Sciences, University Blaise Pascal of Clermont Ferrand, France. He received his PhD degree in computer science from INSA of Lyon, France, in 1997. He is leading the database group of the LIMOS since September 2007. His research interests lie in the areas of Web services, semantics Web, and knowledge representation for databases. Farouk has published widely in highly reputable international journals and conferences and has been a Program Committee member of several conferences. He has a number of funded projects (IST European projects, France Telecommunication) in the areas of Semantic Web, Web services and information integration.