Main

Home Page


Olivier Barais

Associate professor
Informatique
Triskell Team
Université de Rennes 1 / IRISA
Campus de Beaulieu,
F-35042 Rennes Cedex
France

Phone : +33 (2) 99 84 25 41
Fax : +33 (2) 99 84 25 32
barais@irisa.fr

Presentation | Research interest | PhD | Recent development | Publications

Co-Encadrement

PhD

  • Brice Morin
  • Grégory Nain
  • Mickaël Clavreul
  • Erwan Daubert

Master

Past

Master

  • Mohammed Said Belaid
  • Rafael Duarte
  • Brice Morin
  • Freddy Munoz
  • Grégory Nain
  • Rodrigo Ramos

Presentation

Since the first of december, 2005, I have been working in the IRISA/ Triskell Project Team. I am an associate professor at University of Rennes 1, France.

I have received a PhD degree in Computer Science from the University of Lille, France, November the 29th, 2005. During this PhD, I worked in the Jacquard team. My supervisor was Professor Laurence Duchien.

I have received a Research Master degree in Computer Science from the University of Lille as well as an engineer master degree in Information and Computer Science from the Ecole des Mines de Douai in 2002. My work focuses on software architecture modelling and analysis, and architecture-level support for Aspect Oriented Design.

Research interest

My main research interest is in applying language and program analysis/verification techniques to software architecture problems. One example of my work is SafArchie a language for describing software architectures. Our approach aims at providing a component-based framework that ensures the consistency of component assemblies and that supports the evolution of software architectures.

Software architecture specification

SafArchie provides a language and a set of tools for describing software architecture. In SafArchie, we argue that, in order to accrue the true benefits of software architecture approaches, one may need to use an architecture centric approach with a global reasoning: from software architecture design to software architecture management to software architecture building, deployment and refinement. However some degree of consistency must be preserved between these different steps of the software life cycle. For this reason, we have based our approach on the notion of architecture types that are points of reference at each step of our reasoning. We offer with SafArchie Studio, a first architecture centric approach which is based on a three-view perspective and driven by the component life cycle.

Software architecture evolution

The SafArchie approach serves as the building blocks of an other project nammed TranSAT (Transformation of Software ArchiTecture). Indeed, most of the time, software architecture models do not allow new software system features to be added or modified. Thus adding new concerns in a software architecture is difficult and often requires lots of efforts from the architect. Furthermore, the current software architecture models do not provide any means to describe, save, or analyze integration rules of technical concern. TranSAT addresses these lacks of software architecture models. It proposes a framework for designing software architecture through step by step refinements: From an architecture that contains only business concerns to a global architecture that contains business and technical concerns. The main idea of this project is inspired by the Aspect Oriented Software Development (AOSD) concepts.

TranSAT provides three main features:

  • It defines a mechanism to add new concerns to a software architecture specification.
  • It provides a description model for software architecture, which records the integration rules of a specific concern.
  • It specifies rules, which guarantee the correct integration of a technical concern into a business model.

Associated with TranSAT, SafArchie provides an architecture centric approach to build consistent software step by step.

  • My PhD (in french) presents this approach
  • Several articles (see biblio) sums up the TranSAT approach

PhD

Title : "Construire et Maîtriser l'Evolution d'uneArchitecture à base de Composants"

Recent development

TODO

Publications


