Paper Info
Title
Painless support for static and runtime verification of component-based applications
Abstract
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.
Year
DOI
Venue
2015
10.1007/978-3-319-24644-4_18
Lecture Notes in Computer Science
Keywords
Field
DocType
The Coq Proof Assistant,Component-based Engineering,Formal Methods,Architecture Description Language
Programming language,Component based engineering,Software architecture description,Computer science,Software system,Theoretical computer science,Runtime verification,Component-based software engineering,Formal methods,Architecture description language
Conference
Volume
ISSN
Citations 
9392
0302-9743
0
PageRank 
References 
Authors
0.34
10
3
Name
Order
Citations
PageRank
Nuno Gaspar141.10
Ludovic Henrio230434.43
Eric Madelaine326125.38