[Squeak-fr] Fwd: [ARP] Bourse de thèse en Génie logiciel - Ecole des Mines de Douai/ Univ Nantes

Mer 23 Nov 15:21:31 CET 2005

Début du message réexpédié :

> De: "Abdelhak-Djamel SERIAI" <seriai at ensm-douai.fr>
> Date: 21 novembre 2005 15:55:31 GMT+01:00
> À: <membres-asf at listes.irisa.fr>, "GDR ARP" <ARP at cines.fr>, "asf" 
> <membres-asf at irisa.fr>
> Cc: "Abdelhak Djamel SERIAI" <seriai at 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 at 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 at 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
--------------------------------------------------------------