Ansätze zur flexiblen Navigation in Prozessabläufen

!"#"$ %

&' !"#"! (

) * +,' * -+./ '0

1 12"3) 0

' 4)) 1) 5)) 1)6

)7 * ,8 "

43 ',83)'"'

$ 6 !+,'"#

)!')61)90

"#*:7 )

7 1) " # ; 3) <:

37)!!*)"43

' !)6:6!

,8 3) ) ) )"

"" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " =

"=" &3 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " >

">" 3! 3 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ?

="" .8 ) " " " " " " " " " " " " " " " " " " " " " " " " "

="=" @" " " " " " " " " " " " " " " " " " " " " " " " " " " " "

=">" & " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " "

>"" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " A

>"=" @ " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " =

>"="" < " " " " " " " " " " " " " " " " " " " " " " " " " " " " " =

>"="=" 3 " " " " " " " " " " " " " " " " " " " " " " " " =>

>"=">" 4 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " =?

?"" 4 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " =

?""" 4 " " " " " " " " " " " " " " " " " " " " " " " " " " " =B

?"""" 0 ) " " " " " " " " " " " " " " " " " =B

?"""=" 37 " " " " " " " " " " " " " " " " =

?""">" #* 37 " " " " " " " " " " " " " " =A

?""=" %!) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " >

?""="" & " " " " " " " " " " " " " " " " " " " " >

?""="=" 4! " " " " " " " " " " " " " " " " " " >=

?"=" #* " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " >?

?"="" )9 " " " " " " " " " " " " " " " " " " " " " " " " >

?"="=" #79 " " " " " " " " " " " " " " " " " " " " " " " " " " >B

?"=">" 379 " " " " " " " " " " " " " " " " " " " " " " " " >

?">" ' " " " " " " " " " " " " " " " " " " " " " " " " >A

"" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ?

"=" 3 " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ?=

"="" 3" " " " " " " " " " " " " " " " " " " " " " ?=

"="=" #*" " " " " " " " " " " " " " " " " " " " " " " " ?=

"=">" " " " " " " " " " " " " " " " " " " " " " " " " " " " ?>

"="?" #*37" " " " " " " " " " " " " " " " " " " " ?>

"="" 1) " " " " " " " " " " " " " " " " " " " " " " " ??

">" .) " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ??

!

"# !

$ !

% ! #

# ! &'

" "!

) * +,'00* -+./

+! ';1 " C0

7!6<!D7 )!

E"

+. +. FAAAG'! H

()

! ""

# $ % &

'" # ( # ( )' *+

!

.26!+. ! 0

&"'-+F=AG61C%$ (31%2@<4

FAAG6 +.FAAAG/

* ' #D7 ) '"

#) ! +. <) )0

! " 2 : )6

6 "

+## # ) '"

E ) '! '6

)1:;$) $) "

#1) < )'"

#:' < "

$, #4! ! : '"

# #!7+.4!)0

7 3!7 "

-.'#.87 ) : '"

+. 3 ) : 0

6 3! ) '7"

I) +. ,8)6 *

7 ) )"

E) '+.

' 3" 7H <

+.3 C "

1+.<"3)'

:69 +F=AG3,7H

3! ):

'

'6 +,'

"3' I'"

4 %7 ! !7"

I7H -#E!/"

15)J'-'/ :"

< 7 4 ) E 7!) '

$ "

# )! +. 0

"#+. '/ "#7

@ ' # 6 4)) 0

5)) " '7 6 .7 +.

)6 ' :;.87 3! )

))6'1)')7*

. ) "# ! )&3"

+.6 )! 6 0

2"I*!6 :0

<K) E! ) + ) '70

" # ) ! 3

+,' 3"

WFMS

Prozessmodell wird interpretiert

berät und

erstellt Optionen entscheidet

Benutzer

next somewhen not_after A

B C

A B A A B

B

3 "" #-'/ .' ) *

*!6: ))! 70

6 1) 7&)0

! ! "

4 3 5) 4 I*

'" ':%: ) )0

) 1) 8! '

" # ) ' *8 6 ' 4%$

'3="=7"I! :!'6

5)6:;:.87 @ ))" 4

%! 3' )6 I* 7 0

'*8"#; )3'

16! 9' #7)H)*8 ' '"

#:)41)6'

. <)H%:) 60

3) 7 ! I*

J3"

# < <)! 3' ) 0

* " @ ) 3, !

! +. ) 7

3 '"

! ' *8 ) ) ! <

=" I ' 7

H 7" &) ' 37) :;

6 ' . %: "

<>)'%:7)"&'3)6

! 6 " # '

'7E7"#5))*'!<)

<6 3 4" # '

): 3! 7"

4 * ! < ?" I ' 3

* 7" # 3 ' C0

6746%!)!

" 3; ' ) 296 !

5) ' 4! : '" &)

<5)) ; *"

4 < ; ' %: <

3!'.!"

4!< 7'6 ' ,8@ )

!"I)'1L' !%&/, H

1 7" &) ' 37) :; )

7 3 : )' 0

"

# & ,8 ) 6 1) 80

!$! ))"'

$ ) '76 30

! ) " # ) &'

)6 ) 1 ! ) L6 .

: 7"

