PDF:
BPEL2.0 munkafolyamatok formális verifikációja
| Title | BPEL2.0 munkafolyamatok formális verifikációja |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Hegedüs, Á. |
| Conference Name | Tavaszi Szél Konferenciakiadvány |
| Date Published | 05/2009 |
| Conference Location | Szeged |
| Abstract | 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. |
| Notes | In Hungarian |
