| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Aplikace model checkingu na izolované softwarové komponenty není přímo možná, protože komponenta netvoří kompletní program - nastává problém chybějícího prostředí. Řešením je vytvoření nějakého prostředí pro komponentu, kterou chceme ověřovat. Protože nejobecnější možné prostředí může způsobit nezvladatelnost ověřování komponenty, modelujeme prostředí na základě specifického kontextu, ve kterém se komponenta použije. Konkrétně, naše řešení využívá hierarchickou komponentovou architekturu a specifikaci chování komponenty definovanou pomocí protokolů chování, všechno poskytované v ADL. Prostředí pak reprezentuje chování zbytku aplikace vzhledem k cílové komponentě. Zpráva dále popisuje algoritmus pro výpočet modelu chování pro prostředí, který je založen na syntaktické expanzi a substituci protokolu chování. (cs)
- Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment occurs. A solution is to create an environment of some form for the component subject to model checking. As the most general environment can cause model checking of the component to be infeasible, we model the environment on the basis of a particular context the component is to be used in. More specifically, our approach exploits hierarchical component architecture and component behavior specification defined via behavior protocols, all that provided in ADL. This way, the environment represents the behavior of the rest of the particular application with respect to the target component. We present an algorithm for computing the model of environment’s behavior that is based on syntactical expansion and substitution of behavior protocols
- Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment occurs. A solution is to create an environment of some form for the component subject to model checking. As the most general environment can cause model checking of the component to be infeasible, we model the environment on the basis of a particular context the component is to be used in. More specifically, our approach exploits hierarchical component architecture and component behavior specification defined via behavior protocols, all that provided in ADL. This way, the environment represents the behavior of the rest of the particular application with respect to the target component. We present an algorithm for computing the model of environment’s behavior that is based on syntactical expansion and substitution of behavior protocols (en)
|
| Title
| - Modeling Environment for Component Model Checking from Hierarchical Architecture
- Modelování prostředí pro model checking komponent z hierarchických architektur (cs)
- Modeling Environment for Component Model Checking from Hierarchical Architecture (en)
|
| skos:prefLabel
| - Modeling Environment for Component Model Checking from Hierarchical Architecture
- Modelování prostředí pro model checking komponent z hierarchických architektur (cs)
- Modeling Environment for Component Model Checking from Hierarchical Architecture (en)
|
| skos:notation
| - RIV/67985807:_____/07:00090203!RIV08-AV0-67985807
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| - P(GA201/06/0770), Z(AV0Z10300504), Z(MSM0021620838)
|
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/67985807:_____/07:00090203
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - software components; behavior protocols; environment model checking; hierarchical component architecture (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - Electronic Notes in Theoretical Computer Science
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Pařízek, P.
- Plášil, František
|
| http://linked.open...n/vavai/riv/zamer
| |
| issn
| |
| number of pages
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)