# 9'1) '4%$ )!6 ) 9

&)'6 ' 7 )!6' )0

' ' )

3! )! -J="/"

. 0!

3 1 # 3

1 # 3 1

# 3 1

# 1 # 3

#2@ "

J ="" @ ) =" 3! 3

#4! 1) :)%) )'

:" %: ! '6 # ' E!

) ) ) %!) ) " & 46 :0

) ) 6 ! 3 ="> '6

37) :;"

.I) ) *!1C%$ (31%2@<4

FAAG '"I' ' 3) )0

) *63

':63"="!3! ) *

0&

C 3! ) ) '6 0

) * '"

",&

) *6! 1!

3' H') :"

(1 ! #)

C!M 1) :6 *0

H:"

%'#&

) *): ) 70

"# 77K$70

)7!"

2#0#&

C<!' ) *) 0

6+ ''"*! 3'0

' :"

3&

) * 4! '

: :)4 .7"

2 ' 3 " 7 *

3 D7 " # +

3 " < * '" #

N! '! 3" !"

1!#H3 4%$6#H30

!) )F1C%$ (31%2@<4AA6<0 G30

=" ' 1 3 ) E

7"

# 3! ) " # 0

) ' : 3! " I0

) ' )7 ') )

"

() +"

+"

P ∈ P

!

$+"-#'&.

P := (b, c, min, max) ,

b

c

min ∈ N ₀ ∪ P

,

max ∈ N ∪ {∗} ∪ P

,

2 0" +" "3)!)

max > 1

) +""0"!

#3!7H ) 4#'"

() 2$

d(P ) = {min, . . . , max}

P.

4 +" 2$5

z

+"

P ∈ P

min ≤ z ≤ max

)

min

max ∈ P

max = ∗

10""$ !

) E! )"# 0

) 3! ) 376 ' 9'

3' 3!! -)"1" '!

→ →

!/6 #7 7 )0

" )'66)%!)H)6

E! 37 4 - "

3 ?""/ 7" 4 . @ )!

:"C 37) :6' )' 0

E! H"

() ,

, ,0& +"! +"

'& ,.

6 +"

A, B ∈ P

A

0+"

d(A)

B

)

A

B

+".

A

1...3

B

1...*

3="" E

6 +"

A, B ∈ P

solidarrow(A, B)

solidarrow(B, A)

+".

A

1...3

B

1...*

3 ="=" .8 E

6 +", 0& +""3 !

,8 E 8) $! 6 9

4) ) ) " 2! ' N0

,8E8))" 7)

1

%=" ,8E

# )! 6 ' 3 =">

J ="= !6 : )" I

;0 )'" < 1) $" #

:6 ' ; 3 E

"

ABC ACB BAC BCA CBA CAB

J ="=" &7 ) ="

Done:

Todo: a, b, c

Done: a Todo: b, c

a

Done: b Todo: a, c b

Done: c Todo: a, b

c

Done: a, b Todo: c b

Done: a, c Todo: b

c a

Done: b, c Todo: a

c

a b

Done: a, b, c Todo:

c

b a

3=">" #& ) %="

5& +" "$7$

22$

d(B)

+"

A ∈ P

B ∈ P

d(B )

+"

min

max ∈ P

proc(B, A, max)

A

proc(B, min, A)

A

# #7) ! &7' !) 29 )6

3! )*#7

<7!" '3! !) )

3! !) )!E0

! :" '76 * #7)

77<7!) )

"

()

+"!2+" +"+",#

+" +" (+" "3 #

! $ "3 !

# ) + <7 !

) E! "

*1: '!

%="= 3'

I ' 6 6 <L 7

'" 7 J!6

7 " ( : J

<L 6 7 " # 9 76

" # ,8 E! ' N

="='"#: )!3="?

!)"

() /1

27& "3 !2 /1 3 "#

!"! +" +" /1 +" +"! 2 &+"

0+" 2 7! +"

P

B

0"0

E ∈ B

Done:

Todo: ak, as, bk, bs, ck, cs

Done: as Todo: ak, bk, bs, ck, cs

as

Done: bs Todo: ak, as, bk, ck, cs

bs

Done: cs Todo: ak, as, bk, bs, ck cs

Done: ak, as Todo: bk, bs, ck, cs

ak

Done: as, bs Todo: ak, bk, ck, cs

bs

Done: as, cs Todo: ak, bk, bs, ck cs

as

Done: bk, bs Todo: ak, as, ck, cs

bk

Done: bs, cs Todo: ak, as, bk, ck

cs as bs

Done: ck, cs Todo: ak, as, bk, bs ck

Done: ak, as, bs Todo: bk, ck, cs

bs

Done: ak, as, cs Todo: bk, bs, ck cs

ak

Done: as, bk, bs Todo: ak, ck, cs

bk

Done: as, bs, cs Todo: ak, bk, ck

cs ak bs

Done: as, ck, cs Todo: ak, bk, bs ck

as

Done: bk, bs, cs Todo: ak, as, ck

cs as bk

Done: bs, ck, cs Todo: ak, as, bk

ck as bs

Done: ak, as, bk, bs Todo: ck, cs bk

Done: ak, as, bs, cs Todo: bk, ck

