BENMERZOUG Djamel
责任导师 : 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)
答辩 : 2009-12-13
离开日期 : 2009-12-152007-2009 刊物
-
2009
- D. Benmerzoug : “Méthodes et outils formels pour l’intégration d’applications d’entreprises”, 博士论文, 答辩 2009-12-13, 责任导师 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, 4th 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”, 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Madeira, Portugal, pp. 163-168, (INSTICC Press) (2007)