| Identifikační kód | RIV/00216224:14330/13:00066561 |
|---|
| Název v anglickém jazyce | DCCL: Verification of Component Systems with Ensembles |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 2 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 4 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792)
Nikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587)
Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132)
Zuzana Petruchová (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 4684850) |
|---|
| Popis výsledku v anglickém jazyce | 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. |
|---|
| Klíčová slova oddělená středníkem | adaptation; component-based development; ensemble; formal verification; specification language |
|---|
| Stránka www, na které se nachází výsledek | http://doi.acm.org/10.1145/2465449.2465453 |
|---|
| DOI výsledku | 10.1145/2465449.2465453 |
|---|