cs bs

Done: ak, as, ck, cs Todo: bk, bs ck

ak

Done: as, bk, bs, cs Todo: ak, ck

cs ak bk

Done: as, bs, ck, cs Todo: ak, bk

ck ak bs

as

Done: bk, bs, ck, cs Todo: ak, as

ck as bk

Done: ak, as, bk, bs, cs Todo: ck

cs bk

Done: ak, as, bs, ck, cs Todo: bk

ck ak bs

Done: as, bk, bs, ck, cs Todo: ak

ck ak bk as

Done: ak, as, bk, bs, ck, cs Todo:

ck bk ak

3 ="?" # &) 1="=

0" +" 3" /1 0"

!

I):3'6<L!'0

6 ) 6 7 9'3"

# $! ' 7"

%="> 3'

!"# $

!"#$

!"# $

% $

% $

% $

& ' (

& ' (

3 =" ) E =">"# ) 6 6 '0

$!!6&

"# ' &7 6 6 0

$! !"

# : ) !

Done:

Todo: as, bs, cs, kas, kbs, kcs

Done: as Todo: bs, cs, kas, kbs, kcs

as

Done: bs Todo: as, cs, kas, kbs, kcs bs

Done: cs Todo: as, bs, kas, kbs, kcs

cs

Done: as, bs Todo: cs, kas, kbs, kcs bs

Done: as, cs Todo: bs, kas, kbs, kcs

cs as

Done: bs, cs Todo: as, kas, kbs, kcs

cs

as bs

Done: as, bs, cs Todo: kas, kbs, kcs

cs

bs as

Done: as, bs, cs, kas Todo: kbs, kcs

kas

Done: as, bs, cs, kbs Todo: kas, kcs kbs

Done: as, bs, cs, kcs Todo: kas, kbs

kcs

Done: as, bs, cs, kas, kbs Todo: kcs kbs

Done: as, bs, cs, kas, kcs Todo: kbs

kcs kas

Done: as, bs, cs, kbs, kcs Todo: kas

kcs

kas kbs

Done: as, bs, cs, kas, kbs, kcs Todo:

kcs

kbs kas

3 ="" # &) 1=">

# 3! 1 3 ="= 6 !

+ ) " ) ! : )

1 : 3!!"

+ /+" (+"

p i ∈ P , i ∈ {1, . . . , N}

d(p i ) ⊂ N ∪ {∞}

s j ⊂ P, j ∈ {1, . . . , m}, s _j ∩ s k = ∅, j = k

|A| ∈ N

A

K 0 = 0 K j = K j−1 + |s _i |, ∀j ∈ {1, . . . , m}

2 9(3 6

M

M = ^m

j=1

N − K j−1

|s _j |

· (N − K _m )! · ^N

n=1

|d(p _n )|

/ : )! 29 - )

18/6 !

N

% $! 76 :

'" !7 %

|s ₁ |

N

N − |s ₁ |

) !6296% 6!

N

" # 29 %6 )

'" I!

N − K _m

(N − K − m)!

29 3!7H"#

#76 +

) 6 ))'"29 18"

♦

) 7 E' 18" #: 4

)O29;:

18 '6 4 18 7

C!"

p1 p2 p3 p4 p5

1...2 1...2 1...2 1...2 1...2

3 ="" ! )

:;&1 '"

) 6 ) -

p 1 , p 2 , p 3 , p 4

! '6 !! -

p ₅

)

d(p i ) = {1, 2}, i ∈ {1, . . . , 5}

F4%$G 3 =""

J ="> ) : < !

d(p i ) = {1}

#7!6'="!6

d(p _i ) = {1, 2}

: ! >=0! J =">6 9 ) '

0)'!' "

p ₁ p ₂ p ₃ p ₄ p ₅ p ₂ p ₁ p ₃ p ₄ p ₅ p ₃ p ₁ p ₂ p ₄ p ₅ p ₄ p ₁ p ₂ p ₃ p ₅ p ₁ p ₂ p ₄ p ₃ p ₅ p ₂ p ₁ p ₄ p ₃ p ₅ p ₃ p ₁ p ₄ p ₂ p ₅ p ₄ p ₁ p ₂ p ₅ p ₃ p 1 p 3 p 2 p 4 p 5 p 2 p 3 p 1 p 4 p 5 p 3 p 2 p 1 p 4 p 5 p 4 p 2 p 1 p 3 p 5

p 1 p 3 p 4 p 2 p 5 p 2 p 3 p 4 p 1 p 5 p 3 p 2 p 4 p 1 p 5 p 4 p 2 p 3 p 1 p 5

p ₁ p ₄ p ₂ p ₃ p ₅ p ₂ p ₄ p ₁ p ₃ p ₅ p ₃ p ₄ p ₁ p ₂ p ₅ p ₄ p ₃ p ₁ p ₂ p ₅ p 1 p 4 p 3 p 2 p 5 p 2 p 4 p 3 p 1 p 5 p 3 p 4 p 2 p 1 p 5 p 4 p 3 p 2 p 1 p 5

J=">" &7!

d(p _i ) = {1}

@)3):3!

="

N = 2

p ₅

d(box) = {1}

