Bibliographie (BibTex)

@InProceedings{Mok16b,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and and Sylvain Vauttier},
title         = {A three-level versioning model for component-based software architectures},
booktitle     = {To appear in the proceedings of the 11th {I}nternational {C}onference on {S}oftware {E}ngineering {A}dvances ({ICSEA} 2016)},
year          = {2016},
address       = {Roma, Italy},
month         = {August},
note          = {ERA rank C},
annote        = {to appear},
date-added    = {2016-08-13 23:13:02 +0200},
date-modified = {2016-08-13 23:16:48 +0200},
}

@Article{Mok16a,
author    = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title     = {A formal approach for managing component-based architecture evolution},
journal   = {To appear in {S}cience of {C}omputer {P}rogramming},
year      = {2016},
abstract  = {Software architectures are subject to several types of change during the software lifecycle (e.g. adding requirements, correcting bugs, enhancing performance). The variety of these changes makes architecture evolution management complex because all architecture descriptions must remain consistent after change. To do so, whatever part of the architectural description they affect, the effects of change have to be propagated to the other parts.
The goal of this paper is to provide support for evolving component-based architectures at multiple abstraction levels. Architecture descriptions follow an architectural model named Dedal, the three description levels of which correspond to the three main development steps – specification, implementation and deployment. This paper formalizes an evolution management model that generates evolution plans according to a given architecture change request, thus preserving consistency of architecture descriptions and coherence between them. The approach is implemented as an Eclipse-based tool and validated with three evolution scenarios of a Home Automation Software example.},
annote    = {Extended revised version of [Mok14c] IF (2014) 0,715},
keywords  = {architecture, evolution / versions, components / CBSE, formalisation},
publisher = {Elsevier},
}

@InProceedings{Mok15,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title         = {An evolution management model for multi-level component-based software architectures},
booktitle     = {Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering},
year          = {2015},
address       = {Pittsburgh, USA},
month         = {July},
abstract      = {Handling evolution in component-based software archi- tectures is a non trivial task. Indeed, a series of changes ap- plied on software may alter its architecture leading to sev- eral inconsistencies. In turn, architecture inconsistencies lead to software erosion and shorten its lifetime. To avoid architectural inconsistencies and increase software reliabil- ity, architecture evolution must be handled at all steps of the software lifecycle. Moreover, changes must be treated as first class entities. In this paper, we propose an evolution management model that takes these criteria into account. The model is a support for our three-level Dedal architec- tural model. It captures and handles change at any of the Dedal abstraction levels: specification, implementation and deployment. It generates evolution plans using evolution rules proposed in previous work. The generation process is implemented using the ProB model checker and evaluated through three evolution scenarios of a Home Automation Software.},
annote        = {AR 30\%},
date-added    = {2014-10-02 09:44:21 +0000},
date-modified = {2015-09-11 14:08:25 +0000},
}

