Information Technology Reference
In-Depth Information
ep
ep
edd
ef
bl
edd
ef
bl
ra
rl
og
ra
rl
og
rh
od
rh
od
(a)
(b)
Fig. 3.
(a) The process template for our example. (b) The restructured process template.
3.6
Evaluation of the Synthesized Process Template
Process templates aim at supporting experts in getting a better understanding of the com-
pliance aspects and to discover missing or under-specified requirements. Such under-
specification is manifested in the process template in terms of semantical problems.
Those problems can only be detected by human experts. In this section, we will fur-
ther elaborate on the running example to illustrate such problems. Using the process
template in Fig. 3a as a basis of the discussion between compliance expert and busi-
ness expert, they identify that the template allows for executing both black listing the
client and granting to open the account in the same instance. This is an example of the
aforementioned semantical problems caused by under-specified compliance rules. The
compliance expert refines the set of constraints by indicating that black listing and grant-
ing open the account are contradicting, cf. the
CA
relation in Section 3.2, formalized
as
G
. Repeating the steps of our approach
reveals that the adapted set of compliance rules yields a set of traces that is data incom-
plete. This is explained based on the two added constraints as follows. By forcing
bl
and
og
to be exclusive, we implicitly require
bl
to be executed only with the condition
ef
(
og
⇒
G
(
¬
bl
))
and
G
(
bl
⇒
G
(
¬
og
))
rl
. Other combinations of
results are not considered. There is no trace that addresses the situation where
ef
∧
rh
, while
og
is executed only with the condition
ep
∧
rl
holds in some state. This contradicts with our requirement to execute either
og
or
od
in
each run. Since the condition
ef
∧
∧
rl
enables neither of them, it is not observed in any
of the generated traces.
As a consequence, another adap-
tation of our set of compliance
requirements is needed. The missing
interaction
ef
edd
ef
bl
ep
rl
has to be handled.
One solution is to update the condi-
tions under which
og
and
od
are ex-
ecuted, i.e.,
G
∧
og
rl
(
og
⇒
ep
∧
rl
)
and
(ep & rh) |
(ef & rh) |
(ef & rl)
G
. With these
updated constraints, another iteration
of behavior synthesis is started. This
time, the generated set of traces shows
data completeness. The final gener-
ated process template is visualized in Fig. 4.
(
od
⇒
(
ef
∨
rh
))
ra
od
Fig. 4.
A compliant process template where
bl
and
og
are exclusive and conditions adjusted
