| BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, vol. 31, No 2, p. 1-8. ISSN 0163-5948. |
Other formats:
BibTeX
LaTeX
RIS
@article{703524,
author = {Brim, Luboš and Černá, Ivana and Vařeková, Pavlína and Zimmerová, Barbora},
article_location = {[New York, N.Y.?]},
article_number = {2},
keywords = {ADLs; Component-Interaction automata; component interaction; verification},
language = {eng},
issn = {0163-5948},
journal = {Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering},
note = {SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4},
title = {Component-Interaction Automata as a Verification-Oriented Component-Based System Specification},
volume = {31},
year = {2006}
}
TY - JOUR
ID - 703524
AU - Brim, Luboš - Černá, Ivana - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2006
TI - Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
JF - Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering
VL - 31
IS - 2
SP - 1
EP - 1
PB - ACM
SN - 01635948
N1 - SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4
KW - ADLs
KW - Component-Interaction automata
KW - component interaction
KW - verification
N2 - In the paper, we present a new approach to component interaction specification and verification process which combines the advantages of both architecture description languages (ADLs) at the beginning of the process, and a general formal verification-oriented model connected to verification tools at the end. After examining current general formal models with respect to their suitability for description of component-based systems, we propose a new verification-oriented model and discuss its features. The model is designed to preserve all the interaction properties to provide a rich base for further verification, and allows the system behaviour to be configurable according to the architecture description (bindings among components) and other specifics (type of communication used in the synchronization of components).
ER -
BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. \textit{Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering}. [New York, N.Y.?]: ACM, 2006, vol.~31, No~2, p.~1-8. ISSN~0163-5948.
|
