J.-Y Shim, D.-S. Han, and M. Lee (Korea)
Workﬂow Management System, Uncaught Exception, Un
necessary Handler, Set-Based Analysis
Exception speciﬁcation in workﬂow deﬁnition is a means
for ﬂexible control ﬂow deviated from normal control ﬂow
and adapted to a run time situation. This ﬂexible control
ﬂow for unusual situations is particularly useful for long
lasting and intricate workﬂow processes. In this paper,
we propose a workﬂow deﬁnition language with exception
speciﬁcation facilities and its analysis method. This lan
guage borrows structural constructs and exception handling
mechanisms from conventional programming languages.
Using this language, process designers can specify excep
tions of a process at process build time, and the improper
exception speciﬁcations can be detected by the analysis
method developed in this paper.