Information Technology Reference
In-Depth Information
is more reasonable in stating what condition should be satisfied when
two services are believed to be compatible.
Definitions 4.5 and 4.6 only concern the composition of two
services. Our method can easily be extended to a multiservice compo-
sition scenario by stepwise composition and analysis. Hence, we focus
our discussion on two-service composition thereafter.
4.3 COMPATIBILITY ANALYSIS VIA PETRI
NET MODELS
The solution approach is illustrated in Figure 4.6. First, transform two
BPEL services to be composed into SWF-nets. Then verify whether
they are directly composable. If not, request data mapping information.
Next, use data mapping to build a communicating reachability graph
Figure 4.6
The proposed solution approach.
