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
A conceptual foundation for component-based software deployment
Journal of Systems and Software
xADL: Enabling Architecture-Centric Tool Integration with XML
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Automatic configuration of component-based distributed systems
Automatic configuration of component-based distributed systems
ACM SIGSOFT Software Engineering Notes
Analysis of deployment dependencies in software components
Proceedings of the 2006 ACM symposium on Applied computing
Constraint-Based deployment of distributed components in a dynamic network
ARCS'06 Proceedings of the 19th international conference on Architecture of Computing Systems
Formalization of Component Substitutability
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual Strawman to Relate Program RE to Project RE
REV '08 Proceedings of the 2008 Requirements Engineering Visualization
An approach for virtual appliance distribution for service deployment
Future Generation Computer Systems
Task-Based dependency management for the preservation of digital objects using rules
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Toward a rewriting logic framework for safe and distributed component installation
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Modeling dynamic architectures using Dy-BIP
SC'12 Proceedings of the 11th international conference on Software Composition
A RT-Maude-based framework for component installation
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |
Component-based distributed systems are hard to deploy for two main reasons: the complexity of their structure and the complexity of the deployment tasks. Current tools do not manage these complexities properly because the descriptions that they allow lack of expressiveness. The absence of proper descriptions of system and component requirements makes it impossible to ensure safe installation and deinstallation. The goal of this paper is to present a formalization of deployment dependencies. These dependencies expressed in a logical language are associated with a deployment engine that allows installation and deinstallation of components in a system to be proved.