d(p 5 ) = {1, 2}

s 1 = {box, p ₅ }

p 5

m = 1

M _Ges = ¹

j=1

2 − K j−1

|s _j |

· (2 − K ₁ )! · ²

n=1

|d(p _n )| · M _Box

=

2 − 0 2

· (2 − 2)! · |d(box)| · |d(p ₅ )| · M _Box

= 1 · 1 · 1 · 2 · M _Box

418

N = 4

p ₁ , . . . , p ₄

d(p _i ) = {1, 2}

m = 0

M Box = (4 − K 0 )! · ⁴

n=1

|d(p _n )|

= (4 − 0)! ·|d(p ₁ )| · |d(p ₂ )| · |d(p ₃ )| · |d(p ₄ )|

= 24 ·2 · 2 · 2 · 2

= 384

M _Ges = 2 · 384 = 768

L6! 6+

))"#

768

' ! ) 1 ! $* )

6 9 8 3) !! )0

" * ! '

30

;#7" ++'7

30!

6 ' $ ) ): "

#'!<)@ )0

6E + ):

3!!" I) 37) 6 0

39 ! "

. 8 :6 : + ) 0

" # ' 37) :" &7 4

36 %:6 7 '" # 0

) ) & !6 ' ) 0

' 37" # ' 3

) '6 I! &

: 7 ) ) H" # 3 )0

7 4 8 ) ' 3!'

! . :' "

# & " !"#!E0

' I! "

3;!*%:!E7)0

"@:6) 630

) '"

C37 ))6!80

)L'" @ : I &0

)16 ' )H 37 )0

"@!':) 4

)"I!' 10CE'76'7

J0#' 3) " # ) )' ! H

6 0)'" 3!!"

% >" 8

)*+"! * !,!-

−−

)*,!- +4 -

0

−−

)*,!- 5& ! ,!-%6 "

0 1

−−

0 1

−−

!%>")E

P" ) 6 E "

)

Y

,8 -/

X

3!! / '"

4!J4)63)

'

#E7 ) + ) 0

'&)'"#

7) 6 ) 9 E) 8 0

3!'"#3)9)

! 6* 70

)!$))!"4

.

N !

N

!- "3 =">/6 3) 9' ) ! "

# 3) L E 0

E +"

4.'' 3)6!$0

) :"

!

1 ! 3 4%$6 4 <

3 !6!<EE

'" # ! E! %!70

* 8 6 ' 5)

- " 3 ?"=/6 $ & -3 >"="

>"=">/ ! ) % - " 3 ?">/ ) 0

"

# E! < <7"&

6&:; #7) !"I)'

)3! )8)&!!6

)' 6 " #

3?"=#'6

N7 )' ))7 ! ' :6

' 9'!E) "

) 4 )" '

'6 ' ) )

3! '"

&6 4) )!' :"

& '"

) )"&

'6 ' ) ) #7 <7

!'"

# ' 4 )" &7

! #7 <7 E7 !

'6 ' 6 )

) #7 "#) ! &

:;#7" ! !'6

'% >"= ):3 >")"

%>"= ); #7

7 89 7 89

:$ :$

' ! )) !6

4)"

19

a

60

3!7H!

b

)!"

Done:

Todo: a, b

Done: a Todo: b

a

Done: a, b Todo:

b

3 >"" # & ) %>"= ); #7 "

. 7 N! <7 )

7 '" # ! 37 ) 8 <0

7'6'#6!

!6 6 " 4 ! ' 3'

<76 # '

)E!"4 3?"=' !76' !

# )L '"

@ : ))! .

p∈P |dp|

'63'"#!4%$

)"

3 )6 )

P = {p ₁ , . . . , p _n }

E!6 ' 3

A = (Φ, Σ, δ, S, F )

FAA>GH6* )"

do p _i

φ _k

φ _k+1 Validierung

3 >"=" N

δ

ϕ _k

ϕ _k+1

Φ

Φ ⊂ 2 ^P

Σ

Σ = P

δ

) 3?""="

S

S = ∅

F

F = P

#&!9&

ϕ _k

)

p i

&

ϕ k+1 = ϕ k ∪{p _i }

")&E6

: N7 ' " '

!6 E) ! ! & ! "

4 . ' & )" # !

6 4 76 5)

37:"

#:!7)! )

p i

&6 ! . 6 3 ?""="=

'" 4H & )!'"

#:;E E! !40

" I) ' ! . : 7 OH0

1 F%C$ =6 == 0=AG J!

1

!<!"# 7!

J!

1

N

'6!84)6')1

1)6I!''6':

) !"

4 ).' &!6 ' )!0

" 3; ' ! )! )

p i

1) " & #

N/2

^N ₂ ²

:; & :;

:"4 )H 3?""="="

2 E 7 ! ; 1)

)7)+6)7) I3"

+7!)%"#9

3' @' :; '7 '6 ' .

E! ,"'7

! 9' 7 !" #

@ 7 ! 37

+ '6 4 - "

3 ?""/ 7 ! '" #

9' 7 6 ! 37 )!

E7 '7"

43>"=' ) *7"4

35)4'"# 0

! ! "6!!)% '

" -1%3<1C$@ "" F=G6 1%%4 FAG/ . 29 3 ?"= '

