Component-Interaction Automata Modelling Language

Investor logo

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

Č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:

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