@inproceedings {TavasziSzel2009, title = {BPEL2.0 munkafolyamatok form{\'a}lis verifik{\'a}ci{\'o}ja}, booktitle = {Tavaszi Sz{\'e}l Konferenciakiadv{\'a}ny}, year = {2009}, note = {In Hungarian}, month = {05/2009}, pages = {20-26}, address = {Szeged}, abstract = {

A cikkben BPEL 2.0 munkafolyamatok modellellen{\i}rz\ésen alapul\ó form\ális verifik\áci\ój\ára dolgoztam ki egy m\ódszert. A folyamatokb\ól tervez\ési\ id{\H o}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{\H o}k az \állapott\ér szisztematikus \és kimer\ít{\H o} bej\ár\ás\át v\égz{\i} modellellen{\H o}rz{\H o} eszk\öz\ökkel.

}, author = {{\'A}bel Heged{\"u}s} }