Component-Interaction Automata for Specification and Verification of Component Interactions

• Authors: VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Year of publication: 2005
• Type: Article in Proceedings
• Conference: IFM 2005 Doctoral Symposium on Integrated Formal Methods
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics
• Keywords: Component-Interaction automata; specification; verification; component-based systems
• Description: The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics.

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