Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
On agent-based software engineering
Artificial Intelligence
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Feedback Control Scheduling in Distributed Real-Time Systems
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)
Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)
Component-Based Development Process and Component Lifecycle
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Dealing with Complexity Using Conceptual Models Based on Tropos
Conceptual Modeling: Foundations and Applications
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
SOTA: Towards a General Model for Self-Adaptive Systems
WETICE '12 Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
WICSA-ECSA '12 Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
| Hi-index | 0.00 |
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 ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design.