Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Towards Self-management in Service-Oriented Computing with Modes
Service-Oriented Computing - ICSOC 2007 Workshops
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Monarch: model-based development of software architectures
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Evaluating the impacts of dynamic reconfiguration on the QoS of running systems
Journal of Systems and Software
Metamodel based methodology for dynamic component systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Formal development and assessment of a reconfigurable on-board satellite system
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Hi-index | 0.01 |
Dynamic reconfiguration is the process of making changes to software at run-time. The motivation for this is typically to facilitate adaptive systems which change their behavior in response to changes in their operating environment or to allow systems with a requirement for continuous service to evolve uninterrupted. To enable development of reconfigurable applications, we have developed OpenRec, a framework which comprises a reflective component model plus an open and extensible reconfiguration management infrastructure. Recently we have extended OpenRec to verify whether an intended (re)configuration would result in an application's structural constraints being satisfied. Consequently OpenRec can automatically veto proposed changes that would violate configuration constraints. This functionality has been realized by integrating OpenRec with the ALLOY Analyzer tool via a service-oriented architecture. ALLOY is a formal modelling notation which can be used to specify systems and associated constraints. In this paper, we present an overview of the OpenRec framework. In addition, we describe the application of ALLOY to modelling reconfigurable component based systems and highlight some interesting experiences with integrating OpenRec and the ALLOY Analyzer.