Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F06%3A00015470" target="_blank" >RIV/00216224:14330/06:00015470 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Original language 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. Themodel 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).
Czech name
Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
Czech description
Práce popisuje nový přístup k specifikaci a verifikaci komponentových systémů, který kombinuje výhody jazyků pro popis architektury (ADL) a možnosti automatického ověřování temporálních vlastností modelů.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
ACM SIGSOFT Software Engineering Notes
ISSN
0163-5948
e-ISSN
—
Volume of the periodical
31
Issue of the periodical within the volume
2
Country of publishing house
US - UNITED STATES
Number of pages
8
Pages from-to
1
UT code for WoS article
—
EID of the result in the Scopus database
—