Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Transactions and consistency in distributed database systems
ACM Transactions on Database Systems (TODS)
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
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
The Vision of Autonomic Computing
Computer
Program evolution and its impact on software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Speechnet: A Network of Hyperlinked Speech-Accessible Objects
WECWIS '99 Proceedings of the International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems
Supporting Adaptable Distributed Systems with FORMAware
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A generic component model for building systems software
ACM Transactions on Computer Systems (TOCS)
Reliable dynamic reconfigurations in the fractal component model
Proceedings of the 6th international workshop on Adaptive and reflective middleware: held at the ACM/IFIP/USENIX International Middleware Conference
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Managing dynamic reconfiguration in component-based systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Predictable dynamic deployment of components in embedded systems
Proceedings of the 33rd International Conference on Software Engineering
A framework for evaluating quality-driven self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP
FM'11 Proceedings of the 17th international conference on Formal methods
Synchronous control of reconfiguration in fractal component-based systems: a case study
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Combining Proof and Model-checking to Validate Reconfigurable Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-management of applications QoS for energy optimization in datacenters
Green Computing Middleware on Proceedings of the 2nd International Workshop
Using temporal logic for dynamic reconfigurations of components
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Utilizing architectural styles to enhance the adaptation support of middleware platforms
Information and Software Technology
Towards modeling reconfiguration in hierarchical component architectures
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Self-management of cloud applications and infrastructure for energy optimization
ACM SIGOPS Operating Systems Review
A declarative approach for software compositional reconfiguration
Proceedings of the 11th International Workshop on Adaptive and Reflective Middleware
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
Software engineering must cope with a more and more increasing need for evolutivity of software systems in order to make their administration easier. However, evolution and especially dynamic evolution in a system must not be done at the expense of its reliability, that is to say its ability to deliver the expected functionalities. Actually runtime modifications in a given system may lead to inconsistent states and so it can have an impact on its reliability. The aim of this paper is to guarantee reliability of dynamic reconfigurations used to make component-based systems evolve at runtime while preserving their availability. We propose a definition of consistency for configurations and reconfigurations in Fractal component architectures with a model based on integrity constraints like for example structural invariants. Reliability of reconfigurations is ensured thanks to a transactional approach which allows us both to deal with error recovery and to manage distributed and concurrent reconfigurations in Fractal applications.