Information Technology Reference
In-Depth Information
the jABC framework, but with little of its technical details being required
for the user to know. In particular, PROPHETS features:
graphically supported semantic domain modeling,
loose specification within the workflow model,
non-formal specification of constraints using natural-language templates,
automatic concretization of the loose model into a concrete workflow, and
automatic generation of model checking formulae.
Fig. 2.9 Constraint-driven workflow design with PROPHETS
As Figure 2.9 shows, working with PROPHETS incorporates two major
phases: domain modeling and workflow design . Whereas in the domain
modeling phase PROPHETS is prepared for the application domain, the work-
flow design phase is dominated by the iterative “playing” with loose speci-
fication, synthesis, and constraint and parameter refinement. In particular,
PROPHETS supports a very flexible way of expressing domain knowledge: it
can either be specified during domain modeling (especially suitable for domain-
specific constraints) or during the actual synthesis (especially suitable for
problem-specific constraints). In this way, users can flexibly interact with the
workflow development framework, collecting possible solutions and continu-
ously refining the constraints according to any arising requirements.
In the following, Section 2.3.1 sketches the principles of the underlying
synthesis method, before Sections 2.3.2 and 2.3.3 give a detailed introduction
to PROPHETS by elaborating on the domain modeling and the workflow
design phases, respectively.
Search WWH ::




Custom Search