Information Technology Reference
In-Depth Information
Figure 3.11
The reduced service net and decomposition results of AOPS (in Petri net
kernel).
(
t
2
,
t
5
). They are both feasible service composition candidates. The
fourth net corresponds to
h
tuples (
,
t
6
). In the fourth net, lack-of-
synchronization is encountered, and therefore, it cannot generate any
feasible solution. Now, we obtain two feasible solutions (the second and
the third nets in Figure 3.11) based on the proposed data-driven approach.
In the mean time, we find that the second net is a satisfactory
solution. The result for service composition is made up of three steps:
Apply
,
Construct,
and
Offering
. In step
Apply
, AOPS receives custom-
er's ADSL order and generates a worksheet according to the type of
business; in step
Construct
, AOPS undertakes required construction
work according to the worksheets' content and generates confirmation
forms; in step
Offering
, AOPS delivers a receipt to the customer.
Later on, if we manually check the third net, we find that it does not
fulfill the requirement since operation
t
2
does a search job instead of a
worksheet generation job. Therefore, it is not a satisfactory solution,
although from the perspective of data flow it is a feasible one.
