Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The role of dependencies in component-based systems evolution
Proceedings of the International Workshop on Principles of Software Evolution
A conceptual foundation for component-based software deployment
Journal of Systems and Software
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Analysis of deployment dependencies in software components
Proceedings of the 2006 ACM symposium on Applied computing
A formal framework for component deployment
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The rewriting logic semantics project
Theoretical Computer Science
Dependency Management in Software Component Deployment
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of Component Substitutability
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 13th international conference on Component-Based Software Engineering
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A RT-Maude-based framework for component installation
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
Traditionally, software components are developed independently and often considered as black boxes. However, they might be dependent from each other at assembly and deployment stages and used by a third party in various environments. In a previous work (Belguidoum and Dagnat 2007), we have proposed an intra-dependency language and a predicate logic based framework for safe component deployment. In this paper, we aim to extend this work to take into account dynamic changes of concurrent and distributed systems in installation phase and overcome some predicate logic limitations. Therefore, we propose an integration of predicate logic based framework within a rewriting logic based framework. Finally, we execute it in Maude which is a high-performance implementation of rewriting logic enabling both the deployment execution and its formal analysis. We show the relevance of the Maude based deployment approach relating to the interesting features of Maude such as: genericity, concurrency, distribution and formal tools.