|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2008 32nd Annual IEEE International Computer Software and Applications Conference
An Architecture Description Language for Verification in Component-Based Software
July 28-August 01
ISBN: 978-0-7695-3262-2
| ASCII Text | x | ||
| Ahcene Bouzoualegh, Dominique Marcadet, Fr?d?ric Boulanger, Christophe Jacquet, "An Architecture Description Language for Verification in Component-Based Software," 2012 IEEE 36th Annual Computer Software and Applications Conference, pp. 365-368, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008. | |||
| BibTex | x | ||
| @article{ 10.1109/COMPSAC.2008.107, author = {Ahcene Bouzoualegh and Dominique Marcadet and Fr?d?ric Boulanger and Christophe Jacquet}, title = {An Architecture Description Language for Verification in Component-Based Software}, journal ={2012 IEEE 36th Annual Computer Software and Applications Conference}, volume = {0}, year = {2008}, issn = {0730-3157}, pages = {365-368}, doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.107}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 36th Annual Computer Software and Applications Conference TI - An Architecture Description Language for Verification in Component-Based Software SN - 0730-3157 SP365 EP368 A1 - Ahcene Bouzoualegh, A1 - Dominique Marcadet, A1 - Fr?d?ric Boulanger, A1 - Christophe Jacquet, PY - 2008 KW - ADL KW - model checking KW - component VL - 0 JA - 2012 IEEE 36th Annual Computer Software and Applications Conference ER - | |||
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 the control component of the system. We focus here on the ADLV language and tool and on code generation for the CCM platform from ADLV descriptions. Code generation must preserve the semantics of special components that are in charge of interfacing the control and the processing parts of the application.
Index Terms:
ADL, model checking, component
Citation:
Ahcene Bouzoualegh, Dominique Marcadet, Fr?d?ric Boulanger, Christophe Jacquet, "An Architecture Description Language for Verification in Component-Based Software," compsac, pp.365-368, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.