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 reflection.

PDF

This entry was posted in Conferences. Bookmark the permalink.

Comments are closed.