BPEL2.0 munkafolyamatok formális verifikációja

CímBPEL2.0 munkafolyamatok formális verifikációja
Közlemény típusaConference Paper
Kiadás éve2009
SzerzőkHegedüs, Á.
Konferencia neveTavaszi Szél Konferenciakiadvány
Kiadás dátuma05/2009
Konferencia helyszíneSzeged
Összefoglalás

A cikkben BPEL 2.0 munkafolyamatok modellellenırzésen alapuló formális verifikációjára dolgoztam ki egy módszert. A folyamatokból tervezési időben, automatikus modelltranszformációk segítségével precíz leírás készül tranzíciós rendszerek formájában, amelyen kiterjedt vizsgálatok végezhetők az állapottér szisztematikus és kimerítő bejárását végzı modellellenőrző eszközökkel.
JegyzetekIn Hungarian
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció