Subject-observer specification with component-interaction automata

Authors:
Pavlína Vařeková;Barbora Zimmerova
Affiliations:
Masaryk University, Brno, Czech Republic;Masaryk University, Brno, Czech Republic
Venue:
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
Year:
2007

Citing 3
Cited 0

Component-interaction automata as a verification-oriented component-based system specification

SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Effective verification of systems with a dynamic number of components

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
Component-Interaction Automata Approach (CoIn)

The Common Component Modeling Example

Quantified Score

Hi-index	0.00

Visualization

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.