@techReport{CIA:FIMU-RS-06,
   author = "Ivana {\v{C}}ern\'{a} and Pavl\'{i}na Va\v{r}ekov\'{a} and Barbora Zimmerova",
   title = "{Component-Interaction Automata Modelling Language}",
   institution = "Masaryk University, Faculty of Informatics",
   address = "Brno, Czech Republic",
   number = "FIMU-RS-2006-08",
   year = "2006",
   month = "October",
   url = "http://www.fi.muni.cz/reports/files/2006/FIMU-RS-2006-08.pdf",
   
   abstract = "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. Component-interaction automata provide a flexible form of component composition which can respect architectural assembly of the system, communication mechanisms, and other specifics of component-based systems. This allows the language to capture interactions in many different kinds of componentbased systems (built on different component models for instance). This paper provides a detailed study of the language including discussion of its practical application and comparison with related work. We intend to use this language as a framework for verifying coordination errors, checking of reconfiguration correctness, and formal analysis of component interactions in component-based systems, which is our ongoing and future work."
}