Information Technology Reference
In-Depth Information
QC 2 : "After checking the application data, the qualifications of the applicant are
considered to be either sufficient or not sufficient" .
The temporal relationship in QC 2 states that the action "check the application data"
must be followed by one of the guards "qualifications are not sufficient", or "qualifica-
tions are sufficient".
EPPSL provides a set of modeling elements to express temporal relationships. Since
EPPSL considers deterministic and non-deterministic futures, it provides for each tem-
poral relationship two modeling elements. The first one represents the relationship when
it holds for all control flows of a business process (deterministic). The second one repre-
sents the relationship when it holds for at least one control flow (non-deterministic). Fig.
3 shows the notation of EPPSL modeling elements for temporal relationships. These el-
ements are new classes defined by EPPSL.
Fig. 3. EPPSL modeling elements for temporal relationships
Deterministic Temporal Relationships: The deterministic temporal relationships are
"Next", "After", "Until", and "All". "Next" and "After" may link two basic blocks,
which could be "Actions", "Guards" or "AnonymousSteps". "Next" states that the first
block must be followed next by the second block on all control flows of a business
process. "After" states that the first block must be followed by the second block on all
control flows of the business process, no matter if other blocks occur between the first
and the second block. "Until" connects two basic blocks, which could be two "Actions",
or an "Action" and a "Guard". "Until" states that an action must be repeated on all con-
trol flows of a business process until another action takes place or a guard is satisfied.
"All" refers to all instances of an action on all control flows of a business process. "All"
is usually used to confirm that a quality constraint which includes an action, to which
the temporal relationship "All" is applied, must hold for all instances of that action on
all control flows of a business process.
For example, we want to verify QC 3 on a business process model for using a bank
card to withdraw money.
QC 3 : "The pin number must always be entered repeatedly until the pin number is
correct" .
The EPPSL model in Fig. 4 models QC 3 . It states that all instances of the action
"enter the pin number" must be repeated on all control flows of the business process
until the guard "pin number is correct" is satisfied. In this model, we have applied
 
Search WWH ::




Custom Search