Component-Interaction Automata Modelling Language

• Authors: ČERNÁ Ivana; VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Year of publication: 2006
• Type: R&D Presentation
• MU Faculty or unit: Faculty of Informatics
• 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