Abstract
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.
Highlights
Nowadays, software are used on heterogeneous terminals and in different and complex communication infrastructures
We identify for each installation basic concepts involved in predicate logic semantic framework, its executable Maude module that inherits from the rewriting logic all its theoretical aspects
We have presented a complementary approach to the predicate logic based one (Belguidoum and Dagnat 2007) using the rewriting logic model and its Maude implementation which is a high performance logical framework
Summary
Software are used on heterogeneous terminals and in different and complex communication infrastructures. To face the evolution towards component based systems, our aim is to build a tool with formal foundations ensuring the success and safety of deployment This is due to the lack of support for formally specifying and verifying component software deployment activities. We proposed a predicate logic based framework for component deployment to ensure the success and the safety of component installation, deinstallation (Belguidoum and Dagnat 2007) and substitution (Belguidoum and Dagnat 2008) This framework has some limitations when applied to dynamic, concurrent and distributed systems. To deploy efficiently software component in a concurrent and dynamic way, we propose an integration of predicate logic based framework (Belguidoum and Dagnat 2007) within rewriting logic and execute it in Maude which is a high-performance implementation of rewriting logic enabling both the deployment execution and its formal analysis.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
