DCCL: Verification of Component Systems with Ensembles

D 2013

DCCL: Verification of Component Systems with Ensembles

BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ and Zuzana PETRUCHOVÁ

Basic information

Original name

DCCL: Verification of Component Systems with Ensembles

Authors

BARNAT, Jiří (203 Czech Republic, belonging to the institution), Nikola BENEŠ (203 Czech Republic, guarantor, belonging to the institution), Ivana ČERNÁ (203 Czech Republic, belonging to the institution) and Zuzana PETRUCHOVÁ (703 Slovakia, belonging to the institution)

Edition

New York, NY, USA, CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, p. 43-52, 10 pp. 2013

Publisher

ACM

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

United States of America

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

storage medium (CD, DVD, flash disk)

References:

URL

RIV identification code

RIV/00216224:14330/13:00066561

Organization unit

Faculty of Informatics

ISBN

978-1-4503-2122-8

DOI

http://dx.doi.org/10.1145/2465449.2465453

Keywords in English

adaptation; component-based development; ensemble; formal verification; specification language

Abstract

V originále

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.

Links

GAP202/11/0312, research and development project

Name: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Acronym: Components in Embedded Systems)

Investor: Czech Science Foundation

MUNI/A/0739/2012, interní kód MU

Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Acronym: SKOMU)

Investor: Masaryk University, Category A

Citovat

BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ and Zuzana PETRUCHOVÁ. DCCL: Verification of Component Systems with Ensembles. In CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York, NY, USA: ACM, 2013, p. 43-52. ISBN 978-1-4503-2122-8. Available from: https://dx.doi.org/10.1145/2465449.2465453.

@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, 2013, p.~43-52. ISBN~978-1-4503-2122-8. Available from: https://dx.doi.org/10.1145/2465449.2465453.

Detailed Information on Publication Record