Publication details

Component-Interaction Automata for Specification and Verification of Component Interactions

Investor logo
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

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

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

More info