| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - To use verification tools for reliability analysis of a software component, it is desirable to specify the behavior of the component by a finite-state model. This is often impossible at design time if the component practices unbounded parallelism. In that case, the behavior of the component widely depends on the environment the component is instantiated in. Unfortunately, covering all possible environments results in an infinite-state model. In this paper, we introduce a solution based on the concept of template-to-model transformation: at design time, a developer describes the behavior of the component by a behavior template, which is automatically transformed into a concrete behavior model when the component is instantiated in an environment. As the concrete behavior model is finite-state, it forms a suitable input for verification tools.
- To use verification tools for reliability analysis of a software component, it is desirable to specify the behavior of the component by a finite-state model. This is often impossible at design time if the component practices unbounded parallelism. In that case, the behavior of the component widely depends on the environment the component is instantiated in. Unfortunately, covering all possible environments results in an infinite-state model. In this paper, we introduce a solution based on the concept of template-to-model transformation: at design time, a developer describes the behavior of the component by a behavior template, which is automatically transformed into a concrete behavior model when the component is instantiated in an environment. As the concrete behavior model is finite-state, it forms a suitable input for verification tools. (en)
- Pro analyzu komponent verifikacnimi nastroji je vhodne popsat chovani komponenty pomoci konecne-stavoveho modelu. To je vsak casto nemozne v dobe navrhu komponenty, pokud tato pouziva neomezeny paralelismus. V tomto pripade totiz chovani komponenty zavisi na prostredi, ve kterem je komponenta pouzivana, a pokryti vsech moznych prostredi pak vede k nekonecne-stavovemu modelu. V tomto clanku navrhujeme reseni tohoto problemu zalozene na myslence transformace sablony chovani na konkretni model (template-to-model transformation): v dobe navrhu komponenty je chovani popsano tzv. sablonou chovani, ktera je automaticky transformovana v konkretni model ve chvili, kdy je komponenta nasazena v konkretnim prostredi. Tento konkretni model je jiz konecne-stavovy, a je proto vhodnym vstupem verifikacnich nastroju. (cs)
|
| Title
| - Verification of Software Components: Addressing Unbounded Parallelism
- Verifikace softwarovych komponent: Neomezeny paralelismus (cs)
- Verification of Software Components: Addressing Unbounded Parallelism (en)
|
| skos:prefLabel
| - Verification of Software Components: Addressing Unbounded Parallelism
- Verifikace softwarovych komponent: Neomezeny paralelismus (cs)
- Verification of Software Components: Addressing Unbounded Parallelism (en)
|
| skos:notation
| - RIV/00216208:11320/07:00101479!RIV09-AV0-11320___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| - P(1ET400300504), 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/00216208:11320/07:00101479
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Verification; Software; Components; Addressing; Unbounded; Parallelism (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| - GB - Spojené království Velké Británie a Severního Irska
|
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| - International Journal of Computer and Information 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
| |
| http://linked.open...n/vavai/riv/zamer
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
![[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)