Painless Support for Static and Runtime Verification of Component-Based Applications

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...

Full description

Saved in:
Bibliographic Details
Published inFundamentals of Software Engineering Vol. 9392; pp. 259 - 274
Main Authors Gaspar, Nuno, Henrio, Ludovic, Madelaine, Eric
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2015
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Architecture Description Language
Artificial intelligence
Component-based Engineering
Computer programming / software development
Formal Methods
Software Engineering
The Coq Proof Assistant
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783319246437
3319246437
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-24644-4_18