Discussions on Workflow Verification
Speaker: Dr Hongchen Li, School of Information Technology, Swinburne University of Technology
When: 2003-11-17 13:00:00
Venue: 78-420
Host: Dr Shazia Sadiq
Abstract:To support the automation of business processes, they should be
abstracted from the real world and specified using a language,
namely, workflow specification language. The result is called
workflow specification, which contains information formally
describing various aspects of a workflow. Building workflow
specifications is a complex and error-prone process, especially for
large-scale workflows. It is likely to introduce inconsistencies or
errors in workflow specifications. Such inconsistencies or errors
may lead to incorrect execution of some or all workflow
cases. Therefore, workflow specifications should be verified to
ensure that they are correct to implement the corresponding business
process objective.
The workflow verification aims at establishing the correctness of
workflow specifications. In this presentation, we mainly discuss
some issues closely related to workflow verification. First, the
basic knowledge of workflow specification and execution is
introduced. Then some issues such as verification of structural
constraints, verification of temporal constraints, verification of
resource constraints and verification of authorisation constraints
are investigated respectively. Finally we draw a conclusion by
present our ongoing and future work.
Biography:(biography unavailable)
Type: ITEE Seminar
Contact:Dr Shazia Sadiq, seminar host (shazia@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)