Direção de pesquisa : Fabrice KORDON

Méthodes et outils formels pour l’intégration d’applications d’entreprises

L’intégration d’applications d’entreprises (ou EAI pour Enterprise Application Integration) est un domaine informatique porteur. Elle concerne plusieurs branches d'activités industrielles, commerciales, médicales, administratives ou grand public et fait interférer de plus en plus de composants d'origines diverses (Web services, CORBA, EJB, et autres) reliés par différents moyens de communications. La multiplicité de ces interactions est une source de complexité que les acteurs maîtrisent difficilement. En effet, concevoir, réaliser et maintenir industriellement des systèmes répartis (composants ou services) exigent une prise en compte simultanée des problèmes très différents comme l'analyse de leur comportement ou leur adaptation à des infrastructures d'exécution hétérogènes (tant au niveau matériel que logiciel). Les problèmes de conception, de vérification et de réalisation deviennent alors indissociables de l'étude des infrastructures d'exécution réparties ou middlewares. Donc, il est nécessaire de définir une méthodologie de développement reposant sur des aspects formels pour cette activité d’intégration
Cette thèse est en co-tutelle avec l'Université Mentouri de Constantine (Algérie)

Publicações 2007-2009