Direction de recherche : 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)

Publications 2007-2009

• 2009
  • D. Benmerzoug : “Méthodes et outils formels pour l’intégration d’applications d’entreprises”, soutenance de thèse, soutenance 13/12/2009, direction de recherche Kordon, Fabrice (2009)
• 2008
  • D. Benmerzoug, F. Kordon, M. Boufaïda : “A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration”, Advances in Enterprise Engineering I, 4^th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), vol. 10, Lecture Notes in Business Information Processing, Montpellier, France, pp. 78-92, (Springer-Verlag) (2008)
  • D. Benmerzoug, F. Kordon, M. Boufaïda : “Formalisation and verification of interaction protocols for business process integration: a Petri net approach”, International Journal of Simulation and Process Modelling, vol. 4 (3/4), pp. 195-204, (Inderscience) (2008)
• 2007
  • D. Benmerzoug, M. Boufaïda, F. Kordon : “A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents”, 5^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Madeira, Portugal, pp. 163-168, (INSTICC Press) (2007)