@Proceedings{Dub14,
title         = {Actes de la troisi{\`e}me Conf{\’e}rence en Ing{\’e}nieriE du Logiciel},
year          = {2014},
editor        = {Catherine Dubois and Nicole Levy and Marie-Agn{\`e}s Peraldi-Frati and Christelle Urtado},
address       = {Paris, France},
month         = {Juin},
date-added    = {2014-12-15 16:19:17 +0000},
date-modified = {2014-12-15 16:19:17 +0000},
pages         = {158},
}

@InProceedings{Mok14d,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title         = {Fostering component reuse: automating the coherence verification of multi-level architecture descriptions},
booktitle     = {Proceedings of the 9th International Conference on Software Engineering Advances},
year          = {2014},
address       = {Nice, France},
month         = {October},
abstract      = {Component-Based Software Engineering considers off- the-shelf software component reuse as its cornerstone. In previous work, we proposed Dedal, a three level Architecture Description Language. It supports a novel modeling approach that aims at describing the specification, the implemented configuration and the running assembly of the software. This eases reuse by guiding the search for existing components. In this paper, we propose a formal approach that states the rules for component reuse and interoperability among Dedal models. The use of B, a specifi- cation language providing model-checking capabilities, enables the automatic verification of Dedal architecture descriptions. The approach is illustrated using the example of a home automation software.},
annote        = {AR 30\%},
date-added    = {2014-12-15 15:59:58 +0000},
date-modified = {2014-12-15 15:59:58 +0000},
}

@InProceedings{Mok14c,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title         = {Formal rules for reliable component-based architecture evolution},
booktitle     = {Proceedings of the 11th international symposium on Formal Aspects of Component Software},
year          = {2014},
address       = {Bertinoro, Italy},
month         = {September},
annote        = {AR 45\% (to appear)},
date-added    = {2014-12-15 15:59:50 +0000},
date-modified = {2014-12-15 15:59:50 +0000},
}

@InProceedings{Mok14b,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title         = {A three-level formal model for software architecture evolution},
booktitle     = {Proceedings of the 7th Seminar on Advanced Techniques \& Tools for Software Evolution (SATToSE 2014)},
year          = {2014},
address       = {L’Aquila, Italy},
month         = {July},
annote        = {(to appear)},
date-added    = {2014-12-15 15:59:48 +0000},
date-modified = {2014-12-15 15:59:48 +0000},
keywords      = {architecture; components / CBSE; evolution / versions; relations / connectors; model},
}

@InProceedings{Mok14a,
author        = {Abderrahman Mokni and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Huaxi (Yulin) Zhang},
title         = {Mod{\’e}lisation et v{\’e}rification formelles en {B} des architectures logicielles {\`a} trois niveaux},
booktitle     = {Actes de la troisi{\`e}me {C}onf{\’e}rence en {I}ng{\’e}nieri{E} du {L}ogiciel (CIEL 2014)},
year          = {2014},
editor        = {Catherine Dubois and Nicole Levy and Marie-Agn{\`e}s Peraldi-Frati and Christelle Urtado},
address       = {Paris, France},
month         = {Juin},
abstract      = {La r{\’e}utilisation est une notion centrale dans le d{\’e}veloppement {\`a} base de composants. Elle permet de construire des logiciels {\`a} grande {\’e}chelle de meilleure qualit{\’e} et {\`a} moindre co{\^u}t. Afin d’intensifier la r{\’e}utilisation dans les processus de d{\’e}veloppement, un ADL {\`a} trois dimensions, nomm{\’e} Dedal, a {\’e}t{\’e} propos{\’e}. Dedal permet de d ́ecrire la sp{\’e}cification, l’impl{\’e}mentation et le d{\’e}ploiement d’une architecture. Chaque d{\’e}finition doit {\^e}tre coh{\’e}rente, compl{\`e}te et, r{\’e}utilisant la d{\’e}finition de niveau sup{\’e}rieur, conforme {\`a} celle-ci. Cet article pr{\’e}sente des r{\`e}gles formelles permettant de pr{\’e}server et de v{\’e}rifier ces trois propri{\’e}t{\’e}s dans des d{\’e}finitions d’architectures d{\’e}crites en Dedal. Les r{\`e}gles sont exprim{\’e}es avec le langage formel B afin d’automatiser leur v{\’e}rification.},
date-added    = {2014-12-15 15:59:45 +0000},
date-modified = {2014-12-15 15:59:45 +0000},
keywords      = {architecture; components / CBSE; evolution / versions; relations / connectors; model},
}

@Article{ALM14d,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Automatic documentation of [mined] feature implementations from source code elements and use case diagrams with the REVPLINE approach},
journal       = {International Journal of Software Engineering and Knowledge Engineering},
year          = {2014},
month         = {December},
abstract      = {Companies often develop a set of software variants that share some features and differ in other ones to meet specific requirements. To exploit the existing software variants as a Software Product Line (SPL), a Feature Model of this SPL must be built as a first step. To do so, it is necessary to define and document the optional and mandatory features that compose the variants. In our previous work, we mined a set of feature implementations as identified sets of source code elements. In this paper, we propose a complementary approach, which aims to document the mined feature implementations by giving them names and descriptions, based on the source code elements that form feature implementations and the use-case diagrams that specify software variants. The novelty of our approach is its use of commonality and variability across software variants, at feature implementation and use-case levels, to run Information Retrieval methods in an efficient way. Experiments on several real case studies (Mobile media and ArgoUML- SPL) validate our approach and show promising results.
},
annote        = {Extended and revised version of [ALM14b] (to appear)},
date-added    = {2014-12-15 15:50:04 +0000},
date-modified = {2014-12-15 15:50:04 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM14c,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Reverse engineering feature models from software configurations using Formal Concept Analysis},
booktitle     = {Proceedings of the 11th international conference on Concept Lattices and their Applications (CLA 2104)},
year          = {2014},
address       = {Ko{\v s}ice, Slovakia},
month         = {October},
abstract      = {Companies often develop in a non-disciplined manner a set of software variants that share some features and differ in others to meet variant-specific requirements. To exploit existing software variants and manage them coherently as a software product line, a feature model must be built as a first step. To do so, it is necessary to extract mandatory and optional features from the code of the variants in addition to as- sociate each feature implementation with its name. In previous work, we automatically extracted a set of feature implementations as a set of source code elements of software variants and documented the mined feature implementations based on the use-case diagrams of these vari- ants. In this paper, we propose an automatic approach to organize the mined documented features into a feature model. The feature model is a tree which highlights mandatory features, optional features and feature groups (and, or, xor groups). The feature model is completed with re- quirement and mutual exclusion constraints. We rely on Formal Concept Analysis and software configurations to mine a unique and consistent fea- ture model. To validate our approach, we apply it on several case studies. The results of this evaluation validate the relevance and performance of our proposal as most of the features and their associated constraints are correctly identified.},
date-added    = {2014-12-15 15:50:02 +0000},
date-modified = {2014-12-15 15:50:02 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM14b,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Documenting the mined feature implementations from the object-oriented source code of a collection of software product variants},
booktitle     = {Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014)},
year          = {2014},
pages         = {138–143},
address       = {Vancouver, Canada},
month         = {July},
abstract      = {Companies often develop a set of software variants that share some features and differ in other ones to meet spe- cific requirements. To exploit existing software variants and build a Software Product Line (SPL), a Feature Model (FM) of this SPL must be built as a first step. To do so, it is nec- essary to mine optional and mandatory features in addition to associating the FM with its documentation. In our pre- vious work, we mined a set of feature implementations as identified sets of source code elements. In this paper, we propose a complementary approach, which aims to doc- ument the mined feature implementations by giving them names and descriptions, based on the source code elements that form feature implementations and use-case diagrams of software variants. The novelty of our approach is that it exploits commonality and variability across software vari- ants, at feature implementations and use-cases levels, to run Information Retrieval methods in an efficient way. To validate our approach, we applied it on Mobile media and ArgoUML-SPL case studies. The results of this evaluation showed that most of the features have been documented cor- rectly.},
annote        = {A.R. 29,6\%},
date-added    = {2014-12-15 15:49:59 +0000},
date-modified = {2014-12-15 15:49:59 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{Alm14a,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Ahmad Khlifat},
title         = {Concept lattices: a representation space to structure software variability},
booktitle     = {Proceedings of the 5th International Conference on Information and Communication Systems (ICICS 2014)},
year          = {2014},
address       = {Irbid, Jordan},
month         = {April},
abstract      = {Formal Concept Analysis is a theoretical framework which structures a set of objects described by properties. Formal Concept Analysis is a classification technique that takes data sets of objects and their attributes, and extracts relations between these objects according to the attributes they share. This structure reveals and categorizes commonalities and variability in a canonical form. From this canonical form, other structures can be derived, that can be more or less complex. In this paper, we revisit two papers from the literature of the software product line domain. We point to key contributions and limits of the representation of variability by concept lattices, with illustrative examples. We present tools to implement the approach and open a discussion.},
date-added    = {2014-12-15 15:49:56 +0000},
date-modified = {2014-12-15 15:49:56 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM13c,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Mining features from the object-oriented source code of software variants by combining lexical and structural similarity},
booktitle     = {Proceedings of the 14th IEEE International Conference on Information Reuse and Integration (IRI 2013)},
year          = {2013},
editor        = {Chengcui Zhang and James Joshi and Elisa Bertino and Bhavani Thuraisingham},
pages         = {586–593},
address       = {San Francisco, USA},
month         = {August},
publisher     = {IEEE},
abstract      = {Migrating software product variants which are deemed similar into a product line is a challenging task with main impact in software reengineering. To exploit existing software variants to build a software product line (SPL), the first step is to mine the feature model of this SPL which involves extracting common and optional features. Thus, we propose, in this paper, a new approach to mine features from the object-oriented source code of software variants by using lexical and structural similarity. To validate our approach, we applied it on ArgoUML, Health Watcher and Mobile Media software. The results of this evaluation showed that most of the features were identified.},
annote        = {A.R. 26\%},
date-added    = {2014-12-15 15:49:53 +0000},
date-modified = {2014-12-15 15:49:53 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM13b,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Hamzeh Eyal Salman},
title         = {Mining features from the object-oriented source code of a collection of software variants using Formal Concept Analysis and Latent Semantic Indexing},
booktitle     = {Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013)},
year          = {2013},
pages         = {244–249},
address       = {Boston, USA},
month         = {June},
abstract      = {Companies often develop a set of software variants that share some features and differ in other ones to meet spe- cific requirements. To exploit existing software variants and build a software product line (SPL), a feature model of this SPL must be built as a first step. To do so, it is necessary to mine optional and mandatory features from the source code of the software variants. Thus, we propose, in this paper, a new approach to mine features from the object-oriented source code of a set of software variants based on Formal Concept Analysis and Latent Semantic Indexing. To vali- date our approach, we applied it on ArgoUML and Mobile Media case studies. The results of this evaluation validate the relevance and the performance of our proposal as most of the features were correctly identified.},
annote        = {A.R. 29,2\%},
date-added    = {2014-12-15 15:49:51 +0000},
date-modified = {2014-12-15 15:49:51 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM13a,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Hamzeh Eyal Salman},
title         = {Feature location in a collection of software product variants using formal concept analysis},
booktitle     = {Safe and Secure Reuse – Proceedings of the 13th International Conference on Software Reuse},
year          = {2013},
editor        = {John Favaro and Maurizio Morisio},
number        = {7925},
series        = {LNCS},
pages         = {302–307},
address       = {Pisa, Italy},
month         = {June},
publisher     = {Springer},
abstract      = {Formal Concept Analysis (FCA) is a theoretical framework which structures a set of objects described by properties. In order to migrate software product variants which are considered similar into a product line, it is essential to identify the common and the optional fea- tures between the software product variants. In this paper, we present an approach for feature location in a collection of software product variants based on FCA. In order to validate our approach we applied it on a case study based on ArgoUML. The results of this evaluation showed that all of the features were identified.
},
annote        = {Short paper},
date-added    = {2014-12-15 15:49:48 +0000},
date-modified = {2014-12-15 15:49:48 +0000},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{ALM12,
author        = {Rafat AL-Msie’deen and Abdelhak Djamel Seriai and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Hamzeh Eyal Salman},
title         = {An approach to recover feature models from object-oriented source code},
booktitle     = {Actes de la Journ{\’e}e Lignes de Produits 2012},
year          = {2012},
pages         = {15–26},
address       = {Lille, France},
month         = {Novembre},
abstract      = {Software Product Line (SPL) is a development paradigm that targets the creation of software system variants that belong to the same domain. Usually software system variants, developed with clone-and-own approach, form a starting point for building SPL. To migrate software systems which are deemed similar to a product line, it is necessary to detect the com- mon features and variations between a set of software system variants. Reverse engineering the feature model (FM) of an existing system is a challenging activity. FM describes the common and variable characteristics of a product line. In recent years, a lot of work has addressed the extraction of FM from different artefacts. Little work addressed extraction of FM from source code. This paper proposes a general approach to extract initial FM from the object-oriented (OO) source code of a set of software system variants in order to support the migration pro- cess from conventional software development to software product line engineering (SPLE). We present an approach to extract features of FM from the analysis of object-oriented source code for a set of software product variants. This approach is based firstly on the definition of the mapping model between object-oriented elements (OOE) and those of FM. Secondly; it uses an identification process exploiting on the one hand Formal Concept Analysis (FCA) as a method for clustering OOE corresponding to the implementation of features and on the other hand La- tent Semantic Indexing (LSI) to define a similarity measure on which is based this clustering.},
date-added    = {2012-12-10 16:05:55 +0100},
date-modified = {2012-12-10 16:10:16 +0100},
keywords      = {evolution / versions; object; features / product lines},
}

@InProceedings{Gro12,
author        = {Guillaume Grondin and Matthieu Faure and Christelle Urtado and Sylvain Vauttier},
title         = {Mission-oriented autonomic configuration of pervasive systems},
booktitle     = {Proceedings of the 7th International Conference on Software Engineering Advances},
year          = {2012},
address       = {Lisbon, Portugal},
month         = {November},
abstract      = {In pervasive systems, software applications are
dynamically composed from the services provided by the
smart devices spread in the local environment. A system
must react to changes that occur in the environment and
reconfigure applications in order to maintain their operation
and assume their missions at its best. This paper advocates
the need for a mission description language, which enables
to describe applications in a declarative way as abstract
service compositions. The system uses mission definitions to
calculate a configuration that best executes them with the
currently available resources. This optimal configuration is
intended to maximize the utility of the system, considering
user preferences, available resources, and mission criticality.
Contextual adaptations are captured in the mission language
as modes and strategies, that respectively describe evolutions
of the assigned mission set and alternate ways to execute
missions. These mechanisms leverage service component ap-
proach, for the dynamic deployment of missions, and agent-
orientation, for autonomic configuration management.},
annote        = {AR 30\%},
date-added    = {2012-11-13 11:47:01 +0100},
date-modified = {2012-12-10 16:05:31 +0100},
keywords      = {embedded / pervasive; agents; components / CBSE; services / SOA; Hydoguard},
}

@InProceedings{Zha12b,
author        = {Huaxi (Yulin) Zhang and Lei Zhang and Christelle Urtado and Sylvain Vauttier and Marianne Huchard},
title         = {A three-level component model in component-based software development},
booktitle     = {Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE 2012)},
year          = {2012},
address       = {Dresden, Germany},
month         = {September},
publisher     = {ACM},
abstract      = {Component-based development promotes a software de-
velopment process that focuses on component reuse.
How to describe a desired component before search-
ing in the repository? How to find an existing com-
ponent that fulfills the required functionalities? How
to capture the system personalization based on its con-
stitutive components’ customization? To answer these
questions, this paper claims that components should
be described using three different forms at three devel-
opment stages: architecture specification, configuration
and assembly. However, no architecture description lan-
guage proposes such a detailed description for compo-
nents that supports such a three step component-based
development. This paper proposes a three-level Adl,
named Dedal, that enables the explicit and separate
definitions of component roles, component classes, and
component instances.
},
annote        = {AR : 15/35 = 42,9 \%},
date-added    = {2012-07-12 17:04:50 +0200},
date-modified = {2012-12-10 15:44:31 +0100},
keywords      = {architecture; components / CBSE; relations / connectors; model},
}

@InProceedings{Zha12a,
author        = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier and Lei Zhang and Marianne Huchard and Bernard Coulette},
title         = {Dedal-CDL: Modeling first-class architectural changes in Dedal},
booktitle     = {Proceedings of the Joint 10th Working IEEE/IFIP Conference on Software Architecture \& 6th European Conference on Software Architecture (WICSA / ECSA 2012)},
year          = {2012},
address       = {Helsinki, Finland},
month         = {August},
abstract      = {In component-based software engineering, software
architectures govern not only software development but also
software evolution. Indeed, to efficiently and accurately manage
software evolution and guarantee its quality, architecture models
should be at the core of the evolution process, be accurately
synchronized with the runtime systems and have their changes
and version information be completely tracked. As architecture
models are often captured by ADLs (Architecture Description
Languages), an ADL supporting architecture-centric evolution
is required. In this paper, we study how architecture-centric
evolution can be supported by the Dedal ADL. We thus propose
a dedicated CDL (Change Description Language) which models
architectural changes as first-class entities and describes them
from a semantic viewpoint.},
annote        = {Short paper AR (short papers) : 35,7\%},
date-added    = {2012-07-02 14:34:15 +0200},
date-modified = {2012-07-16 14:09:56 +0200},
keywords      = {architecture; components / CBSE; evolution / versions; relations / connectors},
}

@InProceedings{Cou12,
author        = {Anne-Lise Courbis and Thomas Lambolais and Hong-Viet Luong and Thanh-Liem Phan and Christelle Urtado and Sylvain Vauttier},
title         = {A formal support for incremental behavior specification in agile development},
booktitle     = {Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012)},
year          = {2012},
address       = {Redwood City, USA},
month         = {July},
abstract      = {Incremental development is now state of the practice. In-
deed, it is promoted from the rational unified process to ag-
ile development methods. Few methods however guide soft-
ware developers and architects in doing so. For instance,
no tool is proposed to verify the non-regression of function-
alities, modeled as behavior specifications, between incre-
ments. This work helps to incrementally specify software
functionalities using UML state machines. It provides an
on-the-fly evaluation of a specified behavior as compared
to that of previous increments. The proposed contribution
is based on two formally specified relations that are proved
to preserve refinement when composed. Architects and de-
velopers are free to choose their preferred behavior speci-
fication strategy by iteratively applying them, so as to de-
velop the required functionalities, having at each step the
benefit of a formal non-regression checking to guide the
global specification process. Our proposal is implemented
in a proof-of-concept tool and illustrated by a didactic case-
study. },
annote        = {AR (full paper) = 27\%},
date-added    = {2012-05-23 16:34:15 +0200},
date-modified = {2012-07-16 14:03:29 +0200},
keywords      = {components / CBSE; model},
}

@InProceedings{Ayr11,
author        = {Pierre-Alain Ayral and Catherine Gonzalez and Camille Lequette and Ivan Lovric and David Salze and Christelle Urtado and Sylvain Vauttier},
title         = {Hydroguard: Autonomous and automated system for monitoring, management of coastal risks and water resources},
booktitle     = {Proceedings of the workshop of {T}he {I}nternational {E}mergency {M}anagement {S}ociety (TIEMS 2011)},
year          = {2011},
pages         = {11},
address       = {N{\^\i}mes, France},
month         = {June},
abstract      = {The HYDROGUARD project is being developed with a view to the efficient and rational management of means of preventing and combating flooding, pollution, and marine submergence. The first targeted regions are Languedoc-Roussillon and PACA. The project aims at developing autonomous technologies and equipment to be put in place across the territory (storm basins, streams, outputs from wastewater treatment plants, hydraulic structures, lagoons and shoreline{\ldots}) in order to contribute to the monitoring and ongoing management of coastal and surface water bodies and territories, especially during crisis situations (flooding, accidental pollution, marine submergence). Topics taken into consideration in the framework of the HYDROGUARD project keep the focus on present concerns about risk management. The overall system, consisting of especially developed buoys embedding a brand-new reliable Decision Support System and high-speed telecommunicating facilities, can be static – located in sensitive areas – or dynamic – deployed over operational areas in the case of an alert. In case of an alarm, the proposed mechanism is the optimal tool for anticipating actions, contributing to decision-making, and guiding relief measures by means of the range of information acquired through the detectors / sensors. Once the alert is over, the system returns to relaying relevant information to State services, communities, individuals, managers of industrial sites and delegated services. The originality of the system lies in its decentralization, proximity, redundancy and interoperability with other existing systems. This project is directly linked to the recommendations of the French Ministry of Environment, Ecology, Energy, Sustainable Development and the Sea (MEEDM), regarding knowledge, prevention, prediction and early warning; and the Water Framework Directive, for which it is necessary to develop suitable devices, in particular with regard to monitoring, improving the chemical status of water bodies, and maintaining quality resources.
Finally, an evaluation of the benefits of such a system will be assessed, by means of economic Costs-Benefit Analysis (CBA). The actual project team is multi-disciplinary. The end-users targeted by the system are municipalities and local authorities, ports, firefighters and other safety personnel, as well as engineers or industrialists in the framework of their missions of prevention, protection, fighting against floods, and management of water resources.
},
annote        = {unpublished},
date-added    = {2011-09-02 09:46:41 +0200},
date-modified = {2011-09-07 16:33:56 +0200},
keywords      = {agents; components / CBSE; embedded / pervasive;; services / SOA},
}

@InProceedings{Fau11b,
author        = {Matthieu Faure and Luc Fabresse and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {A service component framework for multi-user scenario management in ubiquitous environments},
booktitle     = {Proceedings of the 6th International Conference on Software Engineering Advances (ICSEA 2011)},
year          = {2011},
address       = {Barcelona, Spain},
month         = {October},
abstract      = {Software dedicated to ubiquitous environments has to deal with the multiplicity of devices and users. It also has to adapt to frequent changes in its environment. Users can easily access and trigger services provided by different devices but also need to implement complex scenarios, i.e., structured compositions of multiple service. State-of-the-art frameworks do not fully meet the expectation we identified. This is why, we designed the SaS (Scenarios As Services) ubiquitous software: a platform for ubiquitous systems that provides a SDL (Scenario Description Language) to support the creation of tailored user-centric scenarios. Our previous work on the subject did not tackle all distribution and concurrency concerns. In this paper, we present SaS’s new features. Using the improved SDL, a user can now describe scenarios that combine services even if all of them are not currently available and will never be at the same time. Moreover, different scenario sharing mechanisms coupled with an access right policy are now included in SaS. SaS is currently implemented in a prototype on top of OSGi.},
annote        = {AR : 30\%},
date-added    = {2011-07-29 11:32:51 +0200},
date-modified = {2011-07-29 12:06:04 +0200},
keywords      = {embedded / pervasive; services / SOA; components / CBSE; architecture},
}

@InProceedings{Fau11a,
author        = {Matthieu Faure and Luc Fabresse and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {User-defined scenarios in ubiquitous environments: creation, execution control and sharing},
booktitle     = {Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011)},
year          = {2011},
pages         = {302–307},
address       = {Miami, USA},
month         = {July},
abstract      = {Ubiquitous computing provides a dynamic access to different functionalities of networkable electronic devices. Whereas basic services have limited use, predefined complex services cannot encompass every end-user’s needs nor be adapted to a set of services that are dynamically discovered in an open environment. Alternatively, users need to be provided with means to express their requirements, choosing precisely which services to compose into a scenario of their own. In service-oriented computing, some systems propose mechanisms to develop tailored components that provide composite services; however they are not adapted to end-users, have limited composition capabilities and/or do not consider several characteristics of ubiquitous environments (such as multiple users and devices). This paper presents a novel user-centric system called SaS for mobile personal devices. SaS provides end-users with an easy access to services and a simple GUI to combine them into complex scenarios. A new architectural description language is used to specifically support scenario creation by service composition. Scenario may be shared among users and devices. SaS offers scenario execution control for example to start and stop it but also to query the current state of a scenario. In addition, SaS proposes some mechanisms to maintain scenario availability in case of service/device unavailability. SaS is currently implemented in a proof-of-concept prototype on top of OSGi.},
annote        = {AR : 31\%},
date-added    = {2011-05-11 14:35:27 +0200},
date-modified = {2011-09-01 16:50:03 +0200},
keywords      = {embedded / pervasive; services / SOA; components / CBSE; architecture},
}

@TechReport{Abo11,
author        = {Nour Aboud and Gabriela Ar\’evalo and Olivier Bendavid and Jean-R\’emy Falleri and Nicolas Haderer and Marianne Huchard and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Building Hierarchical Classifications for Component Directories using Formal Concept Analysis},
institution   = {LIRMM and LGI2P},
year          = {2011},
number        = {XXXXXX},
month         = {February},
abstract      = {Component-based development is the software development paradigm that emphasizes
software component reuse. In order to concretely increase component reuse, there still
is a need for efficiently organizing component directories. Indeed, component
directories need to be hierarchically structured to support architects’ queries, such as
which components match a given specification, or which components can assemble to the
ones the architect has already selected. The paper proposes such an organization of
component directories that uses Formal Concept Analysis. Component classification
results from a three step classification process that successively classifies
functionality signatures, interfaces and, at last, components. In order to overcome
scalability issues, several variations on the classification strategy are
described. These strategies are experimented to classify components from several
open-sources repositories.},
date-added    = {2011-04-14 12:13:33 +0200},
date-modified = {2011-05-11 14:33:57 +0200},
keywords      = {directories / registeries; components / CBSE; services / SOA; architecture},
}

@InProceedings{Azm11,
author        = {Zeina Azmeh and Fady Hamoui and Marianne Huchard and Nizar Messai and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Backing composite web services using {F}ormal {C}oncept {A}nalysis},
booktitle     = {Proceedings of the 9th {I}nternational {C}onference on {F}ormal {C}oncept {A}nalysis (ICFCA 2011)},
year          = {2011},
editor        = {Robert J{\ »a}schke and Petko Valtchev},
number        = {6628},
series        = {LNCS\,/\,LNAI},
pages         = {26–41},
address       = {Nicosia, Cyprus},
month         = {May},
publisher     = {Springer},
abstract      = {A Web service is a software functionality accessible through the network. Web services are intended to be composed into coarser-grained applications.  Achieving a required composite functionality requires the discovery of a collection of Web services out of the enormous service space. Each service must be examined to verify its provided functionality, making the selection task neither efficient nor practical. Moreover, when a service in a composition becomes unavailable, the whole composition may become functionally broken. Therefore, an equivalent service must be retrieved to replace the broken one, thus spending more time and effort. In this paper, we propose an approach for Web service classification based on FCA, using their operations estimated similarities. The generated lattices make the identification of candidate substitutes to a given service straightforward. Thus, service compositions can be achieved more easily and with backup services, so as to easily recover the functionality of a broken service.},
annote        = {AR= 16/49 = 33\%},
date-added    = {2011-02-25 14:57:39 +0100},
date-modified = {2011-09-07 16:45:48 +0200},
keywords      = {directories / registeries, services / SOA},
}

@InProceedings{Fau10,
author        = {Matthieu Faure and Luc Fabresse and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Towards scenario creation by service composition in ubiquitous environments},
booktitle     = {Proceedings of the 9th edition of the BElgian-NEtherlands software eVOLution seminar (BENEVOL 2010)},
year          = {2010},
editor        = {St{\’e}phane Ducasse and Laurence Duchien and Lionel Seinturier},
pages         = {145–155},
address       = {Lille, France},
month         = {December},
abstract      = {Ubiquitous computing provides a large access to different functionalities through electronic devices; however
these devices are not always thought to function in a set. This limits their use. Scenario creation by service compo-
sition makes it possible for end-users to specify their needs more precisely. In Service-Oriented Computing, some
frameworks (such as OSGi) provide mechanisms to develop components that provide services; however they are not
adapted to end-users and limited for service composition.
This is why we developed a new user-centric system. Placed into an appropriate user electronic device, it discovers
the available services around him and orders them to provide a better access through a GUI. Users can thus compose
services to create a scenario thanks to a graphic adaptation of our ADL. Once created, this scenario can be registered
and shared among users. A prototype (still in development) implements our system and demonstrates its feasibility.
It can be improved by adding some recovery strategies.},
annote        = {unpublished},
bdsk-url-1    = {http://rmod.lille.inria.fr/benevol/pier/resources/proceedings?_s=EfddGKgyS-ZlTkZr&_k=ivE2r8HtV92g-HpO&view=PRDownloadView&_n&8},
date-added    = {2010-12-17 16:46:06 +0100},
date-modified = {2011-03-01 11:56:50 +0100},
keywords      = {components / CBSE; embedded / pervasive; services / SOA; agents},
url           = {http://rmod.lille.inria.fr/benevol/pier/resources/proceedings?_s=EfddGKgyS-ZlTkZr&_k=ivE2r8HtV92g-HpO&view=PRDownloadView&_n&8},
}

@InProceedings{Ham10b,
author        = {Fady Hamoui and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {{SAASHA}: a {S}elf-{A}daptable {A}gent {S}ystem for {H}ome {A}utomation},
booktitle     = {Proceedings of the 36th {EUROMICRO} Conference on {S}oftware {E}ngineering and {A}dvanced {A}pplications (SEAA)},
year          = {2010},
pages         = {227–230},
address       = {Lille, France},
month         = {September},
publisher     = {{IEEE}},
abstract      = {This paper proposes SAASHA, a Self-Adaptable Agent System for Home Automation that provides end-users with the capacity of defining custom scenarios to act on their environment. The proposed system adapts dynamically to the environment without any expert intervention. It is composed of two types of component-based software agents: Graphical User Interface Agents that constitute the system’s front-end and Device Control Agents that control the devices from the environment and implement user-defined scenarios. SAASHA seamlessly avoids scenario conflicts and automatically recovers from device failures.},
annote        = {Short paper.},
date-added    = {2010-06-03 11:20:42 +0200},
date-modified = {2010-09-17 11:44:28 +0200},
keywords      = {agents; embedded / pervasive; components / CBSE; services / SOA},
}

@InProceedings{Zha10c,
author        = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier},
title         = {Architecture-centric component-based development needs a three-level {ADL}},
booktitle     = {Proceedings of the 4th {E}uropean {C}onference on {S}oftware {A}rchitecture},
year          = {2010},
editor        = {Muhammad Ali Babar and Ian Gorton},
volume        = {6285},
series        = {LNCS},
pages         = {295–310},
address       = {Copenhagen, Denmark},
month         = {August},
publisher     = {Springer},
abstract      = {Architecture-centric, component-based development intensively reuses components from
repositories. Such development processes produce architecture definitions, using
architecture description languages (A\textsc{dl}s). This paper proposes a three step
process. Architecture specifications first capture abstract and ideal architectures imagined by
architects to meet requirements. Specifications do not describe complete component types
but only component roles (usages). Architecture configurations then capture
implementation decisions, as the architects select specific component classes from the
repository to implement component roles. Finally, architecture assemblies define how
components instances are created and initialized to customize the deployment of
architectures in their own execution contexts. This development process is supported by
a three-level ADL which enables the separate definition of these three representations.
The refinement relationships between these architecture representations are also discussed.},
annote        = {AR = 19/75 = 25,3\%},
date-added    = {2010-05-27 13:20:19 +0200},
date-modified = {2010-09-08 17:22:41 +0200},
keywords      = {architecture; components / CBSE; evolution / versions; relations / connectors},
}

@InProceedings{Zha10b,
author        = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier},
title         = {Architecture-centric development and evolution processes for component-based software},
booktitle     = {Proceedings of 22nd International Conference on {S}oftware {E}ngineering and {K}nowledge {E}ngineering (SEKE 2010)},
year          = {2010},
pages         = {680–685},
address       = {Redwood City, USA},
month         = {July},
abstract      = { Component-based development focuses on component reuse and composition: abstract
components (as wished) must be searched for and matched to existing component (as
found). This search and reuse activity greatly impacts software development and
evolution processes. Unfortunately, very few works propose adaptations of traditional
software engineering processes and no existing ADL yet permits to describe the
resulting development artifacts.
This paper proposes architecture-centric processes for the development and evolution of
component-based software.  Architecture-centric development produces descriptions for
architecture specification, architecture configuration and component assembly. The paper
shows how Dedal, a three-level A\textsc{dl}, can be used to support the consistent
description of these three artifacts. The paper then shows how these descriptions can be
used during a controlled architecture-centric evolution process that helps build, test
and record versions of component-based software. This tackles the well-known issues of
architecture erosion and drift that denote mismatches between the different architecture
definitions.},
annote        = {AR = 33\%},
date-added    = {2010-05-10 17:50:22 +0200},
date-modified = {2011-03-01 11:57:08 +0100},
keywords      = {evolution / versions; architecture; relations / connectors; components / CBSE},
}

@InProceedings{Are10,
author        = {Gabriela Ar{\’e}valo and Zeina Azmeh and Marianne Huchard and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Component and service farms},
booktitle     = {Actes des deuxi{\`e}mes journ{\’e}es nationales du GDR G{\’e}nie de la Programmation et du Logiciel — D{\’e}fis pour le G{\’e}nie de la Programmation et du Logiciel},
year          = {2010},
editor        = {Eric Cariou and Laurence Duchien and Yves Ledru},
pages         = {281–284},
address       = {Pau, France},
month         = {Mars},
annote        = {unpublished},
date-added    = {2010-03-15 14:21:31 +0100},
date-modified = {2010-03-15 14:42:55 +0100},
keywords      = {services / SOA; components / CBSE; directories / registeries},
}

@InProceedings{Azm10,
author        = {Zeina Azmeh and Marianne Huchard and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Using concept lattices to support web service compositions with backup services},
booktitle     = {Proceedings of the 5th International Conference on Internet and Web Applications and Services (ICIW 2010)},
year          = {2010},
pages         = {363–368},
address       = {Barcelona, Spain},
month         = {May},
publisher     = {IEEE},
abstract      = {In SOA, composite applications can be developed
on the basis of collections of interacting web services. A
service’s functionality is exposed to the external world by an
abstract interface, described by the standard WSDL language,
which must be published by service providers to public
registries where service consumers can find them. Nowadays,
web service discovery has become a real problem, because
of the lack of public registries to publish and organize the
fairly huge number of existing services. In this paper, we
propose an approach based on formal concept analysis (FCA)
for classifying and browsing web services. Using this approach,
the web services are organized into a lattice structure, to
facilitate their browse and selection. A service lattice reveals the
invisible relations between the services, enabling the discovery
of a needed service as well as the identification of its possible
alternatives. Thus, service discovery may be achieved more
easily using the service lattice. This facilitates the construction
of service compositions and supports theto ensure a continuous functionality.
},
annote        = {{W}eb {S}ervices-based {S}ystems and {A}pplications track A.R. 31\%},
date-added    = {2010-03-03 17:05:13 +0100},
date-modified = {2011-11-04 15:50:59 +0100},
keywords      = {services / SOA, directories / registeries},
}

@InProceedings{Zha10a,
author        = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier},
title         = {Dedal : un {ADL} {\`a} trois dimensions pour g{\’e}rer l'{\’e}volution des architectures {\`a} base de composants},
booktitle     = {Actes de la 4{\`e}me Conf{\’e}rence francophone sur les Architectures Logicielles (CAL 2010), Revue des Nouvelles Technologies de l’Information (RNTI L-5)},
year          = {2010},
editor        = {Khalil Drira},
pages         = {15–27},
address       = {Pau, France},
month         = {Mars},
publisher     = {C{\’e}padu{\`e}s},
abstract      = {Une architecture logicielle peut {\^e}tre d{\’e}finie {\`a} diff{\’e}rents niveaux d’abstraction, correspondants aux diff{\’e}rentes {\’e}tapes de son processus de d{\’e}veloppement : sp{\’e}cification, impl{\’e}mentation et d{\’e}ploiement. La coh{\’e}rence entre les dif-
f{\’e}rentes d{\’e}finitions d’une architecture doit {\^e}tre maintenue : sa d{\’e}finition {\`a} un niveau d’abstraction doit {\^e}tre conforme {\`a} sa d{\’e}finition au niveau d’abstraction imm{\’e}diatement sup{\’e}rieur. Ce principe permet de contr{\^o}ler l'{\’e}volution d’une architecture, en validant les modifications r{\’e}alis{\’e}es {\`a} un certain niveau d’abstraction ou en motivant la cr{\’e}ation d’une nouvelle version pour propager les modifications entre niveaux d’abstraction. Malheureusement, aucun ADL ne propose un mod{\`e}le de d{\’e}finition d’architectures s{\’e}parant clairement les niveaux d’abstraction couvrant le cycle de vie d’une architecture. Cet article pr{\’e}sente Dedal, un ADL permettant une d{\’e}finition s{\’e}par{\’e}e de la sp{\’e}cification, de la configuration et de l’assemblage d’une architecture afin de pr{\’e}venir l'{\’e}rosion ou la d{\’e}rive qui surviennent lors des {\’e}volutions entre les diff{\’e}rents niveaux de d{\’e}finitions des architectures.

Component-based development promotes a software development process that focuses on reuse and composition. Software architectures can be described at three development stages: architecture specification, architecture configuration and instantiated component assembly. Conformance must be guaranteed top-down from an abstract description level to the next, more concrete one. But such descriptions could also be used bottom-up to control software evolution. Surprisingly, no architecture description language proposes such a detailed description for architectures that covers the whole component-based development cycle. This paper proposes Dedal, a three-dimensional ADL that enables the description of architecture specification, configuration and assembly. It then shows how these descriptions can be used during a controlled software architecture evolution mechanism that helps build, test and record versions of component-based software. This mechanism tackles the well-known issues of architecture erosion and architecture drift that denote mismatches between the different architecture definitions.},
annote        = {AR = 12/25 = 48\%},
date-added    = {2010-01-21 16:24:33 +0100},
date-modified = {2010-05-10 17:49:42 +0200},
keywords      = {evolution / versions; architecture; relations / connectors; components / CBSE},
}

@InProceedings{Abo09,
author        = {Nour Alhouda Aboud and Gabriela Ar\’evalo and Jean-R\’emy Falleri and Marianne Huchard and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Automated architectural component classification using concept lattices},
booktitle     = {Proceedings of the Joint {W}orking {IEEE/IFIP} {C}onference on {S}oftware {A}rchitecture 2009 \& {E}uropean {C}onference on {S}oftware {A}rchitecture 2009 ({WICSA\,/\,ECSA} 2009)},
year          = {2009},
pages         = {21–30},
address       = {Cambridge, {UK}},
month         = {September},
publisher     = {IEEE},
abstract      = {While the use of components grows in software development, building effective component  directories becomes a critical issue as architects need help to search components in repositories. During the life-cycle of component-based software, several tasks, such as construction from scratch or component substitution, would benefit from an efficient component classification and retrieval.  In this paper, we analyze how we can build a classification of components using their technical description (i.e. functions and interfaces) in order to help automatic as well as manual composition and substitution.  The approach is implemented in the CoCoLa prototype, which is dedicated to Fractal component directory management and validated through a case study.},
annote        = {AR: 23/112 submissions = 20,5\% ou 23/84 research papers = 27,4\% IEEE Catalog number CFP09WIC-USB ISBN 978-1-4244-5295-8},
date-modified = {2011-03-01 12:02:30 +0100},
keywords      = {directories / registeries, services / SOA, components / CBSE, architecture},
}

@InProceedings{Ham09,
author        = {Fady Hamoui and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Specification of a component-based domotic system to support user-defined scenarios},
booktitle     = {Proceedings of 21st International Conference on {S}oftware {E}ngineering and {K}nowledge {E}ngineering (SEKE 2009)},
year          = {2009},
pages         = {597–602},
address       = {Boston, USA},
month         = {July},
abstract      = {Many studies have been conducted in order to develop systems that respond to user requirements in domotic environments. These systems generally offer predefined scenarios corresponding to general requirements and enable users to select those he/she wants to trigger. We claim that such behaviors cannot be hardwired: user scenario definition should be supported. In this article, we propose the specification of a component-based domotic system that tackles this issue. This system automatically detects available devices in the environment and offers users high level G\textsc{ui}s to define their own scenarios from functionalities of the detected devices. These scenarios are then automatically implemented by the system: components are generated from device descriptors, assembled as prescribed by the scenarios and the resulting software is run by a rule execution engine.},
annote        = {AR 38\%},
date-modified = {2011-03-01 11:57:41 +0100},
keywords      = {agents, components / CBSE, services / SOA, embedded / pervasive},
}

@InProceedings{Are09b,
author        = {Gabriela Ar{\’e}valo and Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Construction dynamique d’annuaires de composants par classification de services utilisant l’analyse formelle de concepts},
booktitle     = {Actes des journ{\’e}es du GDR CNRS G{\’e}nie de la Programmation et du Logiciel},
year          = {2009},
editor        = {Yves Ledru and Marc Pantel},
pages         = {130-131},
address       = {Toulouse, France},
month         = {Janvier},
organization  = {ENSEEIHT-IRIT},
annote        = {In french. R{\’e}sum{\’e} en fran{\c c}ais du papier Are09a},
date-modified = {2010-03-03 17:09:54 +0100},
keywords      = {directories / registeries, services / SOA, components / CBSE},
}

@InProceedings{Zha09,
author        = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier},
title         = {Connector-driven process for the gradual evolution of component-based software},
booktitle     = {Proceedings of the 20th {A}ustralian {S}oftware {E}ngineering {C}onference ({ASWEC} 2009)},
year          = {2009},
pages         = {246–255},
address       = {Gold Coast, Australia},
month         = {April},
publisher     = {IEEE},
abstract      = {Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have to be supported.  Yet, dynamic changes are error-prone as it is difficult to guarantee that the new system will still work and that all functionalities and quality are preserved. Few existing work on ADLs fully support component addition, removal and substitution processes from their description to their test and validation. The main idea of this work is to have software architecture evolution dynamically driven by connectors (the software glue between components). It proposes a connector model which embeds the necessary intelligence to do so. These connectors autonomically handle the reconfiguration of connections in architectures in order to support the addition, removal and substitution of components in a gradual, transparent and testable manner. Hence, the system has the choice to commit the evolution after a successful test phase of the software or rollback to the previous state.},
annote        = {AR = 36/79 = 45,6\%},
date-modified = {2011-03-01 12:09:57 +0100},
keywords      = {evolution / versions; architecture; relations / connectors; components / CBSE},
}

@Article{Are09a,
author        = {Gabriela Ar{\’e}valo and Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Formal concept analysis-based service classification to dynamically build efficient software component directories},
journal       = {International Journal of General Systems},
year          = {2009},
volume        = {38},
number        = {4},
pages         = {427–453},
month         = {May},
abstract      = {Component directories index components by the services they offer thus enabling to rapidly access them. Component directories are also the
cornerstone of dynamic component assembly evolution when components fail or when new functionalities have to be added to meet new requirements. This work targets semi-automatic evolution processes. It states the theoretical basis of an on-the-fly building of component directories using Formal Concept Analysis, based on the syntactic description of the components’ required and provided services. In these directories, components are more intelligibly organized and new abstract and highly reusable component external descriptions are suggested. But over all, this organization speeds up both automatic component assembly and automatic component substitution.  },
annote        = {ISSN 0308-1079 Impact factor (2007) = 0.551},
date-modified = {2010-03-03 17:09:54 +0100},
editor        = {Jean Diatta and Peter Eklund and Michel Liqui{\`e}re},
keywords      = {directories / registeries; services / SOA, components / CBSE},
publisher     = {Taylor and Francis},
}

@InProceedings{Don08,
author        = {Christophe Dony and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {Specification of an exception handling system for a replicated agent environment},
booktitle     = {Proceedings of the 4th International {W}orkshop on {E}xception {H}andling ({WEH}.08) at 16th {ACM} {SIGSOFT} International Symposium on the {F}oundations of {S}oftware {E}ngineering},
year          = {2008},
pages         = {24–31},
address       = {Atlanta, {USA}},
month         = {November},
publisher     = {ACM},
abstract      = {Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a program execution cannot continue. Replication handles system failures. Exceptions handling and replication do not apply in the same way to the same situations and thus are two complementary mechanisms to increase software reliability. The paper proposes a specification of an execution history oriented exception handling system for an agent language and middleware providing replication. This paper proposes an original signaling algorithm adapted to replicated agents and a rationale of how exception handling and replication mechanisms can combine to increase programmers’ capability to achieve reliable agent-based applications.},
annote        = {ISBN: 978-1-60558-229-0},
date-modified = {2011-03-01 12:21:27 +0100},
keywords      = {exception, agents},
}

@InProceedings{Zha08,
author    = {Huaxi (Yulin) Zhang and Christelle Urtado and Sylvain Vauttier},
title     = {Connector-driven gradual and dynamic software assembly evolution},
booktitle = {Proceedings of the {I}nternational {C}onference on {I}nnovation in {S}oftware {E}ngineering ({ISE}08)},
year      = {2008},
editor    = {Masoud Mohammadian},
pages     = {345–350},
address   = {Vienna, Austria},
month     = {December},
publisher = {IEEE},
abstract  = {Complex and long-lived software need to be upgraded by adding, deleting and replacing components at runtime. Replacing a software component with a newer versions is the basic evolution operation that has to be supported. It is error-prone as it is difficult to guarantee the preservation of functionalities and quality. Few existing work on ADLs fully support a component replacement process from its description to its test and validation. The main idea of this work is to have software architecture evolution dynamically driven by connectors (the software glue between components). It proposes a connector model which embeds the necessary intelligence. These connectors autonomically handle the reconfiguration of connections in architectures in order to support the versioning of components in a gradual, transparent and testable manner. Hence, the system has the choice to commit the evolution after a successful test phase of the software or rollback to the previous state.},
keywords  = {evolution / versions, architecture, relations / connectors},
}

@InProceedings{Azm08,
author        = {Zeina Azmeh and Marianne Huchard and Chouki Tibermacine and Christelle Urtado and Sylvain Vauttier},
title         = {{WSPAB}: A Tool for automatic classification \& selection of web services using Formal Concept Analysis},
booktitle     = {Proceedings of the 6th {IEEE} European Conference on Web Services ({ECOWS} 2008)},
year          = {2008},
pages         = {31–40},
address       = {Dublin, Ireland},
month         = {November},
publisher     = {IEEE},
abstract      = {The increased popularity of web services is accompanied with an increase in both provider and service number.  This fairly large service number causes a deficiency in the selection of the most pertinent service, and makes it an effortful and time-consuming task.  We propose the WSPAB (Web Service Personal Address Book) tool that aims at defining a complete solution for facilitating the task of finding the most pertinent web service. This includes two sub tasks, discovering and selecting.  In this paper, we present the first part of the tool concerning the automation of the selection process, taking into consideration the quality of service (QoS) and user preferences. The WSPAB accomplishes the automatic selection of a service by filtering web services according to certain aspects of QoS and certain user requirements; then classifying these services using the formal concept analysis (FCA) approach, enabling users to easily select their needed service, identify its potential substitutes and keep trace of them either for future use, or to be shared with others.},
annote        = {ISBN: 978-0-7695-3399-5},
date-modified = {2011-03-01 12:22:12 +0100},
keywords      = {directories / registeries, services / SOA},
}

@Article{Des08,
author    = {Nicolas Desnos and Marianne Huchard and Guy Tremblay and Christelle Urtado and Sylvain Vauttier},
title     = {Search-based many-to-one component substitution},
journal   = {Journal of Software Maintenance and Evolution: Research and Practice, Special issue on Search-Based Software Engineering},
year      = {2008},
volume    = {20},
number    = {5},
pages     = {321–344},
month     = {September\,/\,October},
abstract  = {In this paper, we present a search-based automatic many-to-one component substitution mechanism. When a component is removed from an assembly to overcome component obsolescence, failure or unavailability,  most existing systems perform component-to- component (one-to-one) substitution. Thus, they only handle situations where a specific candidate component is available. As this is not the most frequent case, it would be more flexible to allow a single component to be replaced by a whole component assembly (many-to-one component substitution). We propose such an automatic substitution mechanism, which does not require the possible changes to be anticipated and which preserves the quality of the assembly. This mechanism requires components to be enhanced with ports, which provide synthetic information on components’ assembling capabilities. Such port-enhanced components then constitute input data for a search- based mechanism that looks for possible assemblies using various heuristics to tame complexity.  },
annote    = {SCI impact factor (2007) = 0.765 ISSN 532-060X},
editor    = {M. Di Penta and G. Antoniol and M. Harman},
keywords  = {components / CBSE; evolution / versions},
publisher = {Wiley},
}

@InCollection{Are08a,
author        = {Gabriela Ar\’evalo and Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Construction dynamique d’annuaires de composants par classification de services},
booktitle     = {Actes de la 2\`eme Conf\’erence francophone sur les Architectures Logicielles 2008 (CAL2008)},
publisher     = {Editions C\’epadu\`es},
year          = {2008},
editor        = {Y. A{\¨i}t-Ameur},
series        = {Revue des Nouvelles Technologies de l’Information (RNTI-L-2), ISSN 1764-1667},
pages         = {123–138},
address       = {Montr\’eal, Canada},
month         = {March},
note          = {Cet article a \’et\’e accept\’e conjointement \`a LMO2008.},
abstract      = { Les annuaires de composants permettent d’indexer et de localiser  rapidement les composants selon les services qu’ils offrent. Ils donnent ainsi aux assemblages en cours d’ex\’ecution la possibilit{\’e} d'{\’e}voluer dynamiquement par remplacement de composants, en cas de d{\’e}faillance, ou par int{\’e}gration de nouvelles fonctionnalit{\’e}s, en r{\’e}ponse {\`a} de nouveaux besoins. Dans ce travail, nous visons des m{\’e}thodes semi-automatiques d'{\’e}volution. Nous posons les bases th{\’e}oriques d’une utilisation de l’Analyse Formelle de Concepts pour une construction incr{\’e}mentale des annuaires de composants bas{\’e}e sur les d{\’e}finitions syntaxiques des services requis et fournis. Dans ces annuaires, les composants sont organis{\’e}s de mani\`ere plus intelligible et les descriptions externes de composants plus abstraits et plus r{\’e}utilisables sont sugg{\’e}r{\’e}es. Mais surtout, cette organisation rend plus efficaces les t\^aches automatis{\’e}es d’assemblage et de remplacement.

Component directories index components by the services they offer thus enabling to rapidly access them. Component directories are also the cornerstone of dynamic component assembly evolution when components fail or when new functionalities have to be added to meet new requirements. This work targets semi-automatic evolution processes. It states the theoretical basis of an on-the-fly building of component directories using Formal Concept Analysis, based on the syntactic description of the components’ required and provided services. In these directories, components are more intelligibly organized and new abstract and highly reusable component external descriptions are suggested. But over all, this organization speeds up both automatic component assembly and automatic component substitution.},
annote        = {Papier accept\’e aux deux conf\’erences (conf\’erences avec une session jointe) Accept\’e {\`a} CAL 2008 – AR 15/28 = 53,6\%},
date-modified = {2011-03-01 12:28:13 +0100},
keywords      = {directories / registeries; components / CBSE; services / SOA},
}

@InProceedings{Are08b,
author        = {Gabriela Ar{\’e}valo and Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Construction dynamique d’annuaires de composants par classification de services},
booktitle     = {Actes de la 14{\`e}me conf{\’e}rence francophone sur les Langages et Mod{\`e}les {\`a} Objets 2008 (LMO 2008)},
year          = {2008},
editor        = {Blay-Fornarino, Mireille and Gu{\’e}heneuc, Yann-Ga{\¨e}l and Sahraoui, Houari},
series        = {Revue des Nouvelles Technologies de l’Information (RNTI-L-1), ISSN 1764-1667},
pages         = {39},
address       = {Montr{\’e}al, Canada},
month         = {Mars},
publisher     = {Editions C{\’e}padu{\`e}s},
note          = {Cet article a {\’e}t{\’e} accept{\’e} conjointement {\`a} CAL2008 dans les actes de laquelle figure le texte complet.},
abstract      = {Les annuaires de composants permettent d’indexer et de localiser rapidement les composants selon les services qu’ils offrent. Ils donnent ainsi aux assemblages en cours d’ex{\’e}cution la possibilit{\’e} d'{\’e}voluer dynamiquement par remplacement de composants, en cas de d{\’e}faillance, ou par int{\’e}gration de nouvelles fonctionnalit{\’e}s, en r{\’e}ponse {\`a} de nouveaux besoins. Dans ce travail, nous visons des m{\’e}thodes semi-automatiques d'{\’e}volution. Nous posons les bases th{\’e}oriques d’une utilisation de l’Analyse Formelle de Concepts pour une construction incr{\’e}mentale des annuaires de composants bas{\’e}e sur les d{\’e}finitions syntaxiques des services requis et fournis. Dans ces annuaires, les composants sont organis{\’e}s de mani\`ere plus intelligible et les descriptions externes de composants plus abstraits et plus r{\’e}utilisables sont sugg{\’e}r{\’e}es. Mais surtout, cette organisation rend plus efficaces les t{\^a}ches automatis{\’e}es d’assemblage et de remplacement.

Component directories index components by the services they offer thus enabling to rapidly access them. Component directories are also the cornerstone of dynamic component assembly evolution when components fail or when new functionalities have to be added to meet new requirements. This work targets semi-automatic evolution processes. It states the theoretical basis of an on-the-fly building of component directories using Formal Concept Analysis, based on the syntactic description of the components’ required and provided services. In these directories, components are more intelligibly organized and new abstract and highly reusable component external descriptions are suggested. But over all, this organization speeds up both automatic component assembly and automatic component substitution.},
annote        = {Papier accept{\’e} aux deux conf{\’e}rences (session jointe) Accept{\’e} {\`a} LMO 2008 – AR 15/37 = 40,5\%},
date-modified = {2011-03-01 14:55:52 +0100},
keywords      = {directories / registeries; services / SOA; components / CBSE},
}

@InCollection{Are07,
author        = {Gabriela Ar{\’e}valo and Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier},
title         = {Precalculating component interface compatibility using {FCA}},
booktitle     = {Proceedings of the 5th international conference on {C}oncept {L}attices and their {A}pplications (CLA 2007)},
publisher     = {{CEUR} Workshop Proceedings Vol. 331, ISSN 1613-0073},
year          = {2007},
editor        = {Jean Diatta and Peter Eklund and Michel Liqui{\`e}re},
pages         = {241–252},
address       = {Montpellier, France},
month         = {October},
abstract      = {In component-based software engineering, software systems are built by assembling prefabricated reusable components. The compatibility between  the assembled components is crucial. It is determined by the comparison of their exposed interfaces: required interfaces (describing the services the component needs) and provided interfaces (describing the services the other component offers) must match. Given a component, finding a compatible component in a component repository is not trivial. The idea of this paper is that organizing component directories with a yellow-page-like structure makes the search for suitable components more efficient. We propose a solution based on Formal Concept Analysis to precalculate a concept lattice to organize our components. It proves to be an efficient solution to both represent the component compatibility information and provide a browsable component organization to support the component search mechanism.},
annote        = {AR 24/48 = 50\%},
bdsk-file-1   = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QUi4uLy4uLy4uLy4uLy4uLy4uL1ZvbHVtZXMvd3d3LXVzZXJzL3JlY2gvdGVzdC91cnRhZG8vcHVibGljX2h0bWwvUGFwZXJzL0FMTTEzYS5iaWLSFwsYGVdOUy5kYXRhTxEBmAAAAAABmAACAAAJd3d3LXVzZXJzAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////CkFMTTEzYS5iaWIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAD/////AAASAWN1AAAAAAAAAAAAAAAAAAZQYXBlcnMAAgBCLzpWb2x1bWVzOnd3dy11c2VyczpyZWNoOnRlc3Q6dXJ0YWRvOnB1YmxpY19odG1sOlBhcGVyczpBTE0xM2EuYmliAA4AFgAKAEEATABNADEAMwBhAC4AYgBpAGIADwAUAAkAdwB3AHcALQB1AHMAZQByAHMAEgAvL3JlY2gvdGVzdC91cnRhZG8vcHVibGljX2h0bWwvUGFwZXJzL0FMTTEzYS5iaWIAABMAEi9Wb2x1bWVzL3d3dy11c2VycwAJAC4ALmNpZnMAAAEAAABzbWI6Ly91cnRhZG9AMTQ2LjE5LjEuOC93d3ctdXNlcnMA//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4A4wDoAPACjAKOApMCngKnArUCuQLAAskCzgLbAt4C8ALzAvgAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC+g==},
bdsk-url-1    = {http://ceur-ws.org/Vol-331/},
date-modified = {2011-03-01 12:23:05 +0100},
keywords      = {directories / registeries; components / CBSE},
url           = {http://ceur-ws.org/Vol-331/},
}

@InProceedings{Des07,
author        = {Nicolas Desnos and Marianne Huchard and Christelle Urtado and Sylvain Vauttier and Guy Tremblay},
title         = {Automated and unanticipated flexible component substitution},
booktitle     = {Proceedings of the 10th {ACM SIGSOFT} Symposium on Component-Based Software Engineering ({CBSE} 2007)},
year          = {2007},
editor        = {Schmidt, H. W. and others},
volume        = {4608},
series        = {LNCS},
pages         = {33–48},
address       = {Medford, USA},
month         = {July},
publisher     = {Springer},
abstract      = {In this paper, we present an automatic and flexible approach for software component substitution.When a component is removed from an  assembly, most existing approaches perform component-to-component substitution, relying on the fact that such a candidate component is available, which is hardly to happen because the constraints on its interfaces are too strong. When such a component does not exist, it would be more flexible to allow a single component to be replaced by a whole component assembly. We propose such an automatic substitution mechanism which does not need the changes to be anticipated and preserves the quality of the assembly.},
annote        = {AR 16/86=18,6\% (long papers) or 19/86=22\% (all papers)},
date-modified = {2011-03-01 12:23:48 +0100},
keywords      = {architecture, components / CBSE, evolution / versions},
}

@InProceedings{Des06b,
author    = {Nicolas Desnos and Sylvain Vauttier and Christelle Urtado and Marianne Huchard},
title     = {Automating the building of software component architectures},
booktitle = {Proceedings of the 3$^{rd}$ European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications},
year      = {2006},
editor    = {Gruhn, Volker and Oquendo, Flavio},
volume    = {4344},
series    = {LNCS},
pages     = {228–235},
address   = {Nantes, France},
month     = {September},
publisher = {Springer},
abstract  = {Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either to assist architects at design time or to manage the self-assembly of components at runtime. This paper  proposes an automatic architecture building process that uses ports, and more precisely composite ports, to manage the connection of  components. Our solution extends the Fractal component model. It has  been implemented and experiments have been run to verify its good time performance, thanks to several optimization heuristics and strategies. },
annote    = {AR 18/53=33,96\%},
keywords  = {architecture, components / CBSE},
}

@InCollection{Don06,
author    = {Christophe Dony and Christelle Urtado and Sylvain Vauttier},
title     = {Exception handling and asynchronous active objects: issues and proposal},
booktitle = {Advanced topics in exception handling techniques},
publisher = {Springer},
year      = {2006},
editor    = {C. Dony and J.L. Knudsen and A.B. Romanovsky and A. Tripathi},
volume    = {4119},
series    = {Lecture Notes in Computer Science},
chapter   = {5},
pages     = {81–100},
abstract  = {Asynchronous Active Objects (AAOs), primarily exemplified by actors, nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used because they fit well the dynamic and asynchronous nature of interactions in many distributed  systems. They raise various new issues regarding exception handling for  which few operational solutions exist. More precisely, a need exists for a generic, simple and expressive, programmer level, exception handling system that appropriately handles the following main exception handling issues or requirements in the context of AAOs: encapsulation, object autonomy, coordination of concurrent collaborative entities, « caller contextualization », asynchronous signaling and handler execution, resolution of concurrent exceptions, exception criticality and object  reactivity. This paper presents the specification of an evolution of the SaGE exception handling system, which provides solutions to those issues in the context of systems developed with active objects usingone way asynchronous communications and interacting via the request/response protocol. Such a context, in which synchronizations constraints are, when needed, handled at the application level, allows for a very generic  view of what could be done regarding exception handling in all systems  that use active objects.The SaGE solution is original and provides a good compromise between expressive-power and simplicity.},
keywords  = {exception, components / CBSE, object, agents},
}

@Proceedings{Boi06,
title         = {Actes de la deuxi{\`e}me Journ{\’e}e Multi-Agents et Composants ({JMAC} 2006)},
year          = {2006},
editor        = {O. Boissier and N. Bouraqadi and J-C. Royer and D. Seriai and C. Urtado and S. Vauttier and L. Vercouter},
address       = {N{\^\i}mes, France},
month         = {March},
annote        = {in french},
bdsk-url-1    = {http://csl.ensm-douai.fr/MAAC/uploads/actesJMAC2006.pdf},
booktitle     = {Actes de la deuxi{\`e}me Journ{\’e}e Multi-Agents et Composants ({JMAC}2006)},
date-modified = {2010-09-08 17:41:14 +0200},
keywords      = {agents, components / CBSE},
url           = {http://csl.ensm-douai.fr/MAAC/uploads/actesJMAC2006.pdf},
}

@InProceedings{Des06a,
author        = {Nicolas Desnos and Christelle Urtado and Sylvain Vauttier and Marianne Huchard},
title         = {Assistance {\`a} l’architecte pour la construction d’architectures {\`a} base de composants},
booktitle     = {Actes de la 12{\`e}me conf{\’e}rence francophone sur les Langages et Mod{\`e}les {\`a} Objets (LMO 2006)},
year          = {2006},
editor        = {Roger Rousseau and Christelle Urtado and Sylvain Vauttier},
pages         = {37–52},
address       = {N{\^\i}mes, France},
month         = {March},
publisher     = {Herm{\`e}s},
abstract      = {Dans un processus de d{\’e}veloppement {\`a} base de composants, la s{\’e}lection et l’assemblage de composants logiciels incombent {\`a} l’architecte. De nombreux travaux se focalisent sur la t{\^a}che, complexe, de v{\’e}rification de la validit{\’e} d’un assemblage existant. Ce papier pr{\’e}sente un syst{\`e}me, destin{\’e} {\`a} l’architecte, qui offre trois niveaux d’assistance imbriqu{\’e}s facilitant la construction d’architectures valides. Il s’appuie sur une information d{\’e}crivant les collaborations potentielles entre composants, plus riche que les seules interfaces fournies et requises et plus simple et synth{\’e}tique que les protocoles. Nous proposons d’enrichir la description des composants de ports, primitifs et composites, qui fournissent un niveau d’information interm{\’e}diaire {\`a} partir duquel nous pouvons v{\’e}rifier une propri{\’e}t{\’e} des architectures, la quasi-validit{\’e}, qui est une condition n{\’e}cessaire {\`a} leur validit{\’e}. Nous appuyant sur ces notions, nous fournissons {\`a} l’architecte une repr{\’e}sentation abstraite des collaborations potentielles, un algorithme d’aide semi-automatis{\’e} {\`a} la construction d’architectures et un algorithme enti{\`e}rement automatique.

During a component-based development process, the architect selects and assembles software components. Many research works focus on the complex task of verifying the validity of an existing assembly. This paper presents a computer-aided system that offers the architect three assistance levels to make the building of valid architectures easier. It is based on information about potential collaborations between components that are both richer than the usual provided and required interfaces and simpler and more synthetic than full protocols. We propose to enrich the description of components with primitive and composite ports that provide an intermediary information level that we then use to verify a quasi-validity property on architectures, which proves to be a necessary condition for their validity. On this basis, we provide the architect with an abstract representation of potential collaborations, a semi-automatic algorithm to support architecture construction and a fully automatic one.},
annote        = {in french AR 13/35 = 37,14\%},
date-modified = {2011-03-01 14:49:02 +0100},
keywords      = {components / CBSE, architecture},
}

@Proceedings{Rou06,
title         = {Actes de la 12{\`eme} conf{\’e}rence francophone sur les Langages et Mod{\`e}les {\`a} Objets (LMO 2006)},
year          = {2006},
editor        = {Roger Rousseau and Christelle Urtado and Sylvain Vauttier},
publisher     = {Herm{\`e}s},
month         = {March},
annote        = {in french},
date-modified = {2011-03-01 14:50:22 +0100},
keywords      = {object, components / CBSE},
pages         = {230},
}

@InCollection{Cam04,
author    = {Aur{\’e}lien Camp{\’e}as and Christophe Dony and Christelle Urtado and Sylvain Vauttier},
title     = {Distributed exception handling: ideas, lessons and issues with recent exception handling systems},
booktitle = {RISE’04 international workshop on Rapid Integration of Software Engineering Techniques, Revised Selected Papers, November 2004},
publisher = {Springer},
year      = {2005},
editor    = {Nicolas Guelfi},
number    = {3475},
series    = {Lecture Notes in Computer Science},
pages     = {82–92},
address   = {Luxembourg-Kirchberg, Luxembourg},
abstract  = {Exception handling is an important feature of the tool-set that
enables the building of fault-tolerant concurrent and distributed
programs. While transactional distributed systems have been studied for
a long time, distributed exception handling techniques are only now
evolving towards maturity, especially within asynchronous multi agents
or component based systems. In this paper, we review two recent
proposals for distributed exceptions handling systems (DEHS), namely
SaGE and Guardian, in the light of what the Erlang programming language
brings to the table : native constructs for concurrency, distributedness
and exception handling across processes. We expand on the merits and
possible drawbacks of these systems. We advocate the need to introduce
the notion of resumption, an often downplayed feature of EHSs, to modern
day DEHS, in order to address the problem of multi agent systems facing
the real world.},
keywords  = {exception},
}

@Proceedings{Boi04,
title      = {Actes de la premi{\`e}re Journ{\’e}e Multi-Agents et Composants ({JMAC} 2004)},
year       = {2004},
editor     = {O. Boissier and N. Bouraqadi and J-C. Royer and D. Seriai and C. Urtado and S. Vauttier and L. Vercouter},
address    = {Paris, France},
month      = {November},
annote     = {in french},
bdsk-url-1 = {http://csl.ensm-douai.fr/MAAC/uploads/3/JMAC04_Actes.pdf},
keywords   = {agents, components / CBSE},
url        = {http://csl.ensm-douai.fr/MAAC/uploads/3/JMAC04_Actes.pdf},
}

@InCollection{Sou04b,
author    = {Fr{\’e}d{\’e}ric Souchon and Sylvain Vauttier and Christelle Urtado and Christophe Dony},
title     = {Fiabilit{\’e} des applications multi-agents : le syst{\`e}me de gestion d’exceptions Sa\textsc{GE}},
booktitle = {Syst{\`e}mes multi-agents d{\’e}fis scientifiques et nouveaux usages — Actes des Journ{\’e}es Francophones sur les Syst{\`e}mes Multi-Agents 2004},
publisher = {Herm{\`e}s},
year      = {2004},
editor    = {Olvier Boissier and Zahia Guessoum},
pages     = {121–134},
address   = {Paris, France},
month     = {November},
annote    = {in french AR: 17,94\%},
keywords  = {exception, agents},
}

@InCollection{Sou04a,
author    = {Fr{\’e}d{\’e}ric Souchon and Christophe Dony and Christelle Urtado and Sylvain Vauttier},
title     = {Improving exception handling in multi-agent systems.},
booktitle = {Software engineering for multi-agent systems {II}, Research issues and practical applications},
publisher = {Springer},
year      = {2004},
editor    = {Carlos Jos{\’e} Pereira de Lucena and Alessandro F. Garcia and Alexander B. Romanovsky and Jaelson Castro and Paulo S. C. Alencar},
volume    = {2940},
series    = {Lecture Notes in Computer Science},
pages     = {167–188},
month     = {February},
abstract  = {New software architectures based on multi-agents or software
components allow the integration of separately developed software pieces
that interact through various communication schemes. In such a context,
reliability raises new important issues. This paper aims at increasing
reliability in multi-agent systems (MASs) and, therefore, focuses on the
study of an appropriate exception handling system (EHS). The issues
specific to exception handling in MASs — preservation of the agent
paradigm and support of cooperative concurrency — are presented and
discussed. This paper analyses existing EHSs according to these issues
and describes our proposition, the Sage system, which integrates various
solutions from existing EHSs and adapts them to the agent paradigm. Sage
is an exception handling system dedicated to MASs that addresses the
stressed issues by providing means to coordinate the collective
activities of agents, to embbed contextualized handlers in agents and to
concert exceptions. It has been implemented and integrated in the MadKit
MAS. It has been experimented with a classical travel agency case
study.},
annote    = {extended selected version of [Sou03b]},
keywords  = {agents, exception},
}

@InCollection{Vau03,
author    = {Sylvain Vauttier and Christelle Urtado and Eric Mendizabal},
title     = {La relation d’association dans les approches dirig{\’e}es par les mod{\`e}les : besoins et usages pratiques.},
booktitle = {Actes du colloque ALCAA 2003 (Agents logiciels, coop{\’e}ration, apprentissage et activit{\’e} humaine)},
year      = {2003},
pages     = {151–163},
address   = {Bayonne, France},
month     = {September},
keywords  = {model, relations / connectors, components / CBSE},
}

@InCollection{Sou03b,
author    = {Fr{\’e}d{\’e}ric Souchon and Christelle Urtado and Sylvain Vauttier and Christophe Dony},
title     = {Exception handling in component-based systems: a first study.},
booktitle = {Proceedings of the Exception Handling in Object-Oriented Systems workshop at ECOOP 2003},
year      = {2003},
editor    = {A. Romanovsky and C. Dony and JL. Knudsen and A. Tripathi},
pages     = {84–91},
address   = {Darmstadt, Germany},
month     = {July},
annote    = {also available as Technical Report TR 03-028, Department of computer science, University of Minnesota, Minneapolis},
keywords  = {exception, components / CBSE},
}

@InCollection{Sou03a,
author    = {Fr{\’e}d{\’e}ric Souchon and Christophe Dony and Christelle Urtado and Sylvain Vauttier},
title     = {A proposition for exception handling in multi-agent systems.},
booktitle = {Proceedings of the 2$^{nd}$ international workshop on {S}oftware {E}ngineering for {L}arge-{S}cale {M}ulti-{A}gent {S}ystems ({SELMAS} 2003)},
year      = {2003},
pages     = {136–143},
address   = {Portland, Oregon, USA},
month     = {May},
annote    = {AR 19/26 = 73\%},
keywords  = {exception, agents},
}

@TechReport{Men03,
author      = {Eric Mendizabal and Sylvain Vauttier and Christelle Urtado},
title       = {Un autre mod{\`e}le de relation d’association pour am{\’e}liorer la r{\’e}utilisation de composants de mod{\`e}les {UML}.},
institution = {LGI2P},
year        = {2003},
number      = {RR03/G1/014},
month       = {November},
annote      = {in french},
keywords    = {model, relations / connectors, components / CBSE},
}

@InProceedings{Vau00,
author    = {Sylvain Vauttier and Christelle Urtado},
title     = {Improving statechart composition and reuse in {UML}.},
booktitle = {Proceedings of the N{\^\i}mesTIC 2000 Conference},
year      = {2000},
pages     = {287–296},
address   = {N{\^\i}mes, France},
month     = {September},
keywords  = {model, components / CBSE},
}