Subject-observer specification with component-interaction automata

• 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
• 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

• 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