Communications of the ACM
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Domain Architecture: Models and Architectures for UML Applications
Domain Architecture: Models and Architectures for UML Applications
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Enabling autonomic behavior in systems software with hot swapping
IBM Systems Journal
A system model for dynamically reconfigurable software
IBM Systems Journal
Metamodel based methodology for dynamic component systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
In this paper, a domain model of dynamic system reconfiguration is presented. The intent of this model is to provide a comprehensive conceptual framework within which to address problems and solutions related to dynamically reconfigurable systems in a systematic and consistent manner. The model identifies and categorizes the various types of change that may be required, the relationship between those types, and the key factors that need to be considered and actions to be performed when such changes take place. A rigorous formal methodology, based on the Alloy language and tools, is employed to specify precisely and formally the detailed relationships between various parts of the model.