Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Year of publication	2005
Type	Article in Proceedings
Conference	Proceedings of SAVCBS 2005
MU Faculty or unit	Faculty of Informatics
Citation
Web	http://www.cs.iastate.edu/~leavens/SAVCBS/2005/SAVCBS05.pdf
Field	Informatics
Keywords	ADLs; Component-Interaction automata; component interaction; verification
Description	In the paper, we present a new approach to component interaction specification and verification process which combines the advantages of both architecture description languages (ADLs) at the beginning of the process, and a general formal verification-oriented model connected to verification tools at the end. After examining current general formal models with respect to their suitability for description of component-based systems, we propose a new verification-oriented model and discuss its features. The model is designed to preserve all the interaction properties to provide a rich base for further verification, and allows the system behaviour to be configurable according to the architecture description (bindings among components) and other specifics (type of communication used in the synchronization of components).
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