! "# !$ '" I) H ) 4! %

-2C$362C$3F=AG/"

#3!4*6

3" # )' 3 9

< ) <' ! . 40

)5)) * "

" #$

# 3 3 3

>"="=3"44')0

629 - " 3?"=/ ) 37" 4 3

) . ) %!) ' &! "

;3)! )) 76'

1) )' ! ' 0

! '"

#36'30

)6) &!"

#)&7!)"44'

P

1*' )"+ 3="=

6 )& 0

7'"C M)6 )0

* '" # :6 M 370

) %!));" #' E 3 >"=">

7% 0!

1

!64

37-3 ?"""= ?""">/ "I :6 0

) 7 6 )7 3! !

'"@37:)&77

'6 ' 7! '"

#) &7' !3 7"

+7 # # #

% ?" 4 0)

';'(< =( ;

−

/0 0 =

= =

/';# <'(( ;

−

/0 0 #

# #

0 ) )' %" # 0

) % " # 0

)" 3 )' ) 4H 0

) )" '7 %! )!

6 7 0%6 '7 $ % !"

) % 6% 6

7 0%6"

. $ 3 ! &0

"' ."# 3*

))'6&

! 4 : 4! " #

1H37E" I0

) ' !6 ' ' ) )

X

"

+ ! "!'&

%?"= 37 )

>!0?;

−

@0

−

,@&@0

−

?C '(

E -18 )/6

) !' " # . %!"4

)

X

B

B

Y

Y

X

37' .%!"

%! 37 " I)! .

9 #!6

X

18 "

% ?"> # 37

A0?A ;

−

?A '('(

?A'0 <A( ?A;

−

A0 DA

?AA D?A

! DAD?A?A

4

X

List

7 '" &%! 7! % ! '

%! ! 9 !" # :6 ' 18 ' 18 0

:" # 9' ! '

)6 !! 18 ) :"

4

X

X

)!"# 3!!!%!!370

)"

(1 ! "!'&

' * ' 37 !" # '

:6 ,8 18 )

" ' :; )" # .'

#1 ! "!'& 18"

379 7 4! & *

' 37 ) &" #

&'! * 37H J

!):)"4E

% ?"? *37

E 0DA ;

−

−

DAC'(

/DE0D ;

−

A1A

A &

DC&; &

/DE0D ;

−

F1

AFA

A &

DC&; &

4% ?"?' )

X

#'&($!

X

"4.6 ' 18 J*30

7

X

:" I) '6 ' 6 %-/ '" & %!)

' 18

X

X

'"

# )' '&( $ ! E )7" !

18 6 ,8 " I

X

6 I! %!6 * 37 )0

X

'6 J: ! "

1,8E! )'18'96,8

18 7 '6 3

18 ! ' 6 3! 6

18 6 '"

(&% ' ,8 6 9)' $ -'&(/

7)':"#:;:.874

6 *)0

! ':"I) + 3"="

@374!'3

?"=">'6 &

) 37 !6 )7 &0

) !"

@ 4 3) &0

! ) ) " : &0

7 )6 ) !'"

#/

#&! J !"

) N! 37 )"

8) . 4) )6' "

% 3! )) &"

%?" #&

)D 0 G

−

0 ;GG ;

−

) +

0

)*&! G

0;;&!G

) &!

0 G

'; D< I(0 ;

−

)#&!

0I

) >! "

0;;-D DD

)?JA*; >! !

DD K

)

0;;

!0 ;

−

0;;%

)?!

0;;!

0 ;

−

0 G ;

−

)

0;;

) G

0 G

)!0" ID!

';D<I(0';GD< A"I(;

−

!I'0( A"I

'0<D(GDK

4 ) '

X

37!" + ) !6

37

X

# . * ! )

N

)! !"#N0

! :6 . ; 6

))'7H !'6 !!'"

# ) !!1! ; %" 3! 0

) ) &" # N! #7 ! 0

! ) %0. )6

. & )6 ' <7 )

#7 "

39!#

4 ! 1 ' ! 6 ' 3 =" 0

6 ) E!" I) '&7 6 .

) "! "

% ?" 4!

)))))))))))))))))))))))))))))))

)=" L

)))))))))))))))))))))))))))))))

& G& ;

−

';<I (I

" 0G% - ;

−

) ! !

% : 7 " +, ') )

&6%&)6

71 ! ) "

#. ')!!&0

)"

% ?"B &

?A1';D<I (0G;

−

)#&!

0 I

) >! "

0;;-D DD

)?JA*; >! !

DD

)"

';D<I (0G

! 7 ' 3 ?""=" % ?" &0

!6 ! ) " 7

): 29"

" %&$

# ' # 7) !

" 3 5) : # ) )6 #7

37 ) 6 ' 3 9 3) '7"

7) .' 0

6 9 ' " .

'4!)29!7% '"

- 2J&I0I..J$ F=G/ 7) ' 29 <

)-7 !- H ;

)-0 .!0# "4 )-

' 29 @ 6 ) "

4 ).' ) 29)"

(,# 1

# 379 376 )

1 * 37 #70

"

(

##79#7)6*#70

) )%!) )E + "

