@inproceedings{Morin09c,
	Abstract = {Domain-Specific Modeling Languages (DSMLs) describe the concepts of
	a particular domain and their relationships, in a meta-model. From
	a given DSML, it is possible to describe a wide range of different
	models. These models often share a common base and vary on some parts.
	Current approaches tend to distinguish the variability language from
	the DSMLs themselves, implying greater learning curve for DSMLs stakeholders
	and a significant overhead in product line engineering of DSLs. We
	propose to consider variability concepts as an independent aspect
	to be woven into the DSML to introduce variability capabilities.
	In particular we detail how variability is woven and how to perform
	product line derivation. We validate our approach through the weaving
	of variability into two very different metamodels: Ecore and SmartAdapter,
	our aspect-oriented modelling weaver, thus adding exibility in the
	weaving process itself. These results emphasize how new abilities
	of the language can be provided by this means.},
	Address = {Denver, Colorado, USA},
	Author = {Morin, Brice and Perrouin, Gilles and Lahire, Philippe and Barais, Olivier and Vanwormhoudt, Gilles and J{\'e}z{\'e}quel, Jean-Marc},
	Booktitle = {ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09)},
	Comment = {use_kermeta, cite_kermeta, en},
	Month = {Oct},
	Title = {{Weaving Variability into Domain Metamodels}},
	Url = {http://www.irisa.fr/triskell/publis/2009/Morin09c.pdf},
	X-Country = {US},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Pays = {LU},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Morin09c.pdf}}

@inproceedings{Morin09d,
	Abstract = {Since software systems need to be continuously available, their ability
	to evolve at runtime is a key issue. The emergence of models@runtime,
	combined with Aspect-Oriented Modeling techniques, is a promising
	approach to tame the complexity of adaptive systems. However, with
	no support for aspect unweaving, these approaches are not agile enough
	in an adaptive system context. In case of small modifications, the
	adapted model has to be generated by again weaving all the aspects,
	even those unchanged. This paper shows how aspects can be unwoven,
	based on a precise traceability metamodel dedicated to aspect model
	weaving. We analyze traceability models, which describe how aspects
	were woven into a base, to determine the extent to which an aspect
	has affected the woven model in order to determine how it can be
	unwoven. Aspect unweaving is finally performed by applying inverse
	operations of a sub-sequence of the weaving operations in opposite
	order.},
	Address = {Denver, Colorado, USA},
	Author = {Klein, Jacques and Kienzle, Jörg and Morin, Brice and J{\'e}z{\'e}quel, Jean-Marc},
	Booktitle = {ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09)},
	Comment = {use_kermeta, cite_kermeta, en},
	Month = {Oct},
	Title = {{Aspect Model Unweaving}},
	Url = {http://www.irisa.fr/triskell/publis/2009/Morin09d.pdf},
	X-Country = {US},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Pays = {LU,CA},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Morin09d.pdf}}

@inproceedings{Morin09e,
	Abstract = {This paper describes a demo which leverages models at designtime and
	runtime in the context of adaptive system, some details about the
	underlying approach as well as some implementation details. Our tool
	allows deploying and dynamically reconfiguring component-based applications,
	in a guided and safe way, based on the OSGi platform. It combines
	reflexive and generative programming techniques, based on models,
	to achieve this goal.},
	Address = {Denver, Colorado, USA},
	Author = {Morin, Brice and Nain, Gr{\'e}gory and Barais, Olivier and J{\'e}z{\'e}quel, Jean-Marc},
	Booktitle = {4th International Workshop on Models@Run.Time (at MODELS'09)},
	Comment = {cite_kermeta, en},
	Month = {Oct},
	Title = {{Leveraging Models From Design-time to Runtime. A Live Demo}},
	Url = {http://www.irisa.fr/triskell/publis/2009/Morin09e.pdf},
	X-Country = {US},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Morin09e.pdf}}

@article{Morin09f,
	Abstract = {An approach for specifying and executing dynamically adaptive software
	systems combines model-driven and aspect-oriented techniques to help
	engineers tame the complexity of such systems while offering a high
	degree of automation and validation.},
	Author = {Morin, Brice and Barais, Olivier and J{\'e}z{\'e}quel, Jean-Marc and Fleurey, Franck and Solberg, Arnor},
	Comment = {cite_kermeta, use_kermeta, en},
	Journal = {{IEEE} Computer},
	Month = {October},
	Pages = {46-53},
	Publisher = {IEEE Computer Society},
	Title = {Models at Runtime to Support Dynamic Adaptation},
	Url = {http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf},
	X-Country = {US},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Pays = {NO},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf}}

@inproceedings{mouelhi09,
	Abstract = {In this paper, we consider typical applications in which the business
	logic is separated from the access control logic, implemented in
	an independent component, called the Policy Decision Point (PDP).
	The execution of functions in the business logic should thus include
	calls to the PDP, which grants or denies the access to the protected
	resources/functionalities of the system, depending on the way the
	PDP has been configured. The task of testing the correctness of the
	implementation of the security policy is tedious and costly. In this
	paper, we propose a new approach to reuse and automatically adapt
	existing functional test cases for specifically testing the security
	mechanisms. It includes a two step dynamic analysis technique based
	on mutation applied to security policies (RBAC, XACML, OrBAC). The
	method is applied to Java programs and provides tools for performing
	the two steps of the dynamic analyses. Three empirical case studies
	provide fruitful results and a first proof of concepts for this approach,
	e.g. by comparing its efficiency to an error-prone manual adaptation
	task.},
	Author = {Mouelhi, Tejeddine and Le Traon, Yves and Baudry, Benoit},
	Booktitle = {ICST},
	Month = {April},
	Title = {Transforming and selecting functional test cases for security policy testing},
	Url = {http://www.irisa.fr/triskell/publis/2009/mouelhi09.pdf},
	X-Country = {US},
	X-International-Audience = {yes},
	X-Language = {EN},
	address = {Denver, CO},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/mouelhi09.pdf}}

@inproceedings{muller09,
	Abstract = {Model-driven engineering and model-based approaches have permeated
	all branches of software engineering; to the point that it seems
	that we are using models, as Moli{\`e}re's Monsieur Jourdain was
	using prose, without knowing it. At the heart of modeling, there
	is a relation that we establish to represent something by something
	else. In this paper we review various definitions of models and relations
	between them. Then, we define a canonical set of relations that can
	be used to express various kinds of representation relations and
	we propose a graphical concrete syntax to represent these relations.
	Hence, this paper is a contribution towards a theory of modeling.},
	Address = {Denver, Colorado, USA},
	Author = {Muller, Pierre-Alain and Fondement, Fr{\'e}d{\'e}ric and Baudry, Benoit},
	Booktitle = {ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09)},
	Month = {October},
	Pages = {2-16},
	Title = {Modeling Modeling},
	Url = {http://www.irisa.fr/triskell/publis/2009/muller09.pdf},
	X-Country = {US},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/muller09.pdf}}

@inproceedings{munoz09a,
	Abstract = {Back in 2001, the MIT announced aspect-orientedprogramming as a key technology in the next 10 years.Nowadays, 8 years later, AOP is not widely adopted.Several reasons can explain this distrust in front ofAOP, and one of them is the lack of robust tools foranalysis, testing and maintenance. In order to developdedicated solutions for assisting the development withAOP, and increase its adoption, we need to understandhow it is actually used. In this paper we analyze 38aspect-oriented open source projects with respect tothe impact of aspects on the projects, and to coverageof the language features. This reveals that AOP iscurrently used in a cautious way. This work is a firststep to built support and development tools dedicatedto actual practices for AOP, based on empirical usage profiles.},
	Address = {Edmonton, Alberta, Canada},
	Author = {Munoz, Freddy and Baudry, Benoit and Delamare, Romain and Le Traon, Yves},
	Booktitle = {25th IEEE International Conference on Software Maintenance (ICSM'09)},
	Month = {Sep-Oct},
	Title = {{Inquiring the usage of aspect-oriented programming: an empirical study}},
	Url = {http://www.irisa.fr/triskell/publis/2009/munoz09a.pdf},
	X-Country = {CA},
	X-Editorial-Board = {yes},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/munoz09a.pdf}}

@inproceedings{munoz09b,
	Abstract = {Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researchers have focused on the definition of model composition approaches (operators) and the tools supporting them (model composition engines). Testing model composition engines is hard. It requires the synthesis and analysis of complex data structures (models). In this context, synthesis means to assembly complex structures in a coherent way with respect to semantic constraints. In this paper we propose to automatically synthesize input data for model composition engines using a model decomposition operator. Through this operator we synthesize models in a coherent way, satisfying semantic constraints and taking into account the complex mechanics involved in the model composition. Furthermore, such operator enables a straightforward analysis of the composition result.},
	Address = {Berlin, Heidelberg},
	Author = {Munoz, Freddy and Baudry, Benoit},
	Booktitle = {SC '09: Proceedings of the 8th International Conference on Software Composition},
	Doi = {http://dx.doi.org/10.1007/978-3-642-02655-3\_10},
	Isbn = {978-3-642-02654-6},
	Location = {Zurich, Switzerland},
	Pages = {125--141},
	Publisher = {Springer-Verlag},
	Title = {A Framework for Testing Model Composition Engines},
	Url = {http://www.irisa.fr/triskell/publis/2009/munoz09b.pdf},
	X-Country = {FR},
	X-Editorial-Board = {yes},
	X-International-Audience = {no},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/munoz09b.pdf},
	Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-02655-3%5C_10}}

@techreport{munoz09c,
	Abstract = {Dynamically Adaptive Systems (DAS) are systems that modify their behavior and structure in response to changes in their surrounding environment. Critical mission systems increasingly incorporate adaptation and response to the environment; examples include disaster relief and space exploration systems. These systems can be decomposed in two parts: the adaptation policy that specifies how the system must react according to the environmental changes and the set of possible variants to reconfigure the system. A major challenge for testing these systems is the combinatorial explosions of variants and envi-ronment conditions to which the system must react. In this paper we focus on testing the adaption policy and propose a strategy for the selection of envi-ronmental variations that can reveal faults in the policy. Artificial Shaking Table Testing (ASTT) is a strategy inspired by shaking table testing (STT), a technique widely used in civil engineering to evaluate building's structural re-sistance to seismic events. ASTT makes use of artificial earthquakes that simu-late violent changes in the environmental conditions and stresses the system adaptation capability. We model the generation of artificial earthquakes as a search problem in which the goal is to optimize different types of envi-ronmental variations.},
	Address = {http://hal.inria.fr/inria-00365874/en/},
	Author = {Munoz, Freddy and Baudry, Benoit},
	Institution = {INRIA Bretagne Atlantique},
	Month = {March},
	Number = {inria-00365874},
	Title = {Artificial table testing dynamically adaptive systems},
	Type = {Research report},
	Type_Rapport = {Rapport de recherche},
	Url = {http://www.irisa.fr/triskell/publis/2009/munoz09c.pdf},
	X-Country = {FR},
	X-International-Audience = {no},
	X-Language = {EN},
	X-Proceedings = {no},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/munoz09c.pdf}}

@inproceedings{Nain09a,
	Abstract = { One of the society challenges of tomorrow is the aging population.
	Often pointed as a possible solution for this issue, house automation
	can help elderly people stay at home as long as possible, and ease
	the coordination of the domain actors. In this context, this paper
	lists the requirements of such a system, showing that today's commercial
	solutions are not flexible enough to reach the necessary functional
	richness. According to these requirements, a set of properties a
	middleware should offer in order to be deployed at a city scale is
	identified. Then this paper describes the software architecture of
	a suitable middleware built over OSGi, respecting the listed properties.
	After that, an experience report of the deployment of this middleware,
	in the laboratory of the Universit{\'e} de Rennes 1 highlights the relevance
	of the proposed solution.},
	Address = {Nancy, France},
	Author = {Nain, Gr{\'e}gory and Barais, Olivier and Fleurquin, R{\'e}gis and J{\'e}z{\'e}quel, Jean-Marc},
	Booktitle = {3{\`e}me Conf{\'e}rence Francophone sur les Architectures Logicielles (CAL'O9)},
	Comment = {fr},
	Month = mar,
	Title = {EntiMid : un middleware aux services de la maison},
	Url = {http://www.irisa.fr/triskell/publis/2009/Nain09a.pdf},
	X-Country = {FR},
	X-International-Audience = {no},
	X-Language = {FR},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Nain09a.pdf}}

@inproceedings{Perrouin09a,
	Abstract = {Ever-growing systems' complexity and novel requirements engineering
	approaches such as reuse or globalization imply that requirements
	are produced by different stakeholders and written in possibly different
	languages. In this context, checking consistency so that requirements
	specifications are amenable to formal analysis is a challenge. Current
	techniques either fail to consider the requirement set as a whole,
	missing certain inconsistency types or are unable to take heterogeneous
	(i.e. expressed in different languages) specifications into account.
	We propose to use model composition to address this problem in a
	staged approach. First, heterogeneous requirements are translated
	in model fragments instances of a common metamodel. Then, fragments
	are merged in one unique model. On such a model inconsistencies such
	as under-specifications can be incrementally detected and formal
	analysis is made possible. Our approach is fully supported by our
	model composition framework. We propose model composition as means
	to address flexibility needs in requirements integration. Threats
	to validity such as the impact of new requirements languages needs
	to be addressed in future work.},
	Address = {Amsterdam, Netherlands},
	Author = {Perrouin, Gilles and Brottier, Erwan and Baudry, Benoit and Le Traon, Yves},
	Booktitle = {Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009)},
	Comment = {en},
	Month = {june},
	Publisher = {Springer Lecture Notes in Computer Science (LNCS)},
	Title = {Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective},
	Url = {http://www.irisa.fr/triskell/publis/2009/Perrouin09a.pdf},
	X-Country = {NL},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Perrouin09a.pdf}}

@inproceedings{Sen09a,
	Abstract = {Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation pre-conditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic model generation via constraint satisfaction using our tool Cartier for model transformation testing. Due to the virtually inÞnite number of models in the input domain we compare strategies based on input domain partitioning to guide model generation. We qualify the effectiveness of these strategies by performing mutation analysis on the transformation using generated sets of models. The test sets obtained using partitioning strategies gives mutation scores of up to 87\% vs. 72\% in the case of unguided/random generation. These scores are based on analysis of 360 automatically generated test models for the representative transformation of UML class diagram models to RDBMS models.},
	Address = {Zurich,Switzerland},
	Author = {Sen, Sagar and Baudry, Benoit and Mottu, Jean-Marie},
	Booktitle = {ICMT},
	Owner = {sagarsen},
	Timestamp = {2009.05.04},
	Title = {Automatic Model Generation Strategies for Model Transformation Testing},
	Url = {http://www.irisa.fr/triskell/publis/2009/Sen09a.pdf},
	X-Country = {CH},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
	Year = {2009},
	Bdsk-Url-1 = {http://www.irisa.fr/triskell/publis/2009/Sen09a.pdf}}

@article{Sen09c,
	Abstract = {Integrated development environments such as Eclipse allow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools such as Microsoft Word present corrections for grammatical errors in sentences. Both of these existing structure editors use a set of constraints expressed in the form of a natural language grammar to restrict/correct the user (syntax-directed editing) or formal grammar (language-directed editing) to aid document completion. Taking this idea further, in this paper we present an integrated software system capable of generating recommendations for model completion of partial models built in editors for domain-specific modeling languages.We present a methodology to synthesize model editors equipped with automatic completion from a modeling language's declarative specification consisting of a meta-model with a visual syntax. This meta-model directed completion feature is powered by a first-order relational logic engine implemented in ALLOY. We incorporate automatic completion in the generative tool AToM3. We use the finite state machines modeling language as a concise running example. Our approach leverages a correct by construction philosophy that renders subsequent simulation of models considerably less error-prone.
},