PhD Students Supervision
Safa Hachani: her thesis addresses SOA architecture for PLM software applications. She is studying PLM business activities and processes models that can be mapped on IT services orchestrations. The thesis takes place in a Rresearch project (Cluster GOSPI ISPRI PLM project - funded by the Rhone-Alpes french region).
Anissa Abrougui: she is working on dynamic services orchestrations using recusrive multi-agent systems. The thesis takes place in a research project (Cluster ISLE project - funded by the Rhone-Alpes french region).
Nabil Fakhfakh: his thesis addresses SOA architecture for a agile and adaptable MES (Manufacturing Executing System) solution. The thesis takes place in a R&D project (Cluster Edit R&D project - funded by the Rhone-Alpes french region). He is investigating services orchestrations monitoring based on information fusion methods.
Samuel Meril: his thesis focused on domain specific Integrated Development Environment adaptation, customization and generation using model-driven engineering approach (MDE). He was employed in a SME as software engineer (thesis with industrial collaboration - CIFRE contract). Samuel cancelled his thesis and is now employed as a software engineer[PhD status: cancelled]
Azadeh Razavizadeh: her thesis entitled "BeeEye : approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue". Changes and evolution of software systems constantly generate new challenges for system understanding. Recovering system architectural representations is particularly interesting when such representations are not available. The work presented in this thesis joins the effort on software architecture reconstruction. We propose in this thesis, our approach BeeEye as a generic engineering approach to enable the construction of architectural views using viewpoints and from an existing software system. The viewpoints are used to model the expectations and wishes of users. To see these expectations and wishes, we propose two kind of construction: mapping construction and discovery construction. Thus, we allow the definition of new viewpoints. The proposed approach is generic enough to be used with all objects software systems for which we have the source code. [PhD status: terminated on October 2010 - see the french summary below]
Frédéric Pourraz: his thesis entitled "Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web" proposed a Web Service Oriented Architecture (WSOA)
development framework. He was interested in providing a WSOA description high level formal language (called pi-Diapason),
helping the WSOA architects in formalizing Web Services orchestrations; his approach also
focused on some Web Services orchestration properties (liveness, safety) that can be defined using the temporal logic based language Diapason*. The Diapason environment enacts the Diapason approach. The
application domain covers Business
Process Management for which pi-calculus is a serious
formal basis candidate (see here). Frederic is now assistant professor at the University of Savoie.[PhD status: terminated on December 2007 - see the french summary below]
David Manset: his work focused on the definition of a Architecture-centred Model Driven
Engineering approach applied to Grid-based applications.
Basically, we offered several architectural
models that were combined (according to architectural refinement) in
order to produce and deploy a Grid-based application. Models were
devided according two dimensions: platform independent models and
platform specific models as well as QoS independent models and QoS
models. The thesis was co-managed with University of Bristol (Pr.
Richard McClatchey). David developed a grid-based application
development environment (called gMDEnv). David has cancelled his thesis in beginning 2008. He is now leading and managing a small company involved in R&D grid projects.[PhD status: cancelled]
PhD. Committee
Azadeh Razavizadeh (2010) - BeeEye : approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue (University of Savoie) - Computer Science.
Gabriel Rodrigo Pedraza Ferreira (2009) - FOCAS: un canevas extensible pour la construction d'applications orientées procédé (Joseph Fourier University) - Computer Science.
Hanène Chettaoui (2008) - Interoperabilité entre modèles hétérogènes en conception coopérative par des approches d'Ingénierie Dirigée par les Modèles (Grenoble INP) - Industrial Engineering.
Thi Huong Giang Vu (2008) - Coordination sécurisée de services (Grenoble INP) - Computer Science.
Thi Thanh Tam Nguyen (2008) - Codèle : Une approche de composition de modèles pour la Construction de Systèmes à Grande Echelle (Joseph Fourier University) - Computer Science.
Nabila Salmi (2008) - Evaluation structurée des performances des systèmes basés composants par modèles SWN (University of Savoie) - Computer Science.
Frédéric Pourraz (2007) - Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web (University of Savoie) - Computer Science.
MS. Thesis Supervision
Matar Ndao (2010) - Fusion d'informations pour la supervision d'architectures logicielles à base de services: application à une plateforme LEGO (University of Savoie - LISTIC Lab.).
Hassia Hamzaoui (2007) - Definition and implementation of a fusion information system architecture (University of Savoie - LISTIC Lab.).
Younes Souhar (2005) - Dynamic reconfiguration of software environment (University of Grenoble - LSR Lab.). I participated to his MS thesis under the supervision of Pr. Nourredine Belkhatir
Kamel Mansouri (2003) - Definition of formal architectural styles for formalizing Web Services Oriented Architectures (University of Savoie - LISTIC Lab.). I supervised his MS thesis
Frédéric Pourraz (2003) - Animating and Validating Software Architectures (University of Savoie - LISTIC Lab.). I co-supervised his MS thesis with Sorana Cîmpan
David Télisson (2002) - Definition of architectural styles for formalizing COTS-based federations (University of Savoie - LISTIC Lab.). I co-supervised his MS thesis with Sorana Cîmpan. David has obtained his PhD in December 2006. He is now associate professor in our team (from September 2007).
Student projects and internships
I used to supervise lots of students projects and interships each year. Information about projects and internships can be obtained by emailing me.
Titre :
BeeEye : approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue
Résumé :
Une grande partie de l'effort de développement des logiciels de grande taille et de longue durée de vie est consacrée à la maintenance et à l'évolution de ces derniers, et la compréhension de ces logiciels est une nécessité pour laquelle trop peu de propositions ont été faites. Le but de cette thèse est la prise en compte des architectures logicielles comme élément capital pour l'aide à la compréhension et à l'évolution des applications logicielles è objets. Les travaux de recherche des dix dernières années ont montré qu'il était très difficile voire impossible de raisonner sur le code source (niveau concret), tant les détails d'implémentation nuisent à la lisibilité du code, à sa maintenance/évolution. Au contraire, se situer à un plus haut niveau d'abstraction permet d'envisager davantage d'analyses. Nous proposons, dans cette thèse, notre approche BeeEye comme démarche d'ingénierie pour la construction de vues architecturales d'un système logiciel à objets existant. BeeEye utilise et permet à l'utilisateur de définir des points de vue qui peuvent être combinés selon un processus de construction de vues. Les points de vue permettent de modéliser les attentes et souhaits des utilisateurs ou/et la connaissance qu'ils ont (ou l'idée qu'ils se font) a priori du système logiciel étudié. Deux catégories de construction de vues architecturales sont proposées dans le cadre de la thèse : la construction par correspondance et la construction par exploration. L'approche proposée est suffisamment générique pour être utilisée avec tous les systèmes logiciels à objets pour lesquels nous disposons du code source.
Mots-clé :
évolution, compréhension, reconstruction, vue architecturale, point de vue.
Titre :
Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web
Résumé :
Construire un système logiciel à partir de blocs logiciels existants n'est pas une idée nouvelle. Ces blocs sont parfois appelés objets, parfois composants, modules et plus récemment : services. Ces derniers sont aujourd'hui distribués à large échelle sur Internet, on parle alors de services Web. Durant les dix dernières années, beaucoup de travaux ont été dédiés à la modélisation, au développement et au déploiement de systèmes logiciels distribués. Ces systèemes sont supportés par des blocs logiciels fortement couplés et, de fait, difficilement dynamiques et évolutifs. Les architectures orientées service (Web) constituent un paradigme permettant d'organiser et d'utiliser des savoir-faire distribués et dont les caractéristiques principales sont le faible couplage, la flexibilité, l'ouverture, l'hétérogénéité, la mise à l'échelle ou encore la réutilisation. La capacité pour une architecture orientée service d'être agile, c'est-à-dire de pouvoir être modifiée dynamiquement en cours d'exécution, est réellement importante pour faire face aux changements de nature diverse. Cette agilité des architectures orientées service doit être mise en relation avec les activités et processus métier qu'elles sont censées supporter. De plus, les services impliqués dans une architecture restent autonomes et indépendants. Promouvoir des architectures agiles, dynamiquement modifiables, mettre en oeuvre des compositions de services (appelées orchestrations de services) tout en garantissant une certaine qualité de service, constitue un réel challenge. L'approche développée dans le cadre de cette thèse et appelée Diapason, adresse ce challenge. Diapason est une approche formelle, basée sur le pi-calcul et les logiques temporelles ; elle s'inscrit dans le cadre des approches centrées architecture.
Diapason offre un langage d'orchestration de services (le langage pi-Diapason) et un langage de description de propriétés (le langage Diapason*) qui permettent de raisonner sur les orchestrations de services et d'effectuer des vérifications de propriétés. Cette approche fournit également une première réponse quant à l'évolution dynamique d'une orchestration de services Web en cours d'exécution. pi-Diapason est formellement défini et basé sur le pi-calcul, de plus il offre une syntaxe spécifique au domaine de l'orchestration de services Web. Ce langage est d'une part exécutable sans aucune ambiguité, grâce à une sémantique opérationnelle formelle, et d'autre part il offre la possibilité de faire évoluer dynamiquement une architecture grâce au concept de mobilité introduit par le pi-calcul. Diapason* fait partie des langages de la classe de la logique temporelle arborescente basée sur actions et permet l'analyse de toute orchestration décrite en pi-Diapason. L'approche Diapason est supportée par un environnement qui regroupe une machine virtuelle interprétant le langage pi-Diapason (fournissant elle aussi des mécanismes pour permettre l'évolution dynamique d'une orchestration tout au long de son exécution) ainsi qu'un vérificateur de propriétés. Diapason permet enï¬n le déploiement de l'orchestration ainsi décrite et validée, sous la forme d'un service Web.
Mots-clé :
SOA, orchestration, approche centrée architecture, évolution dynamique, vérification, pi-calcul, logique temporelle arborescente, propriétés.
Hervé Verjus
