Information Technology Reference
In-Depth Information
•
If
Netto JointRatios
is used, use
ConvertMS
and
Ratio
exactly twice.
F
(
Netto JointRatios
true
)
⇒
(
F
(
ConvertMS
true ∧ X
(
F
(
ConvertMS
true
))
∧
G
(
ConvertMS
true ⇒ X
(
G
(
ConvertMS
true ⇒ X
(
G
(
¬
ConvertMS
true
))))
∧
F
(
Ratio
true ∧ X
(
F
(
Ratio
true
))
∧
G
(
Ratio
true ⇒ X
(
G
(
Ratio
true ⇒ X
(
G
(
¬
Ratio
true
)))))
As in the previous examples, problem-specific constraints can be defined in
addition to the constraints of the domain model during the workflow design
phase to narrow the possible solutions further, for instance by requiring that
particular services should not be used at all or that particular results should
finally be available.
5.3.2 Exemplary Workflow Composition Problem
Fig. 5.10
Loose programming of a batch-processing FiatFlux-P workflow
Based on the domain model as described above, it is now possible to de-
sign FiatFlux-P workflow (semi-) automatically. However, due to the loop
Search WWH ::
Custom Search