# )9 ) 6 0"6 &&6 #

+"6 " 6 ! &76 !) #70 30

796 & )

) ) &L )EH"

# # '

C&L!3

#%)'"#+:)370

#79! )9 ''6'!0

) )"

# )9 I) 9 3)" '70

4 76.87+!#70 370

9" # .7 29 : 3 >"=">

?""=""1!) 66 )- "

3 ?"/"

Process

deps(De)

Dependency

Domain(Do)

Domain start

execute execute(N) stop cancel indomain done

getDomain(Do) getDeps(De)

counter done active

dynamic data static

Max Min

3 ?"" # )9

N! ) !'60

! 3! )"

.

N! ) 6 : &7

1

)7 )'"

. :;<

N! ) : &7

N

,

N! ) &7 )0

7 ; )"

N! ) )

3!)"

#

N! ))7#7 "

#

N! )!'"

#:(<

%! $!)#79"

#,:(<

%! $!)379"

2. E )" )0

0" 6 '&7 #7"#

!*#7)6*#7 0

) 7!) !" 3 )

'&) 36 )

"

!"

##793!" #7)6

E!&L!&7!0

)29 *#7)"

Domain

getDomain

Max dependent

Min

dependent

Process Counter valid

3 ?"=" # #79

#,#

%! 4!6 *#7"

(:969.<

-!"*/ #7) )"

#:=<

N!

X

# $ * #7) " J7

:#7)!'6 !) )0

! '" 4 . ' 3!

0

&7' !) "# . J

+0 . Q

"

# 379 ! &L ! 370

*" 37 )6 # *

37"

Dependency

data processes getDependencies

dynamic

3 ?">" # 379

(,#

%!37 ))"1!3!!

' 37- )#/ )"

+ .)7) )0

6! *37"

# #0 * 37 0

,87"I : )7) 37 -#/6 +0#

1)'-*3763?""">/"#

*',8!4

): ' '7"

" '(

&7)) ) 7 * ' ;0

!) )%!) " I) ' &0

7)"

% ?" * &

C' ;' 8( M (

# & " # 0% )' !

)"#)-2!&L!

% ) ) '6 .! # )0

"

% ?"A * &

"!';D<I (;

−

' ' ! !'7 %% 3!! :

& ) " # J 0

&7 0&7 ! %

!"

' ' $ .0

!!"# '. 8))0

)6 3) 7 :

N! ' '" 1! .

%?"66' ! 6! N!3 7

): ) )"

!

3; E! '" # +

'6'! <'"

&)<3!)!.!6

3 '6 :!

' "

)

43="'D7!+.1C%$ (31%2@<4

FAAG"@ * 3>"= '"

0&

'<!+. '" @

! $H ) 4 37 )0

7) 3 29" :6 ) %!)6

)7)# ' !'"

",&

. 3 3 ' ! '"

# L 3 6 *!

)3') '" #H *86

; ) * 37 C7

I* 1)*

"

(1 ! #)

# * 37 : ) )0

7)3* 1 "#

+.! M 0

)6 @:

)' ) ! "

%'#&

# 7 4 4%$

' ) J' " # <! 0

,8E6 ) <37 ' 18"

E E! 18 ! <)6 '

*37"I!'6

'H)H':0

6 ) $ 7)'"

2#0#&

# !+7 4

*!3')'"

I*' ''37!

6' 1)"

3&

#3:<I*"#

:41))

! ) " #<

I* ! @6 7 10

*)"

@N!< 3! 0

-3 "/) <1) '"

# 4 7 *6 E7 : %:0

6 1) !9 7K" #

!6'3! '7" I! 0

7 '"( '

I! 6 ' H6 *

) " ! 37! 7

3' I" # *

6 )!)' !"

3! ) E!6 H <7

"

#!3'<66

J ):'" # 3 2

7 )! ' 37) !:6 1)

3 3 " %:'

! +,' 6 2

* "# : %:0

7) +,' ) "

)

4.3'61J

!!'6!!

31 "

# $

. 3' 6'3

)" : 3) 3 >"=" ! 0

6' 186' '" 4!3'7

6 37!6 ' 6 7 ) J0

6 7)<6 7' !) "#'

9':3!'3776

! !9 3'7 !' "

3) 7' E6 &L

!4) '7 ':"

# !% &

3 * ,8 ) 3 >"= !

) 7" # ! : ) 30

7 46 ! 9

;3!' 7H 73'" +7

) 76 * '6 ' 30

7!) 3 )'"

'7''6 :) H :637

) %!)) 7 * ) " #'7

6 7H '6

M !" + E7

)!" I!37) <)

H"

# &

#* !!H%:"&'

5) : ; ) :6 ! )H

3' ) ) H6 "

3) '7 %6 %: ))0

'66<

7!%:))". .'7)0

3 " # )6

2 "

# !% "

# )**37"#0

,8 #)--)/ 3 : ! 3

' '"#* 37! !J0

6'J!6'):37

)"1 3) !#H

J <":6370

*)69'6 :

)37H :!) "I':6*80

!3'7)HE)))0

7)'))L"# *'

! 6 #7 )H 3'!7 0

"C C!) :'7 L

! 37 4 * "

