Model-Driven Design of Ensemble-Based Component Systems

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.

[1]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[2]  Noël Plouzeau,et al.  Adaptation in Cyber-Physical Systems : from System Goals to Architecture Configurations , 2014 .

[3]  Daniel Le Berre,et al.  The Sat4j library, release 2.2 , 2010, J. Satisf. Boolean Model. Comput..

[4]  Ilias Gerostathopoulos,et al.  Design of ensemble-based component systems by invariant refinement , 2013, CBSE '13.

[5]  Ilias Gerostathopoulos,et al.  DEECo: an ecosystem for cyber-physical systems , 2014, ICSE Companion.

[6]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[7]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[8]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

[9]  Brice Morin.  Models aT RunTiMe To suppoRT dynaMic adapTaTion , 2022 .

[10]  Marco Pistore,et al.  The Tropos Methodology , 2004 .

[11]  Ilias Gerostathopoulos,et al.  DEECO: an ensemble-based component system , 2013, CBSE '13.

[12]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[13]  Jeff Magee,et al.  A Rigorous Architectural Approach to Adaptive Software Engineering , 2009, Journal of Computer Science and Technology.

[14]  Ilias Gerostathopoulos,et al.  Position paper: towards a requirements-driven design of ensemble-based component systems , 2013, HotTopiCS '13.

[15]  Sooyong Park,et al.  Building Dynamic Software Product Lines , 2012, Computer.

[16]  Martin Wirsing,et al.  Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.

[17]  Nelly Bencomo,et al.  Requirements reflection: requirements as runtime entities , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.