Modélisation Orientée Objets et Algèbres de processus communicants

Les langages de processus (CSP : Communicating Sequential Processes, CCS : communicating Sequential Processes et son successeur, le pi-calcul,  LOTOS : Language Of Temporal Ordering Specification) ont été proposés indépendamment des langages de modélisation orientés objet. Ils sont antérieurs à UML.

CCS, LOTOS et le pi-calcul ont fait l'objet de plusieurs implantations, mais aucun environnement industriel n'a été réalisé. Les travaux de Robin Milner, prix Turing en 1991, ont cependant largement été reconnus dans la communauté scientifique.  L'approche de Milner a toujours consisté à définir un ensemble réduit de concepts de manière à décrire simplement un système et surtout à pouvoir le vérifier ensuite.

Ces possibilités d'animations, simulation, vérifications sont justement les points faibles des descriptions comportementales des objets en terme de machines d'états UML. Le sujet proposé consiste à voir comment associer les vues statiques d'UML avec des approches comportementales en termes de processus. Ce sujet est d'autant plus d'actualité que les processus apportent une réponse claire aux problématiques architecturales.

D'un point de vue pratique, la base d'un couplage entre un environnement UML et un outil de processus pourra être étudiée.
 

Laboratoire d'accueil

Le stage de DEA se fera au LGI2P, à Nîmes, au sein de l'axe "Crédibilité des systèmes."


Références bibliographiques           Communicating and mobile systems: the pi-calculus
          Cambridge University Press, 1999