@inproceedings{5d351a459e3746cdbec2f9f4084364aa,
title = "Model-driven design of ensemble-based component systems",
abstract = "In this research abstract we describe our approach towards the design of ensemble-based component systems. Our motivation lies in the fact that, in these systems, tracing the behavior of individual constituents to system-level goals and requirements is challenging. Our approach is based on a novel invariant-based model that achieves the desired traceability. Along with using the model in a method that allows for systematic contractual design, we employ the model at runtime to achieve dynamic adaptation on the basis of requirements reection.",
keywords = "Ensembles, Invariants, System design, Traceability",
author = "Ilias Gerostathopoulos",
year = "2014",
month = jan,
day = "1",
language = "English",
volume = "1258",
series = "CEUR Workshop Proceedings",
publisher = "CEUR Workshop Proceedings",
pages = "57--62",
booktitle = "Joint MODELS 2014 Poster Session and the ACM Student Research Competition, SRC 2014, Co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014; Valencia; Spain; 28 September 2014 through 3 October 2014",
note = "Joint MODELS 2014 Poster Session and the ACM Student Research Competition, SRC 2014, Co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014 ; Conference date: 28-09-2014 Through 03-10-2014",
}