Component-Interaction Automata for Specification and Verification of Component Interactions

Moravcová Vařeková,  Pavlína; Bühnová,  Barbora

Component-Interaction Automata for Specification and Verification of Component Interactions

Warning

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

Authors	VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Year of publication	2005
Type	Article in Proceedings
Conference	IFM 2005 Doctoral Symposium on Integrated Formal Methods
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	Component-Interaction automata; specification; verification; component-based systems
Description	The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics.
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