@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 = {<p>A cikkben BPEL 2.0 munkafolyamatok modellellen{\i}rz\&eacute;sen alapul\&oacute; form\&aacute;lis verifik\&aacute;ci\&oacute;j\&aacute;ra dolgoztam ki egy m\&oacute;dszert. A folyamatokb\&oacute;l tervez\&eacute;si\&nbsp;id{\H o}ben, automatikus modelltranszform\&aacute;ci\&oacute;k seg\&iacute;ts\&eacute;g\&eacute;vel prec\&iacute;z le\&iacute;r\&aacute;s k\&eacute;sz\&uuml;l tranz\&iacute;ci\&oacute;s rendszerek form\&aacute;j\&aacute;ban, amelyen kiterjedt vizsg\&aacute;latok v\&eacute;gezhet{\H o}k az \&aacute;llapott\&eacute;r szisztematikus \&eacute;s kimer\&iacute;t{\H o} bej\&aacute;r\&aacute;s\&aacute;t v\&eacute;gz{\i} modellellen{\H o}rz{\H o} eszk\&ouml;z\&ouml;kkel.</p>
},
	author = {{\'A}bel Heged{\"u}s}
}
