Formális módszerek az informatikában

Szerző

Szerkesztő

Budapest

'Dr. Bartha Tamás: Formális módszerek az informatikában ' összes példány

Kiadó:	Typotex Elektronikus Kiadó Kft.
Kiadás helye:	Budapest
Kiadás éve:	2003
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	312 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 16 cm
ISBN:	963-9548-08-1
Megjegyzés:	Néhány fekete-fehér ábrával.

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Fülszöveg

A kötet azokat a legfontosabb matematikai szabatosságot lehetővé tevő modellezési eszközöket mutatja be, amelyek a mind bonyolultabbá váló informatikai rendszerek tervezése, analízise és ellenőrzése során a mai információtechnikai gyakorlatban is mind nagyobb szerepet játszanak.
A könyv egységes szerkezetben tárgyalja a formális verifikáció és validáció céljait szolgáló legfontosabb modellezési eszközöket és matematikai paradigmákat. A formális modellezés és ellenőrzés alapvető fogalmait és módszereit a Fetri-hálókon keresztül vezeti be. A rendszerek helyességének bizonyításában kulcsszerepet játszó követelményanalízist a temporális logikák példáján keresztül illusztrálja. Bemutatja a gyakorlatban használatos legfontosabb olyan modellezési technikákat, mint az állapottérképek, adatfolyamhálók és absztrakt állapotgépek. A modellezési nyelvek tervezési módszerei közül szerepel a metamodellezés és a gráf-transzformáció.
A kötet szerzői a Budapesti Műszaki Egyetem oktatói, akik a... Tovább

Tartalom

Előszó 7
1. Bevezetés 9
1.1. A formális módszerek szerepe az informatikai rendszerek tervezésében 12
1.2. A jelen helyzet 14
1.3. A diszkrét rendszermodellezés alapjai 17
1.4. Verifikáció 23
1.5. A jelenlegi helyzet értékelése 26
2. Petri hálók 31
2.1. Bevezetés 31
2.2. A Petri hálók struktúrája 32
2.3. A Petri hálók dinamikus viselkedése 34
2.4. Tokén játékok 43
2.5. Egy alkalmazási mintapélda 49
2.6. Tulajdonság modellek 51
2.7. A Petri hálók analízis módszerei 56
2.8. Petri háló alosztályok 59
2.9. Analitikusan vizsgálható Petri hálók alosztályok 64
2.10. Strukturális tulajdonságok 67
2.11. Invariánsok és alkalmazásuk 69
2.12. Kibővített értelmezésű Petri hálók és alkalmazásuk 90
2.13. A Petri hálókat kezelő eszközök összehasonlítása 107
3. Temporális logikák és modell ellenőrzés 113
3.1. Bevezető 113
3.2. Temporális logikák osztályozása 115
3.3. A temporális logikák modelljei 116
3.4. Lineáris idejű temporális logikák 120
3.5. Elágazó idejű temporális logikák: CTL és CTL 126
3.6. Modell ellenőrzés 134
4. Állapottérképek 175
4.1. Az UML állapottérkép elemkészlete 176
4.2. Az UML állapottérkép informális szemantikája 183
4.3. Modellezés állapottérképpel 187
4.4. Objektumok viselkedésének leírása állapottérképpel 191
4.5. Az UML állapottérképek formális szemantikája 195
5. Modellezés adatfolyam hálókkal 215
5.1. Az adatfolyam módszer 215
5.2. Adatfolyam hálók 217
5.3. Modellfinomítás 224
5.4. Konzisztencia ellenőrzés finomítás után 232
5.5. Workflow menedzsment adatfolyam hálókkal 241
5.6. Workflow modellezés 242
6. Absztrakt állapotgépek 249
6.1. Az absztrakt állapotgépek jelentősége 249
6.2. Alapfogalmak 250
6.3. ASM-ek tranzíciós szabályai 258
6.4. Absztrakt állapotgépek 262
6.5. Az adatfolyamhálók ASM leírása 264
7. Metamodellezés 269
7.1. Metamodellezés és matematika 269
7.2. Áttekintés: Modellezési nyelvek formális definíciója 270
7.3. Metamodellezés: modellezési nyelvek absztrakt szintaxisa 272
8. Gráftranszformáció 281
8.1. Gráftranszformációs szabályok 281
8.2. Gráfmintaillesztés 284
8.3. Szabály alkalmazása 287
8.4. Transzformáció szekvenciák és párhuzamosság 291
8.5. Vezérlési struktúrák 296
8.6. Modellezési nyelvek dinamikus viselkedésének definíciója 299
Irodalom 303