DCCL: Verification of Component Systems with Ensembles

D 2013

DCCL: Verification of Component Systems with Ensembles

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

Základní údaje

Originální název

DCCL: Verification of Component Systems with Ensembles

Autoři

BARNAT, Jiří (203 Česká republika, domácí), Nikola BENEŠ (203 Česká republika, garant, domácí), Ivana ČERNÁ (203 Česká republika, domácí) a Zuzana PETRUCHOVÁ (703 Slovensko, domácí)

Vydání

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

Nakladatel

ACM

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

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

Forma vydání

paměťový nosič (CD, DVD, flash disk)

Odkazy

URL

Kód RIV

RIV/00216224:14330/13:00066561

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-2122-8

DOI

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

Klíčová slova anglicky

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

Štítky

firank_B

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 6. 12. 2013 14:33, prof. RNDr. Ivana Černá, CSc.

Anotace

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.

Návaznosti

GAP202/11/0312, projekt VaV

Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)

Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification

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

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BARNAT, Jiří, Nikola BENEŠ, Ivana ČERNÁ a 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, s. 43-52. ISBN 978-1-4503-2122-8. Dostupné z: 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Á a 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, s.~43-52. ISBN~978-1-4503-2122-8. Dostupné z: https://dx.doi.org/10.1145/2465449.2465453.

Podrobný výpis o publikaci