Publication details
Component
-Interaction Automata Modelling Language
| Basic information | |
|---|---|
| Original title: | Component-Interaction Automata Modelling Language |
| Authors: | Ivana Černá, Pavlína Vařeková, Barbora Zimmerová |
| Further information | |
|---|---|
| Citation: | ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora. Component-Interaction Automata Modelling Language. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  FIMU Technical Reports URL |
| Type: | R&D Presentation |
| Keywords: | Component-based systems; automata theory; specification; verification |
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
