Début du message réexpédié :
De: "Abdelhak-Djamel SERIAI" seriai@ensm-douai.fr Date: 21 novembre 2005 15:55:31 GMT+01:00 À: membres-asf@listes.irisa.fr, "GDR ARP" ARP@cines.fr, "asf" membres-asf@irisa.fr Cc: "Abdelhak Djamel SERIAI" seriai@ensm-douai.fr Objet: [ARP] Bourse de thèse en Génie logiciel - Ecole des Mines de Douai/ Univ Nantes
Bonjour,
Vous trouverez ci-dessous une offre de thèse proposée par l'Ecole des Mines de Douai (GIP) et l'Université de Nantes (LINA). Domaine de la thèse : Génie logiciel Mots-clés : Composant logiciel, Architecture logicielle, Restructuration, Refactoring, Qualité, Rétro-conception
Cordialement,
=========================================== Dr. Abdelhak-Djamel SERIAI Enseignant-chercheur Département Génie informatique et Productique Ecole des Mines de Douai tel : 03 27 71 23 81 Email : seriai@ensm-douai.fr
Titre de la thèse Restructuration d’Architectures Logicielles à Base de Composants Contexte de la problématique étudiée dans cette thèse Aujourd’hui, nous vivons une nouvelle évolution dans l’art de concevoir des systèmes complexes. Après les technologies objets qui ont modifié profondément l’ingénierie des systèmes logiciels améliorant ainsi leur analyse, leur conception et leur développement, nous entrons dans une nouvelle ère de conception de système, l’orienté composants. Cette approche permet de mettre en place une véritable industrie de composants logiciels réutilisables afin de maîtriser le coût du logiciel, de réduire son temps de développement et de faciliter la réutilisation des composants produits. En outre, cette approche se base sur une définition précise de la notion d’architecture logicielle qui décrit un système en termes de composants et de relations entre ces composants. De ce fait, la maîtrise et la qualité du logiciel sont subordonnées à celle de son architecture. Dans le cadre des travaux liés à cette nouvelle approche, le monde académique s’est intéressé à la formalisation de la notion d’architecture logicielle à base de composants en proposant des langages de description d’architectures tels que ACME, SOFA ou Fractal. Dans ce sens, le modèle architectural d’un système fournit un modèle du dit système à un haut niveau d’abstraction en termes de composants qui assurent les fonctions de calculs, et de connecteurs qui relient les composants et coordonnent leurs interactions pour satisfaire des contraintes globales d’intégrités (invariants structurels, coordination, etc.) et des contraintes de qualité (fiabilité, sécurité, évolutivité, etc.). Objectif de la thèse L’objectif de cette thèse est de développer une approche permettant la restructuration d’une architecture logicielle afin de permettre l’amélioration de certains critères de qualité de la dite architecture. Dans un premier temps, les travaux de cette thèse doivent permettre de proposer et d’évaluer certains critères pour mesurer la qualité (métriques de qualité) d’un modèle architectural d’un système tels que l’évolutivité, la réutilisabilité, etc. Cette partie se basera sur une étude bibliographique des critères, métriques et modèles de qualité proposés dans le cadre des systèmes orientés-objets. L’évaluation des critères de qualité d’une architecture sera réalisée pour permettre de restructurer ce modèle architectural dans les perspectives d’améliorer les propriétés déficientes. Nous proposons de réaliser la restructuration du modèle architectural d’un système en s’inspirant des techniques de refactoring proposées pour la restructuration des systèmes orientés-objets. Ainsi, la restructuration d’un modèle architectural peut concerner tous les éléments le constituant : 1-Les composants, en proposant, par exemple la décomposition ou la composition de composants afin d’améliorer leur cohésion. 2- Les connecteurs, en proposant, par exemple de nouveaux styles architecturaux ou 3- La configuration, en proposant, par exemple, de nouveaux composants et de nouveaux connecteurs. Les travaux de cette thèse se dérouleront en considérant les deux cas de figures suivants : Ø La description de l’architecture logicielle à restructurer est disponible à travers une définition explicite par un langage de description d’architectures tel que ACME, Wrignt ou Fractal. Ø La description de l’architecture logicielle à restructurer est indisponible. Dans ce cas, il est serait nécessaire d’extraire cette description par la proposition d’une approche de rétro-conception de l’application à base de composants en question. Il est à noter que la problématique de cette thèse est à traiter dans le cadre des applications ubiquitaires (pervasive). En effet, le prototype, les outils et les exemples d’études liés à cette thèse seront développés, en particulier, pour ce type d’environnement. Cadre administratif et candidatures La thèse est financée par une bourse de l'École des Mines de Douai (environ 1250 Euros par mois) à partir de 15 décembre 2005 et pendant trois ans.
Elle se déroulera au sein de l'équipe informatique de l'École des Mines de Douai.
Ø Directeur de thèse : Pr. Mourad OUSSALAH (LINA - Université de Nantes)
Ø Encadrant de thèse : Dr. Abdelhak-Djamel SERIAI (GIP – Ecole des Mines de Douai)
Ø Co-encadrant : Dr. Dalila TAMZALIT (LINA - Université de Nantes)
Les candidats devront adresser par email (seriai@ensm-douai.fr ) les informations suivantes : Ø CV Ø Notes obtenues lors du DEA Ø Classement et nombre d'étudiants en DEA Ø Résumé du travail effectué en stage de DEA Ø Coordonnées (ou recommandations) de l'encadrant de DEA et de toute autre(s) personne(s) susceptible(s) de recommander le candidat. Quelques références bibliographiques 1. A. V. Fioukov, E. M. Eskenazi, D.K. Hammer, M.R.V. Chaudron. Evaluation of Static Properties for Component-Based Architectures, 28th EUROMICRO conference on Component-based Software Engineering, Dortmund, Germany, September 4th – 6th, 2002 (received Euromicro Best Paper Award) 2. Mourad Oussalah. Collectif sous la direction de Mourad Oussalah. Ingénierie des composants : Concepts, techniques et outils, Vuibert, 2005. 3. Bass L, Clements P., and Kazman R. Software Architecture in Practice,. Eddison-Wesley, 1998 4. Garlan D., Monroe R., and Wile D.. Leavens Gary and Sitaraman Murali. Acme: Architectural Description of Component-based Systems, Cambridge University Press, 2000 5. Heineman G.T and Councill W.T, Component-based Software Engineering – Putting the piece together, Addison-Wesley, 2001. 6. Adaptation and software architecture, Foundations of Software Engineering, Proceedings of the third international workshop on Software architecture, Orlando, Florida, United States, 1998 7. M. Termeer, C.F.J. Lange, A. Telea, M.R.V. Chaudron, Visual Exploration of Combined Architectural and Metric Information. Proc. VISSOFT’05, IEEE CS Press, 2005 8. J. Muskens, C.F.J. Lange and M.R.V. Chaudron; Applying Metrics to Multi-View Architecture Models; in proceedings 30th Euromicro Conference, Rennes France, August 2004. 9. Dave Astels. Refactoring with UML. Proc. 3rd Int'l Conf. eXtreme Programming and Flexible Processes in Software Engineering, pp. 67-70, 2002 10. Marko Boger, Thorsten Sturm, Per Fragemann. Refactoring Browser for UML. Proc. 3rd Int'l Conf. on eXtreme Programming and Flexible Processes in Software Engineering, pp. 77-81, 2002 11. Bart Du Bois, Tom Mens. Describing the impact of refactoring on internal program quality, 2003. 12. Martin Fowler. Refactoring: improving the design of existing programs. Addison-Wesley, 1999. 13. Tom Mens. Transformational Software Evolution by Assertions, Workshop on Formal Foundations of Software Evolution, March 2001. 14. Tom Mens, Serge Demeyer, Dirk Janssens. Formalising Behaviour Preserving Program Transformations. Proc. International Conference on Graph Transformation, pp. 286-301, Springer Verlag, 2002 15. D. Roberts, J. Brant, R.E. Johnson. A refactoring tool for Smalltalk, TAPOS Journal 3(4), pp. 253-263, 1997 16. G. Sunyé, D. Pollet, Y. LeTraon, J.-M. Jézéquel. Refactoring UML models. Proc. UML 2001, LNCS 2185, Springer Verlag 2001 17. Tom Tourwé, Tom Mens. Identifying refactoring opportunities using logic metaprogramming. Proc. CSMR 2003, pp. 91-100, IEEE Computer Society Press, 2003 18. D. D'Souza, A. Wills, Objects, Components and Frameworks with UML, Addison-Wesley, 1999 19. F. Buschmann, et al., Pattern-Oriented Software Architecture — A System of Patterns, John Wiley, 1996 20. M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996 21. C. Riva, View-based Software Architecture Reconstruction, Ph.D. thesis,Technical University of Vienna, 2004. 22. H. Gall, Architecture Recovery and Reference Architecture, U Zürich, presentation, 2004 23. M. Pinzger, et al., “Architecture Recovery for Product Families,” PFE-5, LNCS 3014, Springer-Verlag, 2004 24. R. Kazman and S. J. Carriere, “Playing detective: Reconstructing software architecture from available evidence.,” Automated Software Engineering, April 1999. 25. Marija Mikic-Rakic, Nenad Medvidovic: Architecture-Level Support for Software Component Deployment in Resource Constrained Environments. Component Deployment 2002: 31-50. 26. M. Weiser: Some Computer Science Issues in Ubiquitous Computing. Communications of the ACM, July 1993. (reprinted as "Ubiquitous Computing". Nikkei Electronics; December 6, 1993; pp. 137-143.)
-------------------------------------------------------------- Dr. Noury Bouraqadi - Enseignant/Chercheur Ecole des Mines de Douai - Dept. G.I.P http://csl.ensm-douai.fr/noury
European Smalltalk Users Group Board http://www.esug.org
Squeak: an Open Source Smalltalk http://www.squeak.org --------------------------------------------------------------