Publication details
Subject
-observer specification with component-interaction automata
| Basic information | |
|---|---|
| Original title: | Subject-observer specification with component-interaction automata |
| Authors: | Pavlína Vařeková, Barbora Zimmerová |
| Further information | |
|---|---|
| Citation: | VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora. 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. ISBN 978-1-59593-721-6, pp. 75-81. 3.9.2007, Dubrovnik, Croatia. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868 |
| Type: | Article in Proceedings |
| Keywords: | Component-based systems; dynamic number of components; finite-state systems; verification; software modelling |
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.
Related projects:
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Realistic application of formal methods in component systems
- Highly Parallel and Distributed Computing Systems
