"RIV/00216224:14330/06:00015470" . . . . "Brim, Lubo\u0161" . . . . . "14330" . "31" . . "Moravcov\u00E1 Va\u0159ekov\u00E1, Pavl\u00EDna" . . . "\u010Cern\u00E1, Ivana" . "Component-Interaction Automata as a Verification-Oriented Component-Based System Specification" . . . . . "2" . "0163-5948" . "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)."@en . "B\u00FChnov\u00E1, Barbora" . "469418" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "Component-Interaction Automata as a Verification-Oriented Component-Based System Specification"@en . "4"^^ . . "8"^^ . "ACM SIGSOFT Software Engineering Notes" . "4"^^ . . . "[E2D7DB30276A]" . "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)." . . . "Component-Interaction Automata as a Verification-Oriented Component-Based System Specification"@en . "RIV/00216224:14330/06:00015470!RIV10-GA0-14330___" . . "ADLs; Component-Interaction automata; component interaction; verification"@en . "P(1ET400300504), P(GD102/05/H050), Z(MSM0021622419)" . "Component-Interaction Automata as a Verification-Oriented Component-Based System Specification" . . .