Université Montpellier-II
Formation Doctorale Informatique
Sujet de thèse déposé pour un financement MESR rentrée 2007.
Gestion des exceptions dans les systèmes
componentiels
Christophe Dony (LIRMM-D’OC), Christelle Urtado, Sylvain Vauttier (LGI2P)
Gestion des exceptions, Tolérance aux pannes, Objets distribués, Composants, Agents, Services WEB.
Les problématiques de « robustesse logicielle », de « tolérance aux fautes » et de « gestion des exceptions » sont de plus en plus importantes car nos sociétés ne supportent plus que certains systèmes (économie, santé, transports, ...) informatiques cessent de fonctionner. Par ailleurs, l’architecture des applications, les langages de développement et les modèles d’exécution des applications se sont énormément complexifiés (distribution, asynchronisme, mobilité, modélisation (MDE), composants, services). Les systèmes de gestion des exceptions sont intégrés aux langages et permettent la réalisation d’application tolérantes aux fautes, leur adaptation aux langages d’aujourd’hui fournit le contexte de l’étude.
Le sujet à traiter l’étude et la réalisation de systèmes de gestion des exceptions capable de prendre en compte ces nouvelles architectures logicielles.
Le sujet prendra en compte diverses perspectives d'évolution. La première correspondant aux problématiques du projet ANR Facoma mené en collaboration avec le LIP6 et l'INRIA, consistera à d'étudier le couplage "gestion des exceptions - replication" pour la tolérance aux pannes dans les applications multi-agent avec une mise en application possible dans un système d'assistance au contrôle aérien. Le candidat prendra comme point de départ à son étude les travaux réalisés dans une précédente thèse (soutenue en 2005) sur la gestion d’exception dans les systêmes à objets asynchrones.
La seconde perspective d'évolution que nous pourrons aborder traitera de l'étude des systèmes dits « ambiants » qui utilisent les connexions sans fils et des réseaux mobiles pour apporter aux citoyens des services de proximité (par exemple surveillance médicale à domicile ou autre).
- Réalisations
o SGE pour les langages à Objet (Smalltalk, Java)
o SGE pour systèmes multi-agents (Madkit)
o SGE pour composants distribués (plateforme J2EE Jonas)
- Evènements
o Workshops ECOOP 1991, 2000 , 2003, 2005
- Collaborations
o Thèse co-encadrée avec l’Ecole des Mines d’Ales
o Collaborations avec les universités du Luxembourg, de Newcastle-upon-tyne et du Minesota.
- Bibliographie de l’équipe sur ce thème:
Christophe Dony, Jørgen Lindskov Knudsen, Alexander B. Romanovsky, and Anand Tripathi, editors. Advances Topics in Exception Handling Techniques, volume 4119 of Lecture Notes in Computer Science. Springer, september 2006.
2
Christophe Dony, Christelle Urtado, and Sylvain Vauttier. Exception handling and asynchronous active objects : Issues and proposal. In Dony et al. [1], chapter 5, pages 81 - 101.
Alexander Romanovsky, Christophe Dony, Jorgen L. Knudsen, Anand Tripathi, editor. Developing Systems that Handle Exceptions. Proceedings of the ECOOP 2005 Workshop on Exception Handling. Technical Report LIRMM 05-05, July 2005.
Aaton Shui, Sadaf Mustafiz, J_rg Kienzle, and Christophe Dony. Exceptional use cases. In Proceedings of Models/UML, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, pages 568-583, Montego Bay, Jama_que, October 2005.
Frédéric Souchon, Sylvain Vauttier, Christelle Urtado, and Christophe Dony. Fiabilité des applications multi-agents : le système de gestion d'exceptions saGE. In Systèmes multi-agents défis scientifiques et nouveaux usages - Actes des Journées Francophones sur les Systèmes Multi-Agents 2004, pages 121-134, Paris, France, November 2004.
Aurélien Campéas, Christophe Dony, Christelle Urtado, and Sylvain Vauttier. Distributed exception handling : ideas, lessons and issues with recent exception handling systems. In Actes de RISE'04 : First International Workshop on Rapid Integration of Software Engineering techniques, pages 82-92, Luxembourg, november 2004.
F. Souchon, C. Dony, C. Urtado, and S. Vauttier. Improving exception handling in multi-agent systems. In C. Lucena, A. Garcia, A. Romanovsky, J. Castro, and P. Alencar, editors, Advances in Software Engineering for Multi-Agent Systems, number 2940. LNCS - Lecture Notes in Computer Science, Feb. 2004. Selected and extended version of [9].
F. Souchon, C. Urtado, S. Vauttier, and C. Dony. Exception handling in component-based systems: a first study. In Ecoop 2003 Exception workshop proceedings., pages 84,91. Technical Report TR 03-028, Department of Computer Science, University of Minnesota, USA, july 2003.
F. Souchon, C. Dony, C. Urtado, and S. Vauttier. A proposition for exception handling in multi-agent systems. In in Proc. of SELMAS'03 : 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, Portland, Oregon, 2003.
A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Exception hanling: Towards emerging application areas and new programming paradigms. In M. Cilia F. Buschmann, A. P. Buchmann, editor, Object-Oriented Technology, ECOOP 2003 Workshop Reader, number 3013, pages 1-10. LNCS, 2004.
Alexander Romanovsky, Christophe Dony, Jorgen L. Knudsen, Anand Tripathi, editor. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems. Technical Report TR 03-028, Department of Computer Science, University of Minnesota, USA, 2003.
Alexander B. Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, and Anand Tripathi, editors. Advances in Exception Handling Techniques, volume 2022 of Lecture Notes in Computer Science. Springer, 2001.
C. Dony. A fully object-oriented exception handling system: rationale and smalltalk implementation. In [12], chapter 2, pages 18-38.
A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Exception handling in object oriented systems. In A. Moreira. J. Malenfant, S. Moisan, editor, Object-Oriented Technology. ECOOP 2000 Workshop Reader. LNCS-1964, 2000.
C. Dony, J. Purchase, and R. Winder. Report on the ecoop'91 workshop on exception handling and object-oriented programming. ACM OOPS Messenger, 3(2):17-30, April 1992.
Christophe Dony. Exception handling and object-oriented programming: Towards a synthesis. ACM SIGPLAN Notices - Proceedings of the joint conference ECOOP-OOPSLA'90, 25(10):322-330, October 1990.
Christophe Dony. Improving exception handling with object-oriented design. In Proceedings of IEEE COMPSAC'90, Fourteenth Computer Software and Applications Conference, pages 36-42, Chicago, USA, November 1990.
Christophe Dony. Apports du formalisme objet aux problèmes de la gestion des exceptions. In EC2, editor, Actes des Deuxièmes Journées Internationales: Le Génie Logiciel et ses Applications, pages 401-416, Toulouse, France, December 1989.
Christophe Dony. An object-oriented exception handling system for an object-oriented language. In S. Gjessing and K. Nygaard, editors, Proceedings ECOOP '88, LNCS 322, pages 146-161, Oslo, August 15-17 1988. Springer-Verlag.
-