# : ) ) 3'7 )H

$''61!#7"I0

)3I*:":6

E' )' * ) 0

"

## '

# L I* 7 )

9 ))1)

)"I3')H4!"#I0

* !6 : ) ' )

29 < &)6"# * 9

7!)3'86H!6

7 I " # + 30

!7 <7 '"

)

@ +,'*)'6 0

) < 7 3' " # ,830

) 6 ': 3!)6

:'" # 4 * )-

':+ ' *!,8

) "

E%:7):!

'6 ')1<6 &J0

3"

@ '6 ' 6 +,'

*86 ) "

53 >>

0" +" *;%;9" A ?

5"?45@A;

6 R 6 ( R

6 < % <" 6 "

%00 01)-0)2%)-2,0%%-%%3%-4"

E = ?

5B$C;A # 4DCA

6 " R 6 +"0" " E' 10

'6AA

5A"@A >

6+! "" 1""J6A?

5@++A # E"5B;+43

6R 6! "J6

AA 6="6="=6"

?"A4 # CB$B;

6 ( R 6 # 3" 9&""" I6

AA?

(BBA+ >F

6 (" R 6 3" R 6 " # #

" +'6AB

C3;

6 R 6!R 6 !R 6(R6

<R6 3 3.8*+,'

*" 4 = )9;' < =? -AAA/6

"BAS

CB3;G+2BA$C

6 # J +,' $! T 2" 4

2+'=>>#?>>8 = -AA?/6 "=A S>=

CB9@$C FF

6II" 0" "" E' 1'6

ABB

3GA

6 2+ &&+"=&+ +1#

+1+" S #H ! ! @

! ! "=6="6="=6=">6>"=6>"="=6"

3GA >

6 <" @ =" S H !

">63"B63"63"A

E"5B;+43 F

6 ! 3 +,'00*" 4 )#

# +" + = -AAB/6 "B= S

E"5B;+43

6! ,&

0##%(" C 70@6 =

@GA

6." 70+")" 6= >"=">

9BC";

6 " R 6 " R 6 $" R 6 " 8

3 $ +,' *" 4 2

/ -AA/6"S =?

9B;E"@ # +?C@

6#"R6" ;: "E'10

'6AA=

9B@A"

6 %" ?

9B@A"

6 %*+"%00-)-0 ++"

E =A ?

;3++B; # 9"@+H;+43

6C! R6 ( %+ " (

+*U6 @'T6 AA

;B$93A

6I" ))" I 6AA> >"="=

;B$93A #"@ >

6I"R6$" )))" I 6 A?

B$+?C7C--$A

6 3 7& : "

6 = ?"=

2G;A

64 7&1$"" 6 =>

2-9?

= ' @ 9"

%00,'+ )-0%%3%4 + +54 ,5-46758+49:"

E = AAA" S .'" 6

2&,#

!" # A & 2 &$"

%00,%)-0,0%%34;)',2.-+54<=>?=7?9"

E =A" S F2R ="7)=AG 6"

" #

"" #-'/ .' ) * " " " >

="" E " " " " " " " " " " " " " " " " " " " " " " " " " " " " " A

="=" .8E " " " " " " " " " " " " " " " " " " " " " " " " " " " "

=">" #& ) % =" " " " " " " " " " " " " " " " " " " " " "

="?" #& )1="=" " " " " " " " " " " " " " " " " " " " " >

="" #& )1=">" " " " " " " " " " " " " " " " " " " " " ?

="" ! ) " " " " " " " " " " " " " " " " " " " " " " " "

>"" #& ) % >"=); #7 " " " ==

>"=" N

δ

ϕ k

ϕ k+1

?"" # )9" " " " " " " " " " " " " " " " " " " " " " " " " " >

?"=" ##79 " " " " " " " " " " " " " " " " " " " " " " " " " " " " >B

?">" #379 " " " " " " " " " " " " " " " " " " " " " " " " " >

$

="" @ ) ="3! 3 " " " " " " "

="=" &7) =" " " " " " " " " " " " " " " " " " " " " " " " " "

=">" &7!

d(p i ) = {1}

% #

="" ,8E " " " " " " " " " " " " " " " " " " " " " " " " " " "

="=" 3' " " " " " " " " " " " " " " " " " " " " " " " " " " " " =

=">" 3' " " " " " " " " " " " " " " " " " " " " " " " " " " " >

>"" 8 " " " " " " " " " " " " " " " " " " " " " " " " =

>"=" ); #7 " " " " " " " " " " " " " " " " " " " " ==

?"" 4 0 ) " " " " " " " " " " " " " " " " " =B

?"=" 37 ) " " " " " " " " " " " " " " " " " " " " =

?">" # 37 " " " " " " " " " " " " " " " " " =

?"?" *37 " " " " " " " " " " " " " " " " " " " " " " " " =A

?"" #& " " " " " " " " " " " " " " " " " " " " >

?"" 4! " " " " " " " " " " " " " " " " " " " " " " " " " " " >=

?"B" & " " " " " " " " " " " " " " " " " " " " " " " >>

?"" * & " " " " " " " " " " " " " " " " " " " " " " " " " " " >A

?"A" * & " " " " " " " " " " " " " " " " " " " " " " " " " " " >A

