[Squeak-fr] Fwd: [ARP] Bourse de thèse en Génie logiciel - Ecole des Mines de Douai/ Univ Nantes
Noury Bouraqadi
bouraqadi at ensm-douai.fr
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
--------------------------------------------------------------
More information about the Squeak-fr
mailing list