Abstract FR:

Le développement d'un logiciel est un procédé multi-agents et il est nécessaire de régler les problèmes de concurrence d'accès ne sont pas directement réutilisables: ils conduisent les agents d'un développement à travailler de façon isolée alors que, par nature, nos procédés sont interactifs. Nous montrons néanmoins qu'un modèle de transaction classique, étendu pour exploiter d'une part la connaissance du procédé en cours d'exécution décrite dans les termes d'un modèle de description de procédés de fabrication de logiciel, et d'autre part les capacités d'initiative des agents humains, permet l'exécution interactive des différentes activités des agents. Cette thèse propose un protocole de gestion de la concurrence d'accès basé sur un modèle de description de procédés orienté objectifs permettant d'exprimer et de maitriser le travail coopératif entre plusieurs agents