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.
