PhD candidates

  • 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).
  • 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: she is currently focusing on software architecture extraction and representation. [PhD status: ongoing]
  • 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]
    •

    MS. thesis

  • 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.

    Frédéric Pourraz Thesis (December 2007)

    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 enfin 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.