-
Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL : doktorska disertacijaVlaovič, BoštjanDoktorska disertacija predstavlja rezultate raziskav avtomatske tvorbe modelov v jeziku Promela iz specifikacije sistema v jeziku SDL. V splošnem se model sistema lahko pridobi ročno ali avtomatsko. ... Model sistema lahko ob ročnem pristopu tvori le strokovnjak z dobrim poznavanjem delovanja sistema in jezika za opis modelov. Kvaliteta modela je neposredno odvisna od strokovnjaka. Pri postopku ročne gradnje modela hitro pride do napak pri modeliranju lastnosti sistema. Disertacija formalno podaja algoritme za avtomatsko tvorbo modelov v jeziku Promela. Tehnika preverjanja modelov nam lahko z matematično natančnostjo potrdi ali ovrže skladnost podanega modela sistema s specifikacijo zahtev. Za preverjanje lastnosti je potrebno v model sistema namestiti sonde. Te nam omogočajo opazovanje sprememb v modelu. Disertacija definira postopke za avtomatsko dopolnitev modela s sondami. Teoretične raziskave smo podkrepili s praktično realizacijo algoritmov v orodju sdl2pml. Z njim smo uspešno verificirali specifikacijo protokola V.76. Vsi uporabljeni modeli protokola V.76 v disertaciji so pridobljeni avtomatično. Pregled doseženih rezultatov pokaže obetavnost pristopa in njegovo praktično vrednost.Type of material - dissertation ; adult, seriousPublication and manufacture - Maribor : [B. Vlaovič], 2004Language - slovenianCOBISS.SI-ID - 217706496
Author
Vlaovič, Boštjan
Other authors
Brezočnik, Zmago
Topics
SDL |
Promela |
specifikacija sistemov |
avtomatsko generiranje |
specifikacija zahtev |
linearna temporalna logika |
preverjanje modelov |
SDL |
Promela |
specification of systems |
automatic generation of models |
requirement specification |
linear temporal logic |
model checking
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Library | Call number – location, accession no. ... | Copy status |
---|---|---|
National and University Library, Ljubljana | GS II 605964 glavno skladišče | available - reading room |
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Vlaovič, Boštjan | 20030 |
Brezočnik, Zmago | 02071 |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.