VAŘEKOVÁ, Pavlína and 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, p. 75-81. ISBN 978-1-59593-721-6.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Subject-observer specification with component-interaction automata
Name in Czech Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
Authors VAŘEKOVÁ, Pavlína (203 Czech Republic, belonging to the institution) and Barbora ZIMMEROVÁ (203 Czech Republic, guarantor, belonging to the institution).
Edition 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, p. 75-81, 2007.
Publisher ACM Press
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/07:00019482
Organization unit Faculty of Informatics
ISBN 978-1-59593-721-6
Keywords in English Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
Tags Component-based systems, dynamic number of components, finite-state systems, software modelling, verification
Tags International impact, Reviewed
Changed by Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 4/11/2012 15:29.
Abstract
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.
Abstract (in Czech)
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.
Links
GD102/05/H050, research and development projectName: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET400300504, research and development projectName: Realistická aplikace formálních metod v komponentových systémech
Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems
PrintDisplayed: 25/4/2024 19:32