Information Technology Reference
In-Depth Information
(CRG) to verify whether there exists a mediator to glue them. If yes,
generate it. In this section, we use the motivating scenario presented in
Section 4.1 to explain our solution approach.
4.3.1 Transforming Abstract BPEL Process
to SWF-net
The method to transform BPEL services to SWF-nets has been given in
Section 4.2. Figure 4.7 depicts the result of transforming two BPEL
services in Figure 4.2 into their corresponding SWF-nets. In Figure 4.7,
message Order is defined as the composition of OrderID, UserID and
SecretID; while message COReq is defined as the composition of Order
and PartnerID. Transitions ProcessFetchToken, ProcessGetOrder-
Data, and ProcessOrderData all represent receive plus (immediate)
reply in the original BPEL process. We have made this simplification to
obtain a more compact state space while preserving all the behavioral
characteristics. In Figure 4.7 we group the message places of two SWF-
nets into a dotted rectangle called composition.
Figure 4.7
Two SWF-nets: eBay and third-party checkout (TPC).
Search WWH ::




Custom Search