@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.
},