Journal

  1. Franck Chauvel , Olivier Barais , Isabelle Borne and Jean-Marc Jézéquel (2009) Un processus à base de modèles pour les systèmes auto-adaptatifs. Revue de l'Electricité et de l'Electronique (REE). ((URL)) (BibTeX)
  2. Morin, Brice , Barais, Olivier , Jézéquel, Jean-Marc , Fleurey, Franck and Solberg, Arnor (2009) Models at Runtime to Support Dynamic Adaptation. {IEEE} Computer. ((URL)) (BibTeX)
  3. Olivier Barais , Philippe Lahire , Alexis Muller , Noël Plouzeau and Gilles Vanwormhoudt (2007) Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles. RSTI-L'Objet, 13(2-3). ((URL)) (BibTeX)
  4. Sébastien Saudrais , Olivier Barais , Laurence Duchien and Noel Plouzeau (2007) From formal specifications to QoS monitors. Journal of Object Technology, Special Issue on Advances in Quality of Service Management, 6(11):7-24. ((URL)) (BibTeX)
  5. Barais, Olivier , Muller, Alexis, and Pessemier, Nicolas (2005) Vers une Séparation Entités/Fonctions au sein d'une Architecture Logicielle à base de Composants. RSTI-L'Objet. (BibTeX)

Book Chapter

  1. Olivier Barais , Julia Lawall , Anne-Françoise Le Meur and Laurence Duchien (2008) Software Architecture Evolution. In Software Evolution. (Tom Mens and Serge Demeyer eds, Eds.), Springer Verlag, pages 233-262. ((URL)) (BibTeX)
  2. Olivier Barais and Laurence Duchien (2005) SafArchie Studio: An ArgoUML extension to build Safe Architectures. In Architecture Description Languages. (en, Eds.), Springer, pages 85-100. (BibTeX)

