An Architecture Description Language for Verification in Component-Based Software

Abstract

In the context of component-based design, we propose ADLV, an architecture description language based on IDL3, which allows the specification of properties that should hold on the system. The joint description of both the structure of the application and the properties it should satisfy allows us to derive the properties that should be formally checked on… (More)
DOI: 10.1109/COMPSAC.2008.107

Topics

1 Figure or Table