Database Reference
In-Depth Information
Scan/Bundle Card stage prior to Packing-Out. Unfortunately the existing process does not
'force' this recommendation, resulting in potential losses in effi ciency. An operator is then
responsible for checking for misplaced cards and defects at the end of the Manufacturing
Card stage (if the normal process fl ow is followed). As such, any cards suspected of being
misplaced or damaged are replaced. Data on misplaced and damaged cards are sent to the
Recovering
Missing Card stage so that the data can be analyzed and appropriate action taken. From
this point, all glued cards (if the normal process fl ow is followed) are sent to the Scan/Bundle
Card stage. Barcodes for cards are then scanned so that this data can be properly stored in
the database. Cards can be in either a single package or a bundle, depending on the order
request. Packages or bundles are then labeled and scanned. Scanning is done twice because
bundles and packages have distinct barcodes from an individual card. Finally, bundles and
packages are sent to the Package-Out stage for shipment to customers.
Statechart Analysis
This research focuses on the statechart we generated from our analysis of the card
recovery process. We analyzed the statechart in terms of the three properties defi ned earlier.
With the aid of algorithms, we examined the workfl ow within the context of statecharts to
determine potential problems with the workfl ow. From our analysis and algorithmic genera-
tion, we were able to build preliminary applied theory that we believe can assist systems
designers in their attempt to design effective and accurate workfl ows.
In addition to the default conditions, additional conditions are shown in Figure 10.
According to Harvey Black, those 14 extra conditions in Figure 10 (C1 - C14) are provided
by the user. However, these conditions must satisfy the following rules:
1.
(C1 xor C2) = True,
2.
(C3 xor C4) = True,
3.
(C5 xor C6) = True,
4.
(C7 xor C8 xor C9) = True,
5.
(C10 xor C11 xor C12) = True,
6.
(C13 xor C14) = True.
These rules specify that for the conditions in each rule, one and only one can be true
at any given time. For example, in Rule 4, at any moment in time, there are only three pos-
sibilities, namely, either C7 = True, C8 = False, and C9 = False; or C7 = False, C8 = True,
and C9 = False; or C7 = False, C8 = False, and C9 = True.
Analysis of the statechart we developed revealed some potential problematic structures
in the same. Note that there are two cycles. One is from the high-level state Manufacturing
Card to the high-level state Recovering Missing Card and back to Manufacturing Card. The
other one is from the basic state Cello Wrapping Bundle to the basic state Gluing Card and
back to Cello Wrapping Bundle. However, the event on the transition from Manufacturing
Card to Recovering Missing Card is external. Therefore, the transition from Manufactur-
ing Card to Recovering Missing Card will only take place when the event Missing Card
information happens. We do not believe this event will happen all the time and thus the
fi rst cycle does not cause any critical problem. For the second one, since the transitions do
not depend on external events and it is possible that C7 and C12 are both true, it is possible
Search WWH ::




Custom Search