Component-Interaction Automata as a Verification-Oriented
Component-Based System Specification

J 2006

Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ

Základní údaje

Originální název

Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

Název česky

Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů

Autoři

BRIM, Luboš (203 Česká republika, garant, domácí), Ivana ČERNÁ (203 Česká republika, domácí), Pavlína VAŘEKOVÁ (203 Česká republika, domácí) a Barbora ZIMMEROVÁ (203 Česká republika, domácí)

Vydání

Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, [New York, N.Y.?], ACM, 2006, 0163-5948

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

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í

Kód RIV

RIV/00216224:14330/06:00015470

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

ADLs; Component-Interaction automata; component interaction; verification

Štítky

ADLs, component interaction, Component-Interaction automata, verification

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 4. 11. 2012 15:27, doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Anotace

ORIG CZ

V originále

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).

Česky

Práce popisuje nový přístup k specifikaci a verifikaci komponentových systémů, který kombinuje výhody jazyků pro popis architektury (ADL) a možnosti automatického ověřování temporálních vlastností modelů.

Návaznosti

GD102/05/H050, projekt VaV

Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů

Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů

MSM0021622419, záměr

Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

1ET400300504, projekt VaV

Název: Realistická aplikace formálních metod v komponentových systémech

Investor: Akademie věd ČR, Realistická aplikace formálních metod v komponentových systémech

Citovat

BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ a 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, roč. 31, č. 2, s. 1-8. ISSN 0163-5948.

@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Á a 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, roč.~31, č.~2, s.~1-8. ISSN~0163-5948.

Podrobný výpis o publikaci