Specification Error Detection of Structured Workflow Definition Using Set Constraint System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 170
  • Download : 2
An workflow definition containing errors might cause serious problems for an enterprise especially when it involves mission critical business processes or inter-organizational interaction. So workflow definitions should be defined in a strict and rigorous way. In this paper, we suggest a workflow definition language and analysis methods for the language to support strict and rigorous workflow definitions. Faults or mistakes like provoking communication deadlock, access conflicts and improper exception specification in workflow definitions can be detected and notified automatically using the methods. The workflow definition language borrows structured constructs of conventional programming languages because they have many good features in expressing workflow processes also. With slight modifications and scope restrictions, the proposed techniques can be used in any workflow definition languages and workflow designers can define workflow processes much more concretely and safely.
Publisher
Institute of Electronics, Information and Communication Engineers
Issue Date
2004-12
Keywords

Set Constraint System; Workflow Definition; Communication Deadlock; Resource Conflict; Exception

Citation

IEICE Transaction of Information & System, Vol.E00-D

ISSN
0916-8532
URI
http://hdl.handle.net/10203/21827
Appears in Collection
CS-Journal Papers(저널논문)

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0