ITEE seminar: Dr Hongchen Li, 01.00PM, Mon 17 Nov 2003

Discussions on Workflow Verification

Speaker: Dr Hongchen Li, School of Information Technology, Swinburne University of Technology

When: 01.00PM, Monday 17 Nov 2003

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)

Contact:

Dr Shazia Sadiq, seminar host (shazia@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator) (guido@itee.uq.edu.au)

ITEE seminar web page: http://www.itee.uq.edu.au/~seminar

[All seminars]