Component-Interaction Automata Modelling Language

Warning

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

Authors	ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Year of publication	2006
Type	R&D Presentation
MU Faculty or unit	Faculty of Informatics
Citation
Description	The paper introduces a Component-interaction automata language, which was designed for modelling of component interactions in hierarchical component-based software systems. The language supports modelling of important interaction attributes of such systems, and hence provides a rich base for further application of formal methods.
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