Subject-observer specification with component-interaction automata

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Year of publication 2007
Type Article in Proceedings
Conference 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
MU Faculty or unit

Faculty of Informatics

Citation
Web http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Field Informatics
Keywords Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
Description 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:

You are running an old browser version. We recommend updating your browser to its latest version.