A Web Service-Based Public-Oriented Personalized Health Care Platform - Business and Scientific Workflows - page 150

SearchDrugs

SubmitOrder

AccountQuery

[AB<Pa]

[AB>=Pa]

PayInFull PayByInstallments

Shipping

Figure 6.3

A solution obtained via SCP and PPCE.

n 10 are introduced into the diagram for the same invocable service
SubmitOrder . Then, for n 9 and n 10 , we execute PPCE, and two
conditional branch structures are introduced into the diagram after
them respectively, in the way to deal with the first case in PPCE. After
that, we continue the while-repeat procedure in SCP. Three action
nodes, labeled with the same service Shipping , are introduced into the
diagram after the three merge nodes, respectively. Next, these three
nodes are included into the set RS , and the while-loop ends. Succes-
sively, an activity final node n f is introduced into the diagram. In the
generated diagram, there are three paths from the initial node to the
activity final node. Therefore, we can partition it into three diagrams.
A feasible solution to this WSC problem is shown in Figure 6.3.
The guard “ AB >¼ Pa ” in the figure represents “ AccountBalance >

Payment ”, while “ AB < Pa ” represents “ AccountBalance < Payment ”.