Subject-observer specification with component-interaction automata

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
Autoři	VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Rok publikování	2007
Druh	Článek ve sborníku
Konference	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
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Obor	Informatika
Klíčová slova	Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
Popis	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.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy