Generowanie specyfikacji logicznej w oparciu o model zapisany zgodnie z wybranymi wzorcami procesowymi przy użyciu języka BPEL