Programmation des sociétés de calcul global
Par système distribué, on entend une collection d'ordinateurs indépendants qui se comportent comme un système cohérent unique. Au fur et à mesure que la complexité d'un tel système augmente, on en arrive à la notion de calcul global. Un agrégat d'entités de calcul agissant de façon autonome et interagissant les unes avec les autres constitue un environnement de calcul global. Le projet SOCS désigne ces entités de calcul en tant qu'«ordinatés» (computees) afin de souligner le fait qu'elles préservent leur individualisme et leur hétérogénéité au sein de l'environnement de calcul global. Ces «ordinatés» acquièrent les connaissances d'une base de connaissance commune, interagissent selon certains protocoles spécifiés de manière préalable et collaborent à l'obtention d'objectifs communs. Très similaires à une société, les entités de calcul sont en même temps très différentes les unes des autres. L'absence éventuelle d'un contrôle global centralisé au profit d'un contrôle décentralisé des activités souligne encore plus la ressemblance. Le projet SOCS a développé des modèles logiques permettant le raisonnement dans un environnement changeant. Ces modèles utilisent des hypothèses plausibles lorsque l'information est incomplète et communiquent pour la prise de décision. Afin d'expérimenter les modèles logiques existants et de tester le caractère fonctionnel de leurs propriétés, une plate-forme innovante a été mise au point. Les sociétés de programmation des «ordinatés», la plate-forme prototype PROSOCS, contribuent à la mise en œuvre et au déploiement de ce type de sociétés d'«ordinatés». Grâce à cette plate-forme, les applications deviennent plus transparentes et par conséquent plus conviviales. De plus, la plate-forme interdit les interactions non souhaitées entre entités de calcul. Les règles d'interaction, une fois fixées, peuvent ensuite s'incarner dans la plate-forme. La plate-forme ainsi mise au point a fait l'objet de tests positifs dans un certain nombre d'applications de calcul global, par exemple l'e-commerce et les ventes aux enchères.
