Subject-observer specification with component-interaction
automata

D 2007

Subject-observer specification with component-interaction automata

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ

Základní údaje

Originální název

Subject-observer specification with component-interaction automata

Název česky

Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů

Autoři

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ

Vydání

New York, NY, USA, Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, s. 75-81, 2007

Nakladatel

ACM Press

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í

Odkazy

URL

Kód RIV

RIV/00216224:14330/07:00019482

Organizační jednotka

Fakulta informatiky

ISBN

978-1-59593-721-6

Klíčová slova anglicky

Component-based systems; dynamic number of components; finite-state systems; verification; software modelling

Štítky

Component-based systems, dynamic number of components, finite-state systems, software modelling, verification

Příznaky

Mezinárodní význam, Recenzováno

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

Anotace

ORIG CZ

V originále

This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject- Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers.

Česky

Tento článek prezentuje naše řešení problému ohlášeného jako Challenge Problem konference SAVCBS 2007. Skládá se ze dvou částí. V první části prezentujeme model systému, v druhé jeho verifikaci vhledem k neomezenému počtu komponent Observer.

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

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, s. 75-81. ISBN 978-1-59593-721-6.

@inproceedings{726164,
   author = {Vařeková, Pavlína and Zimmerová, Barbora},
   address = {New York, NY, USA},
   booktitle = {Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
   keywords = {Component-based systems; dynamic number of components; finite-state systems; verification; software modelling},
   language = {eng},
   location = {New York, NY, USA},
   isbn = {978-1-59593-721-6},
   pages = {75-81},
   publisher = {ACM Press},
   title = {Subject-observer specification with component-interaction automata},
   url = {http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868},
   year = {2007}
}

TY  - CONF
ID  - 726164
AU  - Vařeková, Pavlína - Zimmerová, Barbora
PY  - 2007
TI  - Subject-observer specification with component-interaction automata
PB  - ACM Press
CY  - New York, NY, USA
SN  - 9781595937216
KW  - Component-based systems
KW  - dynamic number of components
KW  - finite-state systems
KW  - verification
KW  - software modelling
UR  - http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
N2  - This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject- Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers.
ER  -

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In \textit{Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering}. New York, NY, USA: ACM Press, 2007, s.~75-81. ISBN~978-1-59593-721-6.

Přehled o publikaci