Conferences and Symposiums (proceedings)

  1. Morin, Brice , Nain, Grégory , Barais, Olivier and Jézéquel, Jean-Marc (2009) Leveraging Models From Design-time to Runtime. A Live Demo. In 4th International Workshop on Models@Run.Time (at MODELS'09). Denver, Colorado, USA, Oct. ((URL)) (BibTeX)
  2. Moha, Naouel , Mahé, Vincent , Barais, Olivier and Jézéquel, Jean-Marc (2009) Generic Model Refactorings. In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver, Colorado, USA, Oct. ((URL)) (BibTeX)
  3. Grégory Nain , Olivier Barais , Régis Fleurquin and Jean-Marc Jézéquel (2009) EntiMid : un middleware aux services de la maison. In 3ème Conférence Francophone sur les Architectures Logicielles (CAL'O9). Nancy, France, mar. ((URL)) (BibTeX)
  4. Morin, Brice , Perrouin, Gilles , Lahire, Philippe , Barais, Olivier , Vanwormhoudt, Gilles and Jézéquel, Jean-Marc (2009) Weaving Variability into Domain Metamodels. In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver, Colorado, USA, Oct. ((URL)) (BibTeX)
  5. Morin, Brice , Barais, Olivier , Nain, Grégory and Jézéquel, Jean-Marc (2009) Taming Dynamically Adaptive Systems with Models and Aspects. In 31st International Conference on Software Engineering (ICSE'09). Vancouver, Canada, May. ((URL)) (BibTeX)
  6. Morin, Brice , Ledoux, Thomas , Ben Hassine, Mahmoud , Chauvel, Franck , Barais, Olivier and Jézéquel, Jean-Marc (2009) Unifying Runtime Adaptation and Design Evolution. In IEEE 9th International Conference on Computer and Information Technology (CIT'09). Xiamen, China, Oct. ((URL)) (BibTeX)
  7. Brice Morin , Gilles Vanwormhoudt , Philippe Lahire , Alban Gaignard , Olivier Barais and Jean-Marc Jézéquel (2008) Managing Variability Complexity in Aspect-Oriented Modeling. In In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08). Toulouse, France, October. ((URL)) (BibTeX)
  8. Franck Chauvel , Olivier Barais , Isabelle Borne and Jean-Marc Jézéquel (2008) Composition of Qualitative Adaptation Policies. In 23rd IEEE/ACM International Conference on Automated Software Engineering - ASE'08. L'Aquila, Italy, sep. ((URL)) (BibTeX)
  9. Alonso, Diego , Vicente-Chicote, Cristina and Barais, Olivier (2008) V3Studio: A Component-Based Architecture Modeling Language. In 15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS'O8). Belfast, Northern Ireland, apr. ((URL)) (BibTeX)
  10. Franck Chauvel , Isabelle Borne , Jean-Marc Jézéquel and Olivier Barais (2008) A Model-Driven Process for Self-Adaptive Software. In 4th European Congress ERTS Embedded Real-Time Software. Toulouse, France, jan. ((URL)) (BibTeX)
  11. Barais, Olivier , Klein, Jacques , Baudry, Benoit , Jackson, Andrew and Clarke, Siobhan (2008) Composing Multi-View Aspect Models. In 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS). Madrid, Spain, feb. ((URL)) (BibTeX)
  12. Franck Chauvel , Olivier Barais , Noel Plouzeau , Isabelle Borne and Jean-Marc Jézéquel (2008) Expression qualitative de politiques d'adaptation pour Fractal. In Langages Modèles et Objets (LMO'08). Montréal, Québec, mar. Cepadués, pages 5-20. ((URL)) (BibTeX)
  13. Munoz, Freddy , Baudry, Benoit and Barais, Olivier (2008) Improving Maintenance in AOP Through an Interaction Specification Framework. In ICSM08, 24th International conference on Software Maintentance. Beijing, China, September. IEEE Computer Society Press. ((URL)) (BibTeX)
  14. Grégory Nain , Erwan Daubert , Olivier Barais and Jean-Marc J{\'e}z{\'e}quel (2008) Using MDE to Build a Schizofrenic Middleware for Home/Building Automation. In In ServiceWave'08: Networked European Software \& Services Initiative (NESSI) Conference. Madrid, Spain, dec. ((URL)) (BibTeX)
  15. Sébastien Saudrais , Olivier Barais , Laurence Duchien and Noël Plouzeau (2007) Intégration de propriétés temporelles dans des applications à base de composants. In Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07). Namur, Belgium, jun. ((URL)) (BibTeX)
  16. Sébastien Saudrais , Olivier Barais and Noël Plouzeau (2007) Integration of time issues into component-based applications. In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'07). Medford (Boston area), Massachusetts, USA, jul. Springer Lecture Notes in Computer Science (LNCS). ((URL)) (BibTeX)
  17. Rodrigo Ramos , Olivier Barais and Jean-Marc Jézéquel (2007) Matching Model-Snippets. In In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07). Nashville, TN, USA, October. ((URL)) (BibTeX)
  18. Philippe Lahire , Brice Morin , Gilles Vanwormhoudt , Alban Gaignard , Olivier Barais and Jean-Marc Jézéquel (2007) Introducing variability into Aspect-Oriented Modeling approaches. In In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07). Nashville, TN, USA, October. ((URL)) (BibTeX)
  19. Chauvel, Franck and Barais, Olivier (2007) Modelling Adaptation Policies for Self-Adaptive Component Architectures. In 1st Workshop on Model-driven Software Adaptation M-ADAPT'07 at ECOOP 2007. Berlin, Germany, July. (Gordon Blair and Nelly Bencomo and Robert France, Eds.) Pages 61-68. ((URL)) (BibTeX)
  20. Jacques Klein , Benoit Baudry , Olivier Barais and Andrew Jackson (2007) Introduction du test dans la modélisation par aspects. In Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007). Toulouse, France, mar. ((URL)) (BibTeX)
  21. Olivier Barais , Julia Lawall, Julia , Anne-Françoise Le Meur and Laurence Duchien (2006) Safe Integration of New Concerns in a Software Architecture. In Proceedings of the 13th International Conference on Engineering of Computer Based Systems (ECBS'06). Potsdam, Germany, mar. IEEE, pages 52-64. ((URL)) (BibTeX)
  22. Sébastien Saudrais , Olivier Barais and Noël Plouzeau (2006) Composants avec Propriétés Temporelles. In Proceedings of the CAL 2006. Nantes, France, sep. ((URL)) (BibTeX)
  23. Olivier Barais , Julia Lawall , Anne-Fran\c{c}oise Le Meur and Laurence Duchien (2005) Providing Support for Safe Software Architecture Transformations. In Working Session of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA 2005). Pittsburg, PA, USA, nov. (BibTeX)
  24. Olivier Barais , Laurence Duchien and Anne-Francoise Le Meur (2005) A Framework to Specify Incremental Software Architecture Transformations. In 31st EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA 2005). sep. IEEE Computer Society. (BibTeX)
  25. Olivier Barais and Laurence Duchien (2004) SafArch : Ma\^itriser l'Evolution d'une Architecture Logicielle. In Langages, Mod\`eles \& Objets, Journ\'ees Composants, LMO 2004-JC 2004. Lille, France, mar. Herm\`es Sciences, pages 103-116. (BibTeX)

Workshop (proceedings)

  1. Franck Chauvel , Olivier Barais , Noel Plouzeau , Isabelle Borne and Jean-Marc Jézéquel (2009) Composition et expression qualitative de politiques d'adaptation pour les composants Fractal. In Actes des Journées nationales du GDR GPL 2009. Toulouse, France, jan. ((URL)) (BibTeX)
  2. Brice Morin , Olivier Barais and Jean-Marc J{\'e}z{\'e}quel (2008) K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines. In Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08. Toulouse, France, oct. ((URL)) (BibTeX)
  3. Brice Morin , Jacques Klein , Olivier Barais and Jean-Marc Jézéquel (2008) A Generic Weaver for Supporting Product Lines. In International Workshop on Early Aspects at ICSE'08. Leipzig, Germany, may. ((URL)) (BibTeX)
  4. Brice Morin , Olivier Barais and Jean-Marc Jézéquel (2008) Weaving Aspect Configurations for Managing System Variability. In 2nd International Workshop on Variability Modelling of Software-intensive Systems. Essen, Germany, jan. ((URL)) (BibTeX)
  5. Freddy Munoz , Olivier Barais and Benoit Baudry (2007) Vigilant usage of Aspects. In in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007. Berlin, Germany, July. ((URL)) (BibTeX)
  6. Pierre-Alain Muller and Olivier Barais (2007) Control-theory and models at runtime. In Proceedings of the Models Workshop on Models@Runtime. Nashville, USA, oct. (BibTeX)
  7. Morin, Brice , Barais, Olivier , Jézéquel, Jean-Marcl and Ramos, Rodrigo (2007) Towards a Generic Aspect-Oriented Modeling Framework. In Models and Aspects workshop, at ECOOP 2007. July. ((URL)) (BibTeX)
  8. Jean-Marie Mottu , Olivier Barais , Mark Skipper , Didier Vojtisek and Jean-Marc Jézéquel (2007) Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles.. Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07). ((URL)) (BibTeX)
  9. Olivier Barais , Franck Fleurey , Pierre-Alain Muller , Didier Vojtisek and Jean-Marc Jézéquel (2007) Nouvelles fonctionnalités de Kermeta. Session Démonstrations des 3 ème Journées sur l'Ingénierie Dirigée par les Modèles. ((URL)) (BibTeX)
  10. Olivier Barais (2007) Séparation des préoccupations en phase de méta-modélisation. Atelier Composition de modèles (Cosmo) de la Conférence Langage et Modèles à Objets (LMO'07) et de la 3 ème Journée sur l'Ingénierie Dirigée par les Modèles. ((URL)) (BibTeX)
  11. Sébastien Saudrais , Olivier Barais and Noel Plouzeau (2007) Monitoring your Lego Mindstorms with Giotto. In in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems. Berlin, Germany, July. ((URL)) (BibTeX)
  12. Sébastien Saudrais , Olivier Barais and Laurence Duchien (2006) Using Model-Driven Engineering to generate QoS Monitors from a formal specification. In Proceedings of the Aquserm 2006. Hong Kong, China, oct. ((URL)) (BibTeX)
  13. Andrew Jackson , Olivier Barais , Jean-Marc Jézéquel and Siobhán Clarke (2006) Toward A Generic And Extensible Merge Operator. In Models and Aspects workshop, at ECOOP 2006. Nantes, France, July. ((URL)) (BibTeX)
  14. Olivier Barais (2006) SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la réingénierie de programmes Java5. 2 ème Journée sur l'Ingénierie Dirigée par les Modèles. ((URL)) (BibTeX)
  15. Han-Missi Tran , Olivier Barais , Anne-Françoise Le Meur and Laurence Duchien (2006) Safe Integration of New Concerns in a Software Architecture: Overview of the Implementation. In in the 2nd International ECOOP Workshop on Architecture Centric Evolution (ACE'06). Nantes, France, July. ((URL)) (BibTeX)
  16. Nicolas Pessemier , Olivier Barais , Lionel Seinturier , Thierry Coupaye and Laurence Duchien (2005) A Three Level Framework for Adapting Component Based Architectures. In 2nd Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT) at ECOOP'05. jul. (BibTeX)
  17. Olivier Barais , Alexis Muller and Nicolas Pessemier (2004) Extension de Fractal pour le Support des Vues au sein d'une Architecture Logicielle. In Objets Composants et Mod\`eles dans l'ing\'enierie des SI (OCM-SI 2004). Biarritz, France, jun. (BibTeX)
  18. Nicolas Pessemier , Lionel Seinturier , Laurence Duchien and Olivier Barais (2004) Une extension de Fractal pour l'AOP. In Premi\`ere journ\'ee Francophone sur le D\'eveloppement de Logiciels par Aspects (JFDLPA 2004). Paris, France, sep. (BibTeX)
  19. Olivier Barais and Laurence Duchien (2004) SafArchie Studio: An ArgoUML extension to build Safe Architectures. In Workshop on Architecture Description Languages (WADL 2004). Toulouse, France, aug. (BibTeX)
  20. Olivier Barais , Eric Cariou , Laurence Duchien , Nicolas Pessemier and Lionel Seinturier (2004) TranSAT: A Framework for the specification of Software Architecture Evolution. In ECOOP First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04). Oslo, Norway, jun. (BibTeX)
  21. Olivier Barais , Laurence Duchien and Renaud Pawlak (2003) Separation of Concerns in Software Modeling: A Framework for Software Architecture Transformation. In IASTED International Conference on Software Engineering Applications, SEA 2003. Los Angeles, USA, nov. ACTA Press, pages 663-668. (BibTeX)
  22. Olivier Barais and Laurence Duchien (2002) OPAD: Outils pour Architectures Dynamiques. In Journ\'ees Composants Adaptables, JC 2002. Grenoble, France, oct, pages 112-118. (BibTeX)

Rapports scientifiques

  1. Munoz, Freddy , Baudry, Benoit and Barais, Olivier (2008) A classification of invasive patterns in AOP. Research report inria-00266555, IRISA Research Center. ((URL)) (BibTeX)
  2. Olivier Barais , Laurence Duchien and Lionel Seinturier (2004) SafArchie ADL : Construire et D\'eployer une Architecture Logicielle Typ\'ee. Research Report LIFL 2004-n10, Laboratoire d'Informatique Fondamentale de Lille. (BibTeX)
  3. Barais, olivier (2002) Le langage ArchJava. Technical report 2002-04-1, Département GIP - Ecole des Mines de Douai. (BibTeX)

Thèses et mémoires

  1. Olivier Barais (2005) Construire et Maîtriser l'evolution d'une architecture logicielle à base de composants. PhD thesis, Laboratoire d'Informatique Fondamentale de Lille. (BibTeX)
  2. Olivier Barais (2002) Approche statique, dynamique et globale de l'architecture d'applications r\'eparties. Master's thesis, Laboratoire d'Informatique Fondamentale de Lille. (BibTeX)

Thèses et mémoires supervisées

Green Marinee theme adapted by David Gilbert, powered by PmWiki