3"" @" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " "

3"=" # ) " " " " " " " " " " " " " " " " " " " " " " " " " " " " "

3">" #37 " " " " " " " " " " " " " " " " " " " " " " " " " " 8

3"?" ##7 " " " " " " " " " " " " " " " " " " " " " " " " " " " " 8

3"" #3 " " " " " " " " " " " " " " " " " " " " " " " " " " " " 8

3"" #+) " " " " " " " " " " " " " " " " " " " " " " " " " " " " 8

3"B" #H8-4%$ F=G/ " " " " " " " " " " " " " " " " " " " " " 88

3"" 7H ' . -4%$F=G/ " " " " " " " " " " " " " " 88

3"A" H8-4%$ F=G/ " " " " " " " " " " " " " " " " " " " " " " " 88

# &'

4 6 # J

$ 1< $

7 ! D I!0

)"#3' !:

:L"

6#)7 !7;

E J3! !

C 71*)7 J6

.7!6 ) "

1*6 "3=A

" "

% 3" @ "

)))))))))))))))))))))))))))))))

)))))))))))))))))))))))))))))))

)*+?NG %9$

)))))))))))))))))))))))))))))))

)))))))))))))))))))))))))))))))

)

)G*@%$9$

)

−−−−−−−−−−−−

)+ D D A-

−

)

)!

;

−

)*+G#

;

−

;

−

;

−

)A-I#

;

−

−

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

)))))))))))))))))))))))))))))))))))

)?JA*

)))))))))))))))))))))))))))))))))))

)#& P&

0 1;

−

0 F;

−

) P&

0 1;

−

0 ?A ;

−

>!0?;

−

@0

−

,@&@0

−

?C '(

A0?A ;

−

?A '('(

?A'0 <A( ?A;

−

&& 0;

−

−

!

&'('(

&' <A( 0 ;

−

−

!

E 0DA;

−

−

/DE0D ;

−

/DE0D ;

−

'(

DD ;

−

)))))))))))))))))))))))))))))))))))))))))))

)D*A ?*&!P8 GDI I*I? G=I=NGPM

)I? G=I=NG=LJA I=NG?A1PM

)))))))))))))))))))))))))))))))))))))))))))

)@ &! ! Q

&! 0;

−

)D 0 G

−

0 ;GG;

−

) +

0

)*&! G

0;;&!G

) &!

0 G

'; D< I(0 ;

−

)#&!

0 I

) >! "

0;;-D DD

)?JA*; >! !

DD K

)

0;;

!0 ;

−

),"E % "

0;;%

)?!

0;;!

0 ;

−

) >! "

0;;

0 G ;

−

)

0;;

)G

0G

?A1';D<I (0G;

−

)#&!

0 I

) >! "

0;;-D DD

)?JA*; >! !

DD

)"

';D<I (0G

)J ! ! !

';D<I(0';GD< A"I(;

−

!I '0( A"I

'0 <D(GDK

)))))))))))))))))))))))))))))))

)=" L

)))))))))))))))))))))))))))))))

& G& ;

−

';<I (I

"';D<(0G% - ;

−

))))))))))))))))))))))))))))))))

)H*G*? I*H? +R#?NLI ?II I*

))))))))))))))))))))))))))))))))

)Q

−

- H ;

−

-D'( '(

-D+H H A;

−

-'( '(

-'- ? < I( ;

−

)D % 5&% -

SC?

−

-I IA

RA IA

B

-I

"- # ;

−

9(

?A10G

#

))))))))))))))))))))))))))))))

)*0+N?IINH? +R,=F

))))))))))))))))))))))))))))))

& L;

−

@;;

- ';'(<=( H

-H *- I *- - -

) = G

8- = =

-D;SS I ; = =

=G C = 'C= C& CTU $$ EC !

8$(

)#G

/'; D< (

8- DD

-D; D#

- # SS I; #

#GC# 'C# C& C T$$:: EC!

8$(

5'=G H#G( G

H C- E- G

@;; K

)&

−

#

-# D#

- /H D#

)% +GH

-# - +-#

8/D# -+-#

+ % / V +-# V -%K

;

−

@;;

= /#

= #

@;;

##

#;

−

))))))))))))))))))))))))))))))

) =4

))))))))))))))))))))))))))))))

';'(<=( ;

−

'(

'0 <=( ;

−

0 LL&

>!0 ?A E 0 DA

E;; D ?A '( DA

L L&

−

L

−

L&

−

;; DLL& $

;; 0 0 DD K

) A'0 DD ( S )=" K

=

))))))))))))))))))))))))))))))

)I ?II I* GD#=G AI I*

))))))))))))))))))))))))))))))

= ;

−

(

/';# <'(( ;

−

))))))))))))))))))))))))))))))

)=GI G*N# +?N*LND*A

))))))))))))))))))))))))))))))

) &

)& &

)O!

)

)

)45

)*+G

)

)&

)

)M-&

)

)8

)4!!

;

−

);

−

% 3"= # )

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

;

−

+G DD D ;

−

""

O+ '&"( '(

'

G D D D !$"

"

(

!0 ;

−

−

%

;

−

;; DD;;

;

−