A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Painless Support for Static and Runtime Verification of Component-Based Applications
[chapter]
2015
Lecture Notes in Computer Science
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
doi:10.1007/978-3-319-24644-4_18
fatcat:6ipgjozarrdf7arjswzft6czs4