ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007. s. 257-264. ISBN 978-80-7355-077-6.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
Název česky Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
Autoři ZIMMEROVÁ, Barbora (203 Česká republika, garant, domácí) a Pavlína VAŘEKOVÁ (203 Česká republika, domácí).
Vydání Brno, Czech Republic, MEMICS proceedings, s. 257-264, 2007.
Nakladatel Ing. Zdeněk Novotný CSc.
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/07:00020538
Organizační jednotka Fakulta informatiky
ISBN 978-80-7355-077-6
Klíčová slova anglicky Component-based systems; verification; component instances
Štítky component instances, Component-based systems, verification
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:29.
Anotace
In the paper, we present our solution to the issue of modelling and verification of communicational behaviour in Component-Based Systems (CBSs) allowing creation and destruction of component instances. We first introduce a modelling technique for capturing each component type and component instance as a finite-state transition system, and define the system model as a collection of those. Then we present a verification technique we have defined for a similar type of systems, and discuss application of the technique to the systems with dynamic instantiation of components at run time.
Anotace česky
V článku prezentujeme náš přístup k modelování a verifikaci komunikačního chování mezi komponentami v komponentových systémech s ohledem na zachycení vytváření a mazání instancí komponent za běhu systému.
Návaznosti
GD102/05/H050, projekt VaVNá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ěrNá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
VytisknoutZobrazeno: 4. 2. 2023 04:08