|
Research Interests
- Model-driven engineering of self-adaptive large scale
distributed systems
- Product
lines engineering (composition of feature models, relationships to
software architectures, reverse engineering of variability models)
- Autonomic
Computing (software
architecture of the feedback control loops, large-scale management,
relations between SLA)
- Contract-based approaches
for large-scale
distributed systems: components, services, grid infrastructures
- Contract-based
testing of software components
- Component-Based
Software Engineering (CBSE) and
Service-Oriented Architectures (SOA)
Current Research Projects
SALTY (Self-Adaptive very Large disTributed sYstems)
Principal investigator of the ANR SALTY
project. SALTY
(Self-Adaptive very Large disTributed sYstems)
is an ANR-funded research project (Agence Nationale de la Recherche -
ANR-09-SEGI-012). It aims at providing an innovative self-managing
software framework at run-time for Very-Large Scale Distributed Systems.
The project considers the complementarities between two major trends in computer science and computer system engineering: Service Oriented Architecture (SOA) and Autonomic Computing. The expected scientific breakthroughs are:
- to make run-time self-adaptation capabilities a first class concern and
- to make self-adaptation capabilities an effective tool in the hands of software engineers.
Get more information on the SALTY project site!
Large-scale Software Product Lines with Composable
Feature Models
(work with Pr. Philippe Lahire)
Feature models are a popular formalism for managing variability in software product lines (SPLs).
Realistic SPLs involve the modeling of a large number of features to comprehensively represent different viewpoints,
sub-systems or concerns of the software system. To manage complexity, there is a need to separate, inter-relate and
compose several feature models while automating the reasoning on their compositions -- from validity checks to
configuration process.
We propose a Domain-Specific Language (DSL) that is dedicated to the management of feature models and that complements
existing tool support. The DSL, called FAMILIAR (for FeAture Model scrIpt Language for manIpulation and Automatic Reasoning),
is an executable language that supports manipulating and reasoning about feature models. FAMILIAR is developed in Java
language using Xtext, a framework for development of DSLs. Off-the-shelf SAT solvers (i.e., SAT4J) and BDD are used to support
manipulation and reasoning operations on FMs. FAMILIAR has been used in different contexts, both as a user language and
as a target for code generation. Some recent advances also uses FAMILIAR to reverse engineer variability models from
software architectures and product descriptions.
Get more information on the FAMILIAR site!
Past Research Projects
- The ConFract system:
a contracting system for the hierarchical software components platform Fractal (France Télécom R&D Grant: 2002-2004).
- Negotiable contracts in ConFract: application to software
components and service-oriented architectures (France Télécom R&D Grant: 2005-2008)
- RNTL FAROS, a 3-years project (2006-2008) of the french national network
on software technologies: Contracts composition for the reliability of service-based architectures, ANR (french National Research
Agency) financing: 2006-2008
Current Students
- Filip
Krikava (PhD student, co-supervised with Director of Research Johan
Montagnat): Model-driven self-adapative systems for large scale
distributed systems.
Current Collaborations
- Robert B. France, Colorado State University: Feature Modeling and Composition
- Condor team (Miron Livny) from the University of Wisconsin-Madison: Self-adaptive Architectures Applied to Condor
- PReCISE group, FUNDP Université de Namur (Belgique): Reverse Engineering and Composition of Feature Models
- Alexandre Bergel, PLEIAD project at University of Chile: Vizualization of software architectures and feature models (ECOSUD collaboration)
- EPI ADAM / INRIA Lille Nord Europe: Model-driven Self-adaptive Systems (SALTY project) and Reverse-engineering architectural feature models
- EPI PULSAR / INRIA Sophia Antipolis Méditerranée: Applications of Feature Modeling to Video-Surveillance
- Jacques Malenfant, LIP6 - UPMC: Software Contracts and Self-adaptive Systems (SALTY project)
- Thales RT: Model-Driven Engineering and Self-adaptive Systems (SALTY project)
- LIASD / Université de Paris 8, Deveryware, EBM Websourcing, MAAT France: Self-adaptive Systems (SALTY project)
PhD Alumni
- Mathieu
Acher (PhD in sept. 2011, co-supervised with Pr. Philippe Lahire):
Managing
Multiple Feature Models: Foundations, Language and Applications.
- Bao LeDuc (PhD in dec. 2010, UPMC/LIP6, Paris and France Télécom R&D,
co-supervised with Pr. Jacques Malenfant): A QoI-aware Framework for Adaptive Monitoring.
- Hervé Chang (PhD in dec. 2007): contract negotiation on extrafunctional
properties for hierarchical software components.
- Alain Ozanne (PhD in nov. 2007, UPMC/LIP6, Paris and France Télécom R&D, co-supervised
with Pr. Jacques Malenfant): a general contract model, supporting different specification formalisms and software artefacts.
Alumni
- Mathieu Acher (Research Master, 2008): A metamodel for a product line of contracted services on the grid.
- Benoît Vallette d'Osia (Research Master, 2005): Exception Handling for autonomous hierarchical components.
- Bastien Manuel (Research Master, 2005): Model-based specification for hierarchical components.
- Hervé Chang (Research Master, 2004): Negotiation mechanisms for contracted software components.
- Annabelle Mercier (Research Master, 2002): Study of a general contracting model for software components.
- Greta Vignola (Research Master, 2000): Evolution control of persistent Java objects using assertions.
|
