In short ...
Associate Professor
Maître de conférences
Dr (University
of Nantes, France, 2000)
HDR (University
Paris Sud, France, 2011)
University of Evry Val
d'Essonne;
LRI UMR 8623 CNRS, ForTesSE team
[contact information]
Research activities - My research activities address software
engineering with issues related to distribution,
composition, interaction, and a specific focus on
behavioural descriptions (e.g., behavioural interfaces,
service conversations, business processes).
To work on this issues, I adopt a software architectural
viewpoint. I am also strongly interested on the use and the
integration of formal methods within the software
development processes. This includes: design, verification,
software adaptation, automatic/ted composition,
and testing. The objective is to increase confidence
in software systems and to foster automation and
tool-support.
Applicative domains are important in my work, which I apply
to component and services frameworks (e.g., with automatic BPEL
adaptor/composition generation) and to business models and
processes (e.g., with BPMN 2.0 verification).
In short
with some keywords ...
- computer science areas - software engineering, software architectures, formal methods
- systems' features of interest - distribution, composition, interaction (incl. coordination, cooperation, collaboration, orchestration, choreography), behavioural descriptions (incl. behavioural interfaces, service conversations, business processes)
- applicative domains - components, services, business models, business processes
- development process activities - design, verification, adaptation, composition, testing
- formal models - transition systems, LTS, STS, process algebras, Petri nets, planning graphs
[selected publications] [DBLP] [Google scholar] [my habilitation thesis] [more ...]
Research animation - I am co-directing the
COSMAL subgroup of CNRS national working group on Software
Engineering (GDR GPL). COSMAL addresses models, architectures, and
languages for software systems based on components, objects, or
services.
I am also involved in the PIMI
project of the National Agency for Research (ANR). In this
context, we address the management of personal information over the
Internet. This includes helping e-governance application designers
and their end-users in using and composing personal information and
e-governance business processes.
Between 2007 and 2010, I headed the PERSO project of the
ANR. This project was concerned about service composition
in-the-large (selection, adaptation, automatic composition, repair,
performance evaluation). It is now over but you will get some
interesting information on it there and in
this talk.
Everyday research animation also includes advising
PhD students and reviewing
articles.
[more ...]
Teaching activities - My teaching activities are mostly related to
software engineering in-the-large, from design to programming. This
includes formal methods, UML modelling, and the design,
verification and programming of distributed systems.
[more ...]
