The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Handbook of logic in computer science (vol. 2)
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
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
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
The Vision of Autonomic Computing
Computer
Runtime Support for Type-Safe Dynamic Java Classes
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Separation of concerns for software evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
How to design a system in which modules can be changed on the fly
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Computer
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Model-Driven Software Development
Model-Driven Software Development
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
A component-based approach to online software evolution: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
Controlled, systematic, and efficient code replacement for running java programs
Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems
Information and Software Technology
Software Configuration Management for Product Derivation in Software Product Families
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Software Architecture: Foundations, Theory, and Practice
Software Architecture: Foundations, Theory, and Practice
Design for Maintenance - Use of Engineering Principles and Product Line Technology
CSMR '09 Proceedings of the 2009 European Conference on Software Maintenance and Reengineering
Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation
CSMR '09 Proceedings of the 2009 European Conference on Software Maintenance and Reengineering
A Reflective Approach for Supporting the Dynamic Evolution of Component Types
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Reflecting on self-adaptive software systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-organising sensors for wide area surveillance using the max-sum algorithm
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Making self-adaptation an engineering reality
Self-star Properties in Complex Information Systems
Designing software architectures with an aspect-oriented architecture description language
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Self-adaptability is a feature that has been proposed to deal with the increasing management and maintenance efforts required by large software systems. However this feature is not enough to deal with the longevity usually these systems exhibit. Although self-adaptive systems allow the adaptation or reorganization of the system structure, they generally do not allow introducing unforeseen changes at runtime. This issue is tackled by dynamic evolution. However, its support in distributed contexts, like self-organizing systems, is challenging: these systems have a degree of autonomy which requires asynchronous management. This paper proposes the use of asynchronous dynamic evolution, where both types and instances evolve dynamically at different rates, while preserving: (i) type-conformance of instances, and (ii) the order of type evolutions. This paper describes the semantics for supporting the asynchronous evolution of architectural types (ie. types that define a software architecture). The semantics is illustrated with PRISMA architecture specifications and is formalized by using typed graph transformations.