Dans cette these, nous analysons les AGL diriges par un modele de processus logiciel. Nous decrivons un certain nombre d'AGL que nous pensons les plus significatifs en regard des principales caracteristiques du formalisme propose pour modeliser les processus logiciels et leur mecanisme d'interpretation. Nous presentons ensuite notre approche : TEMPO - un atelier de genie logiciel dirige par le processus logiciel. Nous decrivons le formalisme executable pour decrire les activites de genie logiciel. Nous montrons comment les aspects multi-comportementaux lies a l'utilisation des objets par ces activites sont exprimes par le concept de role. Nous developpons egalement notre modele de communication. Grace a ce modele, les politiques qui gouvernent la cooperation entre les differents processus logiciels sont specifiees par le concept de connexions actives et programmables. Les echanges des messages sont controles par des regles temporelles evenement-condition-action executees par un mecanisme de declencheurs. Ces regles permettent de programmer des strategies de synchronisation entre les processus, en propageant les effets des qu'une action est executee sur l'un ou l'autre des points de la connexion. La coherence des objets manipules par les activites de longue duree est geree par le concept d'environnement de travail.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00005134 |
Date | 22 October 1993 |
Creators | Melo Louzada Martins, Walcelio |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0071 seconds