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 component behavioural descriptions (behavioural interfaces, conversations). In this context, I work on the use and the integration of formal methods within the software development processes, from design to implementation. The objective is to increase confidence in software and to foster automation and tool-support. My work includes:
- software design, by studying architectural and component
description langages with expressive structuring mechanisms
(coordination among components and heterogeneous mixed - data x
behaviour - specification);
see, e.g., [J.UCS 12(12), 2006; IEEE TSE 33(3), 2007] - software adaptation, by generating automatically
software adaptors that solve out, in a non-intrusive way, mismatch
between reused components;
see, e.g., [IEEE TSE, 34(4), 2008; IEEE TSE, to appear] - software composition, by generating automatically
value-added composite systems - either in a centralized
(orchestration) or decentralized (choreography) fashion - from the
description of reusable software components and designer or
end-user abstract requirements. Composition also addresses repair
in case composite systems get broken due to users' mobility,
changing requirements, or component failure;
see, e.g., [ISoLa'10; ICSOC'10] - software verification, by verifying specifications of
distributed component compositions (choreographies) or by testing
the conformance of implemented component compositions wrt.
specifications.
see, e.g., [TESTCOM/FATES'09; SAC'12(a); SAC'12(b)]
My work is applied to component frameworks such as Web services
(e.g., with WSDL and ABPEL interfaces, and automatic BPEL
adaptor/composition generation) and to business process (e.g., with
BPMN 2.0 verification).
keywords: software engineering, formal methods, components,
services, composition, adaptation, verification.
[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 ...]
