Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1131921,
author = {Barnat, Jiří and Beneš, Nikola and Černá, Ivana and Petruchová, Zuzana},
address = {New York, NY, USA},
booktitle = {CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering},
doi = {http://dx.doi.org/10.1145/2465449.2465453},
keywords = {adaptation; component-based development; ensemble; formal verification; specification language},
howpublished = {paměťový nosič},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-4503-2122-8},
pages = {43-52},
publisher = {ACM},
title = {DCCL: Verification of Component Systems with Ensembles},
url = {http://doi.acm.org/10.1145/2465449.2465453},
year = {2013}
}
TY - JOUR
ID - 1131921
AU - Barnat, Jiří - Beneš, Nikola - Černá, Ivana - Petruchová, Zuzana
PY - 2013
TI - DCCL: Verification of Component Systems with Ensembles
PB - ACM
CY - New York, NY, USA
SN - 9781450321228
KW - adaptation
KW - component-based development
KW - ensemble
KW - formal verification
KW - specification language
UR - http://doi.acm.org/10.1145/2465449.2465453
L2 - http://doi.acm.org/10.1145/2465449.2465453
N2 - Current trends in computing include building distributed systems out of autonomous adaptive components. Communication between the components may be local and communication channels may change over time. This emergent behaviour of communication may be seen as the creation and dissolution of component ensembles. Clearly, correctness of such systems is an important issue. We provide a verification-oriented modelling language for describing these component-ensemble systems as well as a verification tool. The processes of the components as well as the ensemble communication are described in a C++-like fashion. The tool is an extension of the parallel and distributed verification environment DiVinE. We also describe several demonstrative examples and use them to experimentally evaluate our approach.
ER -
BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ and Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In \textit{CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering}. New York, NY, USA: ACM. p.~43-52. ISBN~978-1-4503-2122-8. doi:10.1145/2465449.2465453. 2013.
|
