Fiche de présentation de TER M2 2011-2012

Titre : Concepts fondamentaux de l'Informatique pour l'étude de la science du Web.
Information : Encadrant : Stefano Cerri et Clement Jonquet (LIRMM, UM2) {cerri,jonquet}@lirmm.fr

Spécialités : IFPRU (DIWEB, I2A, GL)

Nombre d'étudiants : 2-3

Mots clés : Science du Web, Concept et paradigme de programmation, modélisation et simulation du Web, application Web, collaboration, informatique sociale, informatique orientée service.

Résumé :
l'objectif de ce travail est l'étude des concepts fondamentaux nécessaire pour étudier le Web comme une science. Nous proposons à partir des concepts informatiques formalisés par Van Roy & Haridi d'intégrer la dimension humaine et sociale. Vous projetterez et expérimenterez vos réflexions dans le contexte d'une plateforme Web collaborative d'organisation de conférence.

Contexte :
Au début de l'Informatique, les concepts fondamentaux du calcul monoprocesseur (modèles Machine Von Neumann) étaient : séquence, condition, itération (i). Plus tard, les besoins de comprendre et prévoir des systèmes complexes naturels (a état et en évolution dans le temps) ont stimulé la naissance des concepts de classe, objet, message, encapsulation et héritage, etc. autour des activités de modélisation et de simulation informatique. Ces concepts fondamentaux sont la colonne vertébrale de la « science informatique ».
Aujourd'hui le système complexe sujet de nos études est le Web, constitué de sociétés d'agents artificiels et humains distribuées en communication asynchrone, en collaboration et compétition.

Etudier la « science du Web » (http://webscience.org) [1] consiste une fois encore à identifier les concepts fondamentaux qui permettront de comprendre, modéliser, simuler, mesurer le Web et prévoir son évolution pour identifier les infrastructures et les applications à concevoir et développer (ii). Cette nouvelle science étant par nature multidisciplinaire (cf. figure) il s'agit de piocher dans chaque discipline les concepts qui serviront pour l'étude du Web. Cependant, comme toute nouvelle science, il existe aussi une démarche d'identification des nouveaux concepts fondamentaux de cette science. Cette dernière démarche est bien sûr la plus difficile. Pour simuler le Web, ou au moins des scénarios significatifs, il nous faut les concepts de base du système et leurs règles de composition et d'abstraction. Nous commençons juste à étudier le Web dans son ensemble, cependant nous étudions la question sous divers angle depuis longtemps, par exemple :
- la programmation pour le Web [2] ;
- les systèmes distribués et l'approche multi-agent [4] ;
- l'informatique orientée service [5]. Par exemple, [7] présente de nombreuses techniques et technologies qui toutefois ne sont pas au bon niveau d'abstraction (et de description) parce qu'elles ne reposent pas sur un formalisme commun mais sur une "galaxie" de langages plus ou moins standardisés et/ou adoptés à un temps donné.
- les environnements de collaboration et d'apprentissage et les communautés virtuelles [3]. Dans ce dernier exemple, nous montrons comment la gestion des communautés virtuelles peut se faire par 4 mécanismes tels que la délégation, l'habilitation, l'implication et la cooptation.



Présentation du sujet :
Le sujet de ce travail est de continuer l'étude des concepts fondamentaux de la science du Web dans le contexte d'un scénario particulier tel que l'utilisation d'une plateforme collaborative pour l'organisation scientifique d'une conférence (i.e., EasyChair http://www.easychair.org). Le travail se concentrera sur l'analyse conceptuelle de l'application pour décrire et simuler en termes des concepts nécessaires et suffisants les processus métiers sous-jacents nécessaires pour réaliser les taches du travail collaboratif (but de l'application). Nous proposons de partir du livre de Van Roy et Haridi « Concepts Techniques and Models for Computer Programming » [6] qui conceptualise les concepts et paradigmes de programmation
informatique. Nous voudrions ajouter à ceux-ci la dimension humaine et sociale (intégrer l'humain et son réseau social dans la boucle).

Références :
[1] Tim Berners-Lee, Wendy Hall, James Hendler, Nigel Shadbolt, and Daniel J. Weitzner. Creating a Science of the Web. Science, 313(5788):769, August 2006.
[2] Stefano A. Cerri. Dynamic typing and lazy evaluation as necessary requirements for Web languages. In European Lisp User Group Meeting, ELUGM'99, Amsterdam, Netherlands, June 1999.
[3] Pascal Dugénie and Stefano A. Cerri. The Principle of Immanence in Event-Based Distributed Systems. In Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational
Intelligence, pages 239 & 256. Springer, 2011.
[4] Jacques Ferber. Les Systemes Multi-Agents, vers une intelligence collective. InterEditions, Paris,
France, 1995.
[5] Clement Jonquet. Dynamic Service Generation: Agent interactions for service exchange on the
Grid. Phd thesis, University Montpellier 2, Montpellier, France, November 2006.
[6] Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming.
MIT Press, March 2004.
[7] Munindar P. Singh and Michael N. Huhns. Service-Oriented Computing, Semantics, Processes,
Agents. John Wiley & Sons, 2005.

Notes:
i) http://en.wikipedia.org/wiki/Structured_program_theorem
ii) The Web is and will be the principal communication and knowledge sharing platform for the future global knowledge society. The Web is dynamic and is changing faster than our ability to observe it. Despite the tremendous success of the Web up till know, its current use is a mere glimpse into the future pervasiveness of the Web infrastructure into all aspects of life: working, learning, politics, economics, law, health, and leisure time. The need to study the Web in its complexity, development and impact led to the creation of the Web Science discipline.