A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A Large Scope Transformational Approach for Distributed Architecture Design
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
MANETKit: supporting the dynamic deployment and reconfiguration of ad-hoc routing protocols
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV
MANETKit: supporting the dynamic deployment and reconfiguration of ad-hoc routing protocols
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
ECSA'07 Proceedings of the First European conference on Software Architecture
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Recent research has recognised the potential of coupling ADLs with underlying runtime environments to support systematic and integrated "specification-todeployment" architectures. However, while some promising results have been obtained, much of this research has not considered the crucial issue of causally-connected dynamic reconfiguration and has considered only domain-specific areas. In this paper we discuss a specification-to-deployment architecture called Plastik that employs an extended generalpurpose ADL and is underpinned by an efficient runtime that is suited both for high-level application development and low-level systems development (e.g. embedded systems). Runtime reconfiguration is supported both at the ADL level and at the runtime level, and both programmed reconfiguration and adhoc reconfiguration are supported. The paper focuses on the mapping of ADL-level specifications to runtime instantiations and on the necessary runtime support for causally-connected dynamic reconfiguration.