Université Européenne de Bretagne
Université de Bretagne-Sud
Campus de Tohannic - VALORIA Lab
BP 573
F-56017 Vannes Cedex
France
Phone: +33-2.97.01.72.76
Fax: +33-9.57.37.75.87
Flavio Oquendo is a Professor of Computer Science at the University of South Brittany, France, where he leads the ArchLog group on formal approaches to software architectures and software processes in service-oriented computing in the VALORIA Research Lab.
He received the B.Eng. degree from ITA, Sao Paulo, and the M.Sc., Ph.D., and H.D.R. (Research Direction Habilitation) degrees from Grenoble, in Computer Science. Before joining the University South Brittany in 2005, Prof. Oquendo held appointments in Computer Science & Software Engineering as Full Professor at the University of Savoie at Annecy (9 years) and Associate/Assistant Professor at the University of Grenoble (5 years). Previously, he was a member of the R&D Staff at the G.I.E. Emeraude [R&D group on advanced software engineering created by BULL, Thomson-Syseca (now THALES IS), and Eurosoft (now part of AT&T Europe)] in Paris (5 years).
Prof. Oquendo has over 25 years experience in Research & Development. He has actively participated in 10 European R&D Projects, partially funded by the European Commission:
ALICE (MAP), PCTE (FP), PCTE+ (IEPG), PACT (FP), ALF (FP),
SCALE (FP), PROMOTER I (FP), PROMOTER II (FP), PIE (FP), and ARCHWARE (FP) in addition to Overseas R&D Projects with America and Asia. In particular, he was Scientific Director of the
European SCALE Project (FP, 1992-1996), that developed software
process-centred environments for system composition with planned and intensive
reuse of components, Partner Manager of the European PIE Project (FP,
1997-2001), that developed tools and technologies for modelling and enacting evolvable
software-intensive processes, and Scientific Director (jointly with Prof. Brian Warboys) of the European ArchWare Project (FP,
2002-2005), that has defined and developed an integrated set of languages and
tools for the architecture-centric model-driven engineering of evolvable
software systems. Support for his research has mainly come from these European Commission's R&D grants and
collaborative industrial contracts.
Prof. Oquendo has published over 150 refereed journal
and conference papers in the fields of Software Architecture, Software Process,
Computer-Assisted Software Engineering, and Software Object Databases. He is listed among the most prolific authors in the DBLP computer science bibliography. He has
served on Program Committees of c.a. 70 International Conferences and Workshops, has chaired 10 of them,
and has act as referee for c.a. 15 International Journals.
Prof. Oquendo's research
interests are centred on languages and technologies to support the efficient design
and engineering of large-scale software-intensive systems. His current research interests include
formal description and development techniques for software architecture and
process modelling, analysis, transformation/refinement, and evolution and their
applications in industrial settings, especially based on the service-oriented computing paradigm. Fields of application include the engineering of all kinds of software-intensive systems operating in predictable or unpredictable environments.
For estimating his scientific productivity and impact based on his publication record, see e.g. h-index and g-index according to Quadsearch.
Some of the conferences or workshops that I am now involved with or was involved with as a Program Committee (PC) Member or Chair or as a Steering Committee (SC) Member or Chair in the past few years:
[a PC Chair] WICSA/ECSA 2009: Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, Cambridge, UK, September 2009
Proceedings: IEEE Press
[a PC Chair] ICSEA 2009: International Conference on Software Engineering Advances, Porto, Portugal, September 2009
Proceedings: IEEE Press
[a PC Member] ESEC/FSE 2009: Joint ACM International
Symposium on the Foundations of Software Engineering and European Software Engineering Conference, Amsterdam, The Netherlands, August 2009
Proceedings:
ACM Press
[a PC Member] ADVCOMP 2009: International Conference on Advanced Engineering Computing and Applications in Sciences, Sliema, Malta, October 2009
Proceedings: IEEE Press
[a PC Member] ICSOFT 2009: International Conference on Software and Data Technologies (ICSOFT’09), Sofia, Bulgaria, July 2009
Proceedings: ICSOFT Press and Post-proceedings: Springer
LNCS
[a PC Member] ICSP 2009: International Conference on Software Process, Vancouver, Canada, May 2009
Proceedings: Springer
LNCS
[a SC Member] CAL 2009: French-speaking Conference on Software Architectures - Conférence Francophone sur les Architectures Logicielles, Nancy, France, March 2009
Proceedings: Editions Cépaduès - Revue des Nouvelles Technologies de l’Information RNTI
[a PC Member and SC Chair] ECSA 2008: European Conference on Software Architecture, Paphos, Cyprus, September 2008
Proceedings: Springer
LNCS
[a PC Member] ICSOFT 2008: International Conference on Software and Data Technologies, Porto, Portugal, July 2008
Proceedings: ICSOFT Press and Post-proceedings: Springer
LNCS
[a PC Member] ICSE 2008: ACM/IEEE International Conference on Software
Engineering, Leipzig, Germany, May 2008
Proceedings:
ACM Press
[a PC Member] CAL 2008: French-speaking Conference on Software Architectures - Conférence Francophone sur les Architectures Logicielles, Montréal, Canada, March 2008
[a PC Member] ICSEA 2008: International Conference on Software Engineering Advances, Sliema, Malta, October 2008
Proceedings: IEEE Press
[a PC Member] ICSP 2008: International Conference on Software Process, Leipzig, Germany, May 2008
Proceedings: Springer
LNCS
[a PC Member] ADVCOMP 2008: International Conference on Advanced Engineering Computing and Applications in Sciences, Valencia, Spain,
September 2008
Proceedings: IEEE Press
[a PC Member] MoDSE 2008: International Workshop on Model-Driven Software Evolution at the European Conference on Software Maintenance and Reengineering - CSMR 2008, Athens, Greece, April 2008
Proceedings: IEEE Press
[a PC Member] IWAISE 2008: International Workshop on Advanced Information Systems for Enterprises, Constantine, Algeria, April 2008
Proceedings: IEEE Press
[a PC Member] APSLA 2008: Special Track on Agent-Oriented Programming, Systems, Languages, and Applications at the ACM Symposium on Applied Computing - SAC 2008, Fortaleza, Brazil, March 2008
Proceedings:
ACM Press
[a PC Member] ERTSI 2008: French-speaking Workshop on Evolution, Re-use and Traceability of Information Systems - Atelier sur l'Evolution, la Réutilisation et la Traçabilité des Systèmes d'Information dans le cadre du congrès Systèmes d’Information - INFORSID 2008, Fontainebleau, France, Mai 2008
Proceedings: Hermès Sciences/Lavoisier
[a PC Chair] ECSA 2007: European Conference on Software Architecture, Aranjuez/Madrid, Spain, September 2007
[a PC Member] ICSEA 2007: International Conference on Software Engineering Advances, Cap Esterel, France, August 2007
Proceedings: IEEE Press
[a PC Member] ADVCOMP 2007: International Conference on Advanced Engineering Computing and Applications in Sciences, Papeete, Tahiti - French Polynesia, November 2007
Proceedings: IEEE Press
[a PC Member] ICSP 2007: International Conference on Software Process, Minneapolis, USA, May 2007
Proceedings: Springer
LNCS
[a PC Member] MoDSE 2007: International Workshop on Model-Driven Software Evolution at the European Conference on Software Maintenance and Reengineering - CSMR 2007, Amsterdam, The Netherlands, March 2007
Proceedings: IEEE Press
[a PC Member] I-ESA 2007: International Conference on Interoperability for Enterprise Software and Applications, Funchal, Portugal, March 2007
Proceedings: Springer
LNCS
[a PC Member] WICSA 2007: IEEE/IFIP Working International Conference on Software Architecture, Mumbai, India, January 2007
IEEE Press
[a PC Member] SASA 2007: International Workshop Towards Stable and Adaptable Software Architectures at the IEEE International Conference on Information Reuse and Integration - IRI 2007, Las Vegas, Nevada, USA, August 2007
Proceedings: IEEE Press
[a PC Member] PLAC 2007: IEEE International Workshop on Patterns Languages: Addressing Challenges at ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2007, Montréal, Canada, October 2007
Proceedings:
ACM Press
[a PC Member] SSW 2007: IEEE International Workshop on Software Stability at Work at the IEEE International Conference on Information Reuse and Integration - IRI 2007, Las Vegas, Nevada, USA, August 2007
Proceedings: IEEE Press
[a PC Member] OCM-SI 2007: Atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information dans le cadre du congrès Systèmes d’Information - INFORSID 2007, Perros-Guirec, France, Mai 2007
Proceedings: Hermès Sciences/Lavoisier
[a PC Member] ICSEA 2006: International Conference on Software Engineering Advances, Papeete, Tahiti - French Polynesia, November 2006
Proceedings: IEEE Press
[a PC Chair] EWSA 2006: European Workshop on Software Architecture, Nantes, France, September 2006
[a PC Chair] CAL 2006: French-speaking Conference on Software Architectures - Conférence Francophone sur les Architectures Logicielles, Nantes, France, September 2006
Proceedings: Hermes Sciences/Lavoisier
[a PC Member] SPW/ProSim 2006: Joint International Software Process Workshop & International Workshop
on Software Process Simulation and Modeling, co-located with the ACM/IEEE International Conference on Software
Engineering - ICSE 2006, Shanghai, China, May 2006
Proceedings: Springer
LNCS
[a PC Member] I-ESA 2006: International Conference on Interoperability for Enterprise Software and Applications, Bordeaux, France, March 2006
Proceedings: Springer
LNCS
[a PC Member] WICSA 2005: IEEE/IFIP Working International Conference on Software Architecture, Pittsburgh, Pennsylvania, USA, November 2005
Proceedings:
IEEE Press
[a PC Member] ENEI 2005: International Workshop on Enterprise and Networked Enterprises Interoperability at the International Conference on Business Process Modelling - BPM 2005, Nancy, France, September 2005
In particular, in the Software Architecture domain, I have been involved as PC Chair, PC Member, SC Chair, and SC Member in the French, European, and International Conferences:
One of the most challenging tasks in software engineering is to assure continuous correctness, especially as software-intensive systems are increasingly used in highly dynamic and often distributed, mobile and context-aware environments such as in ambient intelligence applications. In order to reach this grand objective, the following open issues need to be addressed:
to support the formal specification of software-intensive systems whose architecture can change, on-the-fly, at run-time;
to support their automated analysis with respect to functional as well non-functional properties;
to support their property-preserving transformations and application synthesis, by stepwise refinement from abstract to concrete specifications and full code generation, as well as their subsequent evolution;
to support compliance with respect to application requirements on-the-fly, i.e. if requirements change, enable the software-intensive system to safely change to continuously cope with requirements.
In order to address these issues, a holistic formal engineering approach is needed that does not concentrate on one-shot software development but rather on continuous engineering and on-the-fly adaptation of software components and services embedded in software-intensive systems. Our holistic solution relies on a formal architecture-centric model-driven engineering approach.
Why formal?
Correctness of software can be supported by formalising software products and processes. In addition, the application of formal foundations to languages and tools improves documentation and understanding of specifications, enables rigorous analysis of the system properties, enables transformations that are property-preserving and error-free, improves rigour and quality of the whole development process, and provides a firm foundation during the adaptation and evolution process.
Why architecture-centric?
A key aspect of the design of any software is its architecture, i.e. its fundamental organisation embodied in its components, their relationships to each other, and to the environment, and the principles guiding its design and evolution. Software architecture forms the backbone for building successful software-intensive systems. Architecture descriptions provide thereby the conceptual abstraction for modelling complex software systems during development and then during deployment and on-the-fly adaptation and evolution.
Why model-driven engineering?
All forms of engineering rely on models to design real-world systems. Models are used in many ways: to understand specific system aspects, predict system qualities, reason about impact of changes, and communicate major system features to stakeholders. In a model-driven approach, i.e. the system models have sufficient detail to enable the generation of a full system implementation from the models themselves. Indeed, “the model is the code”, i.e. the focus is on modelling and code is mechanically generated from models. In an architecture-centric model-driven engineering approach, models are component-based architectural (run-time) models. They support model analysis, property-preserving transformations, and application synthesis.
More precisely, my research activities aims to define and develop an integrated set of formal architecture-centric languages, processes, and tools for the model-driven engineering and continuous evolution of software-intensive systems based on the π-calculus and related theories. It comprises:
(a) formal architecture description, analysis, and refinement languages for specifying the architecture of evolvable software-intensive systems, verifying their properties and expressing their refinements;
(b) tools to support architecture description, analysis, and refinement as well as code generation;
(c) enactable processes for supporting model-driven engineering and continuous evolution relying on a persistent run-time virtual machine for process enactment.
For further details visit the web page of the ArchLog research group.
![[image: Accueil UBS+UEB]](/Images/logo-ubs-75x105.jpg){kind=logo}
![[image: Valoria]](/Images/valoria_Couleur.267x64.png)
![[francais]](/Images/drapeaux/fr.png){kind=small}
![[english]](/Images/drapeaux/en.png){kind=small}
