Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components. In this paper we present PAINLESS ,a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive — a middleware for distributed programming. This is achieved by building on top of MEFRESA, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.
CITATION STYLE
Gaspar, N., Henrio, L., & Madelaine, E. (2015). Painless support for static and runtime verification of component-based applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9392, pp. 259–274). Springer Verlag. https://doi.org/10.1007/978-3-319-24644-4_18
Mendeley helps you to discover research relevant for your work.