Page 105 -

92 N. Russell and A. ter Hofstede
(* user privilege definition *)
UserPrivW UserID ! P.UserAuthKind/ indicates the privileges that an indi-
vidual user possesses, where UserAuthKind = fchoose, concurrent, reorder,
viewteam, viewgroup, chainedexec, managecaseg;
UserTaskPrivW UserID TaskID ! P.UserTaskAuthKind/ indicates the privi-
leges that an individual user possesses in relation to a specific task, where User-
TaskAuthKind = fsuspend, reallocate, reallocate state, deallocate, piledexec,
delegate, skipg.

2.8 Working Example

Throughoutthis book for illustrative purposes we will use a common working exam-
ple that depicts the Order Fulfillment process followed by the fictitious Genko Oil
company. In this section, we will give a brief introduction to the content and opera-
tion of the process from a control-flow, data, and resource perspective. The complete
process model is presented in Appendix A.

2.8.1 Control-Flow Perspective

The top level of the order fulfillment process is shown in Fig. 2.45. It comprises five
main composite tasks, each of which has an associated subprocess that describes the
details of its implementation. We will only discuss the main intentions of each of
these tasks here. Full details of their implementation can be found in Appendix A.
The first step in the order fulfillment process is the Ordering task, which involves
the receipt and processing of a purchase order. As part of this activity, it may require
various approvals and modifications before it can finally be confirmed and readied
for supply. There is a 3 day time limit for the confirmation of a newly received
purchase order. If this requirement is not met or the supply of the purchase order is
not fully approved, it may be discarded.
The next step in the process is the Carrier Appointment task where the trans-
portation arrangements for shipping the order are determined and any necessary
documentation is prepared. As the size of an order may vary from an individual
package right up to one requiring a truck (and possibly several trailers) for its trans-
portation, the actual process for organizing the shipment may vary markedly. At its
conclusion, however, all required arrangements with shippers have been made and
required documentation is available for despatch with the goods ordered. If the task
does not complete within 5 days, it is canceled and the process terminates.
The next two steps in the process occur in parallel. The Payment task involves two
main activities: (1) securing payment for the goods supplied from the customer and
(2) organization of payment for the freight company that transported the order. The