Skip to main content
Article thumbnail
Location of Repository

Design of Ensemble-Based Component Systems by Invariant Refinement

By Jaroslav Keznikl, Ilias Gerostathopoulos, Tomas Bures, Petr Hnetynka, Frantisek Plasil and Nicklas Hoch


The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method – Invariant Refinement Method (IRM) – for designing ensemblebased component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design

Topics: Application-based Systems, real-time and embedded systems, D.2.2 [Software Engineering, Design Tools and Techniques – miscellaneous, D.2.11 [Software Engineering, Software Architectures – patterns. Keywords Component
Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.