Model-driven design of ensemble-based component systems

Ilias Gerostathopoulos*

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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.

Original languageEnglish
Title of host publicationJoint 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
Pages57-62
Number of pages6
Volume1258
Publication statusPublished - 1 Jan 2014
Externally publishedYes
EventJoint 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
Duration: 28 Sep 20143 Oct 2014

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR Workshop Proceedings
ISSN (Print)1613-0073

Conference

ConferenceJoint 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
Country/TerritorySpain
CityValencia
Period28/09/143/10/14

Keywords

  • Ensembles
  • Invariants
  • System design
  • Traceability

Cite this