Information Technology Reference
In-Depth Information
mt
21
: Mediation transition, to decompose
worksheet
into two parts:
line worksheet (
line_ws
) and in-house worksheet (
inhouse_ws
).
mt
22
: Mediation transition, to compose line and in-house worksheet
confirmation (
line_con
/
inhouse_con
) into worksheet confirmation
(
ws_con
).
t
5
/
t
7
: Operation transition, to carry through line/in-house construc-
tion work based on the given worksheet and return a corresponding
confirmation form.
t
6
: Operation transition, to search an in-house worksheet according
to its corresponding line worksheet.
t
8
: Operation transition, to generate a customer receipt (
cus_rec
)
based on a worksheet confirmation (
ws_con
).
CUS_REC
(given an ADSL business
order, do all the necessary operations and return a customer receipt).
As shown in Figure 3.10, given this portfolio in which service
operations are modeled as operation transitions and data relations
modeled with mediation transitions, an SN is easily obtained by
merging the places attached with an identical data type into a single
one. We use two eclipses to group places labeled with
order
and
worksheet
, respectively, to demonstrate the merge of places. Figure 3.11
illustrates the RSN (same as SN, in this case) and decomposed nets
displayed in Petri Net Kernel. The uppermost net is the RSN.
From top to bottom, the second to fourth nets in Figure 3.11 illustrate
three subnets decomposed from RSN. The second net corresponds to
h
tuples (
mt
11
,
t
5
)or(
mt
12
,
t
5
). The third net corresponds to
h
tuple
The requirement is
ORDER
!
t3
line_con
adsl_order
t5
mt11
worksheet
line_ws
line_con
order
mt21
worksheet
adsl_order
mt22
ws_con
line_ws
inhouse_con
inhouse_ws
nl_order
worksheet
mt12
nl_order
t7
inhouse_con
t4
inhouse_ws
worksheet
order
ws_con
cus_rec
inhouse_ws
line_ws
t2
t8
t6
Figure 3.10
The service portfolio with data relations.
