diagnosis of open workflow nets
DESCRIPTION
Workshop presentation given by Niels Lohmann on August 16, 2007 in Eindhoven, The Netherlands at the Berlin-Eindhoven Service Technology Colloquium 2007 (B.E.S.T. 2007).TRANSCRIPT
![Page 1: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/1.jpg)
Niels Lohmannwww.informatik.hu-berlin.de/~nlohmann
Diagnosis of Open Workflow NetsDiagnosis of Open Workflow Nets
B.E.S.T MeetingAugust 16, 2007
![Page 2: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/2.jpg)
Diagnosis of O
pen Workflow
Nets
2
Controllability
! Definition: existence of a partner s.t. composition is weakly terminating
! Can be constructively decided using the algorithm implemented in the tool Fiona
! Today: acyclic nets
![Page 3: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/3.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
![Page 4: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/4.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)
transientstate
![Page 5: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/5.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
externaldeadlock
transientstate
![Page 6: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/6.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
?a
externaldeadlock
transientstate
![Page 7: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/7.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
[p3] (eDL)
?a
externaldeadlock
transientstate
![Page 8: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/8.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
[p3] (eDL)
[p3, y] (TR)[p4] (FS)
?a
!y
externaldeadlock
transientstate
finalstate
![Page 9: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/9.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
[p1, x] (TR)
[p3, a, x] (eDL)
[p2] (TR)[p4, b] (eDL)
[p3] (eDL)
[p3, y] (TR)[p4] (FS)
!x ?a
!y
externaldeadlock
transientstate
finalstate
![Page 10: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/10.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
[p1, x] (TR)
[p3, a, x] (eDL)
[p2] (TR)[p4, b] (eDL)
[p3] (eDL)
[p3, y] (TR)[p4] (FS)
[p3, x] (eDL)
!x
?a
?a
!y
externaldeadlock
transientstate
finalstate
![Page 11: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/11.jpg)
Diagnosis of O
pen Workflow
Nets
3
Interaction Graph
x
b
a
y
p1
p3
p4
p2
[p1] (TR)[p3, a] (eDL)
[p1, x] (TR)
[p3, a, x] (eDL)
[p2] (TR)[p4, b] (eDL)
[p3] (eDL)
[p3, y] (TR)[p4] (FS)
[p3, x] (eDL)
[p3, x, y] (TR)[p4, x] (iDL)
!x
?a
!y
?a
!y
externaldeadlock
transientstate
finalstate
internaldeadlock
![Page 12: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/12.jpg)
Diagnosis of O
pen Workflow
Nets
4
Interaction Graph (cont.)
x
b
a
y
p1
p3
p4
p2
blue rooted subgraph:net is controllable!
![Page 13: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/13.jpg)
Diagnosis of O
pen Workflow
Nets
4
Interaction Graph (cont.)
x
b
a
y
p1
p3
p4
p2
a
y
x
b
![Page 14: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/14.jpg)
Diagnosis of O
pen Workflow
Nets
5
Uncontrollable Nets
x y
p1
p3
p4
p2
x
b
a
p1
p3
p4
p2
Guess the net’s decision!“non-local choice”
Net can deadlock in [p3].
![Page 15: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/15.jpg)
Diagnosis of O
pen Workflow
Nets
6
Interaction Graphs
What is the problem?
![Page 16: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/16.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
![Page 17: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/17.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
![Page 18: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/18.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
![Page 19: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/19.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
red node:AF deadlock
![Page 20: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/20.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
red node:AF deadlock
yellow node:be careful!
![Page 21: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/21.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
red node:AF deadlock
yellow node:be careful!
green node: nothingbad happened (yet)
![Page 22: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/22.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
red node:AF deadlock
yellow node:be careful!
green node: nothingbad happened (yet)
![Page 23: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/23.jpg)
Diagnosis of O
pen Workflow
Nets
7
More Colors = Better
blue node:AF final state
red node:AF deadlock
yellow node:be careful!
green node: nothingbad happened (yet)
trace to problem states
![Page 24: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/24.jpg)
Diagnosis of O
pen Workflow
Nets
8
Goals of my Thesis
1. Diagnosis: Why is a net uncontrollable?“non-local choice between [p2,p3] and [p1,p4]”
![Page 25: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/25.jpg)
Diagnosis of O
pen Workflow
Nets
8
Goals of my Thesis
1. Diagnosis: Why is a net uncontrollable?“non-local choice between [p2,p3] and [p1,p4]”
2. Error location: Where is the problem?“un-communicated decision between t1 and t2”
![Page 26: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/26.jpg)
Diagnosis of O
pen Workflow
Nets
8
Goals of my Thesis
1. Diagnosis: Why is a net uncontrollable?“non-local choice between [p2,p3] and [p1,p4]”
2. Error location: Where is the problem?“un-communicated decision between t1 and t2”
3. Correction: What to change?“t1 must send a message”
![Page 27: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/27.jpg)
Diagnosis of O
pen Workflow
Nets
8
Goals of my Thesis
1. Diagnosis: Why is a net uncontrollable?“non-local choice between [p2,p3] and [p1,p4]”
2. Error location: Where is the problem?“un-communicated decision between t1 and t2”
3. Correction: What to change?“t1 must send a message”
4. Optimization: Can it be done with less messages?“message x sent by t3 is not necessary”
![Page 28: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/28.jpg)
Diagnosis of O
pen Workflow
Nets
9
Goals of my Thesis (cont.)
Variations of the diagnosis setting:! Structure:
! Cyclic nets:new problems: livelocks, unbounded channels
! Composition of several nets:new question: responsibility for deadlocks
! Property:! Distributed controllability:
stronger criterion! Controllability under constraints:
di!erent/fewer final states
![Page 29: Diagnosis of Open Workflow Nets](https://reader033.vdocuments.net/reader033/viewer/2022051015/553810524a795979798b466d/html5/thumbnails/29.jpg)
Diagnosis of O
pen Workflow
Nets
10
Questions?
DIAGNOSISOF
OPENWORKFLOW
NETS