Dynamic reconfiguration of distributed applications
Dynamic reconfiguration of distributed applications
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering
Power management techniques for mobile communication
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
An energy consumption model for performance analysis of routing protocols for mobile ad hoc networks
Mobile Networks and Applications
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
A Framework and Ontology for Dynamic Web Services Selection
IEEE Internet Computing
Performance by unified model analysis (PUMA)
Proceedings of the 5th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations
Proceedings of the 5th international workshop on Software and performance
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Software performance model-driven architecture
Proceedings of the 2006 ACM symposium on Applied computing
Model transformation in software performance engineering
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Model-Driven Assessment of QoS-Aware Self-Adaptation
Software Engineering for Self-Adaptive Systems
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Model interoperability for performance engineering: survey of milestones and evolution
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Hi-index | 0.00 |
Dynamic reconfiguration techniques appear promising to build component-based (C-B) systems for application domains that have strong adaptability requirements, like the mobile and the service-oriented computing domains. However, introducing dynamic reconfiguration features into a C-B application makes even more challenging the design and verification of functional and non functional requirements. Our goal is to support the model-based analysis of the effectiveness of reconfigurable C-B applications, with a focus on the assessment of the non-functional performance and reliability attributes. As a first step towards this end, we address the issue of selecting suitable analysis models for reconfigurable systems, suggesting to this end the use of joint performance and reliability (performability) models. Furthermore, we propose a model-driven approach to automatically transform a design model into an analysis model. For this purpose, we build on the existence of intermediate languages that have been proposed to facilitate this transformation and we extend one of them, to capture the core features (from a performance/reliability viewpoint) of a dynamically reconfigurable C-B system. Finally, we illustrate by a simple application example the main steps of the proposed approach.