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

TitleBPEL2.0 munkafolyamatok formális verifikációja
Publication TypeConference Paper
Year of Publication2009
AuthorsHegedüs, Á.
Conference NameTavaszi Szél Konferenciakiadvány
Date Published05/2009
Conference LocationSzeged
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

PDF: