• Aucun résultat trouvé

Products of Message Sequence Charts

N/A
N/A
Protected

Academic year: 2022

Partager "Products of Message Sequence Charts"

Copied!
31
0
0

Texte intégral

(1)

!

"#

"$

%

&

' ()*

&

$

+,+-./0 1

23456787 1

49:74 /;

<= >

?@A,

7BB75 C767D

EF GHIJ KH .

B7 L

7 0M

:N7 O 1

P M Q

1

5572 R

97 3 1

S M

: 1

9 N:7O5 QT 1

6:5 M

S : R

4 M

76

5P5 M

72:5 M Q

0Q

234 M

7 M U

7:S3S Q

64 0MV

W

:N7B M

O QX

755 1

Y7 -

7 Z47B 0

7 W

S 1

3 U

5 /

O7 1

66S755 M U

73S QR

972 QT 0Q

234 M

:BY 1

X

755 1

Y7 -

7 Z47B 0

7 W

S 1

3 U

M U1M

Y7B7S 1

M

75 M U

73S Q

64 0

M QT

M U

7:S9 1

BY4 1

Y75 /

O U

7B3 Q

55:

R

97 V

-

:B 0

7 1

99 X-

C5

Y7B7S 1M

76 R

P 1

X

755 1

Y7 -

7 Z47B 0

7 W

S 1

3 U [

2 1

P R

7 S 4B O:

M U

:B \D76

RQ

4B65 Q

B M U

7 2755 1

Y7 0

U 1

BB795 ] M U

1

M

:5 /

[

:5 7D:5 M

7B M

: 1

99P RQ

4B676 ^ /

1

54 R

3S QR

972 :5 M Q

67 0

: 67 O U

7 M U

7S M U

7 0Q

B5: 67S76 3S Q

64 0M

:5 7D:5 M

7B

<

M

: 1

99P RQ

4B676 V_

7 5 UQ

O M U

1

M M U

:5 Z475 M

: Q

B :5 4B67 0

: 6 1R

97 /

R

4 M M

4SB5

0Q

< ` a<

0Q

2397 M

7:B M U

7S75 M

S : 0M

76 0 1

57O U

7S7 1

995PB 0U

S Q

B:b 1M

: Q

B5 R

79 Q

BY

M Q M U

7 5 1

273S Q0

755 VcU

:5 :5 M U

7\S 5 M

3 Q

5:

M

:N7 S7549 M Q

B M U

7 67 0

:5:

Q

B QT

7D:5 M

7B M

: 1

9 RQ

4B676B755 V_

73S Q

3 Q

5754 d0

:7B M

0Q

B6:

M

: Q

B54B67SO U

: 0U1

X

755 1

Y7 -

7 Z47B 0

7 W

S 1

3 U

S73S757B M

:BY M U

73S Q

64 0M0 1

B R

7 0Q

B5 M

S 4 0M

76 V

e f gh ijklmhnjg

o

(

p

p

"

$

( q ""

p o r

( s

$

" t

q os" u

v

w

$

(

"

x

$

"

$

v

$ "

$

(

x

$

(

w

"

$

y

z

q os"

{|

$

(w (

$

"

(

$

| "

$

x

$

"

y

"

$

w

"

}

(

$

"

$

v "

"

(

$

w

$

w

$

p

p(ww

$

y

z ~

}

(

{

$ "$

y t€

(

(w u"

{

"$ $

q os"

w

"$

|

$

"

$

$

p

$

{

$

}

$

"

""

( "

$

$" t$ $ "

(

( u

t

{ ‚u

( (

$

$

{

$

$

"

|

$

w

(

$

z ts

w

"$

u

q ""

p

o r

( #

"ttsu

q os

p

" u "$

(

w

(|

w

{

‚

{

(

(

(

{ ‚

( (

$

$

$

$

| q os"

|w

ƒ

z

€

(

$

"

v

y

|q ""

p o r

( #

"

{

|

$

$

„ …

†‡

( p

p

x

w

"

$

$

w

$

(

y

w

w

$

q os

 p

p

"t$ $ " "$"

| q os" u

p

v

x

y

tsu

q os

p "

$

|w

$

"$

(

$

(

"

|%(

s

( tsu

q os

p "

„

‰

Ї

$ "

x

w "

(

v

"$ "

|

(

$

y

"

$ "

(

$

(

‚ "

"

|w

$

w

w

$$

„

‹Œ

Œ‡

w

w

$$

w

y

} x$

"

(



x

v

"

„

އ

|

$

( p "

$

"

p

p tsu

q os

p "

| (w

}

"

y

"

$

w

"

{

‚

p

y

" "

w

w

$ x

$

y

(

x

z o

y

"

$

w

"

|

$

"

$

|w

""

w x

p w

"



(

$

p



$

"

(

$

"

z ˆ

""x

{

y

$

$

w w

p |

"

y

"$

w

"

$

tsu

q os

p

" " $

"

$

v

(

$

$



"$ $$

w

$

$ "

(

$

"

„

‹‘

‡

{

$

w

p

w

$

{

"$

"

p

$

w

p

Ž

"

|

Ž

q o#

p "x

$

$

$

$ "

|

$ $

w 

} x

$



q os

p

p "

$

|

$

|wq osx

(

‚

(w

"$

" "

z

“

_Q

S ”5433 Q

S M

76 R

P

;

S 1

B 0

7 c

797 0Q

2 , •–

]C , —

A

^ 1

B6 . ,

3S Q™

7 0M –

˜ c-V

(2)

A

a U

:9:337 S Q

B67 4 89 :57 W

7B75 B6 Q

79 Q

4

7 M

o

p

$

ƒ $

"

|

$

p

p "

|

$

{ tsu

q os

p " "

$

$

p

$

(

$

z~

$

"

( "

p

‚ "

„

‹‹

‡

z

z

$

"

x

$ "ƒ

|

$

w ""

p

( "

{

$

{

(

q os"

$"

p

p

x

z }

"$

$ x "

w

$

$

| $

| t"

| su

q os

p "

{

(

{

$

y

" "

z~

$

$

$

{

"$$ "

|

$ tsu

q os

p "t

| (

w u

w

y

"

$

(w $x

"

(

$"

z )

(

""

w "

y (

ƒ $

$

(

$

$

(

$



$

$

v

(w

$x$ "

} "$

$

y

x

x

v

"

z

s

$

w

y x

$

(

{

$ "

y (

ƒ $

$"

w

{

$"$

"

y (

ƒ $

$

$$

$

w

( "

(w

$x"

y (

ƒ



$

$

$

x

$

(

(

z o

y (

ƒ $

"

w

y x



$

( ""

"

$

$

|

$ tsu

q os

p "

z o

$

$

$

"

y (

ƒ

$

(



(

$

"

{

$

{ ‚

( (

$

$

"

(

$

w

"

$ $

( "" "

|

$

w

"""

w

$

"

y

$ "

y (

ƒ

$

x

{

(

v

p ""

$

p

y

|w

$ "

w

$

(

"

| tsu

q os

p "

z o

(

$

w

"

w

w

$ x

$

y

"

(

"

$

$



"

y (

ƒ

(

$

"

|

w

w

$

x tsu

q os

p "

w

y

$ x

w

w

$x

z’ $

|

(

"

$



"

y (

ƒ $

"

( "" " x

y

w

"

|

"

(

v

$"

x

y

w "

(ww

$

x

$

q os"

z

€



w

y {



$

"

w

}

(

$

| q

os"$ $

w

$"

$

"

p

$

"

(

$

v

v

$"

(

( "" "

w

$

"

y

$

y

}(

$

|

$"

v

$"$ $

$

$

v

x

$

( "

(

z~

p

$

y

|

$ "



$

|

(

$

"$ $$

(

$

|

$

{

w

w

$x tsu

q os



p

" " "

w

w

$x tx$

{

$

""x

(

‚ " u "

( $"

( "

$

$‚$

(

$

|

$

w

w

$$

"

( ""

{ "

( "

(

p

"

v

$"

z

$

x

"

$

"t"

| su

q os

p

q os

p

p

"

$

x

} "$

$

y

x

z o

|

p

$

w " ‚

{

$

(

(

‚ $

} "



$

$ x

""

|

q os

p

p



$

v (

" t

z p

z

} "$

$

x

"" "

(

x

v

|

$

w

"$

(

(

‚

|

s

ww

(

$

p

€

$o$$

q

(

" "

!"#$

%u

z

 " "

$

( p

p

x

w

"$

$ "

z’ "

{

$ $

(

(

‚

p

} "$

$

x

""

|

$

(

$

|

$

{ t"

| su

q os

p

" "

p

(



x "

}

(

$"

z o

"

p

y

| "

v

$" t"

y (

ƒ $

" ux

p

$

$ "

w

( "" $

$ " r

"$

x

(w "

(

x

z ~ (

(

$ "

‚

{

$

x

} "$

$

y

x

"

$"

„

‹Ž

Œ‡

"

$$

v

ƒ $

"

(

x

"

z &

w

y p

p "

| q os"



x

y

$

p

x

y (

$

v

"

x

( ""

|

"

| s

q os

p "

v

p

"

$

"

|

ƒ

$

"

{

$

p

"

$

$

"

(

x

(w

$

|w

$ s

q os

p "

(v

"

y

z



"

p

v

$

{p

x

y (

$

v s

q os

p ""

(

$ $$

(

$ "

} "$

$

y

x $ "

(

$

(

x

"

$

{

$

p

x

y(



$

v s

q os

p

z



$

"

| „

Œ‡

p $

(

$

$"

| w ""

p "

$



$

| q os"

(

"

w ""

p "

{

$

(

$

$"

$$ € €

~

r

w

$

| „

Œ‡

$

x

$

{ ‚ t

„

Ž

‹'‡u

"$

p

€ €

~ t

„

‹

‡u

(

"$$

(

"

(

"$x "

„

Œ‡

$

$ "



$

|

w

{

‚ "

(w

$

(w

}

$

y

(

x$

y|

$ "

$

{

"

w

$

(

"

(3)



"

p

ƒ

"

|

{

"

z o

(

$

Ž

(

"$x

(

‚

p | q os"

q os

p "

z o

(

$

'

$

(

" $

(

$

| q os

 p

p "

z o

(

$

Œ

( " $



$

|

} "$

$

(

x "

| q os

 p

p "

z

$ " "

{

o

(

$

" …$ $

(

p

$

(

(

‚$

} "$



$ x

""

|

$

(

$

|

$

{

} "$

$

y

x

q os

 p

p "

{

"$ "

x

w "

(

&

(w

$t

{ ‚€ €

~ u

o

ˆ s

t"$

p

€ €

~ u

{

$"

y (

ƒ $

"

$$

(

$

"

p

( ""

z o

(

$

Š



"

|

$ $"

( (

"

$

|

(

$

s

q os

p "

z

mij lgk

 x

p

{

$

{

( $

"



$

|

"

t"

|

"

$u

{

(

"

( x

}

(

$

"

| (ww

(

$



$

( "

| s

q os

p "

{

(

p

$

"

| s

q os"$"

z

%

$

}



$ "$"

|

"

(

$

v

y

z



( "" "

w

y

|w

v

$"

v

$"

v

$"

z



$ " $ "$

|

$

y "

|

v

$"

|

q

os "

{

t

u

t

u

t

u

z

€

(

{

$

{

$

"$

(

$

"

|

"

(

$

v

y

$

$

(

"

( ""

t

t

u

u



{q os"

v

z

!"# $%&%'$ () *

"

+

+

t

,

-. t

/

u

0 1

u2

3 ,

4

%

2

5

- t

6 u

5

-

, 7

3

%

/

,

-8 9

t

u

3 .

, 7,

5

4

:

3

%

. t

6

9 u

6;

- t

6

9 u

t

u

- t

6;

u

t

u%

3<

=

">? @A@B C

%

6

9 /

6D

9 -

t

6

9 u

- t

6D

9 u

t

u

. t

6D

9 u

4

. t

6

9 u

/

E .

t

6D

9 u F

. t

6

9 u

4

G

3

/

%

0 1

/

H

0 I

t

6.

t

6 uu

5

3

"

"

%

.

:

2

-8 9

tu

-8 9

tu

|

z

‹

}

$ "$

p



$

| „

‡

t" "

„

Œ‡u

x

y(

"

pw "



"

p "

{

$

$

v (

$

$"

z



$

$

{

$

$

v "

$

$€ €

~ (

$

z

J

K

JL r

"$ $

6

9 /

6D

9 -

t

6

9 u

t

u

- t

6D

9 u

t

D u

. t

6D

9 u



$

. t

6

9 u

/

E .

t

6D

9 u

z

z

$

" "

p

(

|w

$

z

 2

M

J K

JL r

w

$

"

|

z

‹

w

"$ $$

"

w

y

€ €

~ (

"

|w

$

"

$

$

y "

|

v

$

"

t

u

z

p

$

(

x

x

w

"

$ "

$

p

€ €

~

"

w

$

(

" "

{ ‚

ƒ



x

$

y „

‹‡

{

(

(

x

$

{ ‚

€ €

~

"

w

$

(

"

„

‹'‡

z ˆ y{

y

t

u

(

x$

y "

$" "$x "

$ "

| x

$ € €

~

"

w

$

(

"

v

$

p

(w

}

$

y "

$ "

w

$

(

"

"

z

#

v

s

q

osN t,

-. t

/

u

0 1

u $

O

P x$



}

v

$

"$

v

(

"

|

$

$

/

|w

|

z

‹

| N "

w

$

| ,

(w $x

{

$

O

P

Q|

N "$

w

p

|

}

$

"

|

N

$

w

-

, 7 t

( $ "

{ | Ru

%

$

STU tNu

$$

(4)

@

a U

:9:337 S Q

B67 4 89 :57 W

7B75 B6 Q

79 Q

4

7 M

"$

|

ƒ $

"

| N

z

€

"$

| s

q

os" $STUt u

$$

|

STU tNu

| N

z

%

ƒ $

"

(

x



w x "$

(

$

y

"

|

{

"

!"# $%&%'$ )

STU

R

%

2

%

%

t

u

%

t

u

5

4

%

%

K

J K

JL

2%

5

%

%

T

%

%

T

%

ˆ y

ƒ $

|

"x

p

"

$

STU

t$

w

y

$ x$

(

"

|

s

q osu

z s

v

"

y x

(

"

|{ ‚

"$

p

€ €

~

{

9

STU

"$

ƒ $

|

q os

+ t

u

U

-. t

/

uu

{

$

-

tTu

T

/

| T

/

.

tTu

|

$ $$

t

u

((

" $

w "

9

$ $$

t

u

((

"$

w "

9

|

"

w

z

!"# $%&%'$ ) 2

2

D STU

F

D

G

%

+ t

u

+

t

D u

J 5

S STU 2 2

„ S

‡

DD S

*

S

STUt u

"

$$

v "$%

%

SSTU tNu

%

N

5

%

„ S

‡

STU t u

’

(

$

|

{

p

$ "

z

€

yq osN

STU

tNu "

r

v



(

( ""

STU

z

€

yq osN

|

y STU

STU tNu

|

y

|

N " "

w

(

$

+ t

u

z ˆ

"

w

$

y "

$

|

x

$

y

s

q os"

z

€

"$

( t

t

uut

t

uut

t

uux

p

"

$

STUtNu

|

$

{



$ s

q os"N

{

$

w ""

"

w

$

(

x

y.

$

{

$$

"$

{

$$"

(

(

$

z

!"

#

$ %

#&'#&

!"

#

$ %

#&'#&

()

* + I,-.

+

67B M

:\

0 1

M

: Q

B -0

7B 1

S : Q[/V

%

#0&

1

2

3

!

$

#

$

!"

#

$ %

#&'#&

!"

#

$ %

#&'#&

()

* + I,4.

-

7 1

S 0

U

:BY -0

7B 1

S : Q[5V

’



$

( (

$

$

N

96 N

;|

$

{ s

q

os"N t,

-

.

t

/

u

0 1

u

"$"$

| s

q

os"N t, 97

,

;

- 97

-

;

. t

/

u

0 1

u"

( $ $

.

t,

8

,

u

.

/

t, 8

,

u

/

| T

‹

Ž

6

,

;

6 O

P 6D

$

6D ,

;

|

66D ,

97

,

;

(5)

’ $

96

; x$

| N

96 N

;| N

T

‹

Ž

(

{

p

v

"

(

$

|

"$"

| q os"

{

$

$

$

"

z

!"# $%&%'$ ) * "

t

7

u 2

t

7

u

4

%

4

5

"

t

u

4

S t u

%

q os"

t

u

6

t

9 u

6 6

t

u 2

9

%

4

"

"

|

%

5

t

u

6 6

t

u

"

$

$

v

y

$ "

w

$

(

"

| s

q os

p " "



"

p

$

( (

$

$

|

$ s

q

os" x

p

$

v

$

( "

w

$

p

$ $ "

$ "

p "

z&

$

(

$ $

t

u

6 6

t

u

w

y (

$

x$

y w x

| s

q os" x

$

$

w

"$

|

$ " s

q

os" "

q os

}

w

|



"

| s

q os

p

" t

7

u

{

7

$ s

q os

t

u

" "

p

v

$ x

{

$

t

u $ s

q os

t

u " "

p

v

$ x

{

$

t

u

z

$

$

{

v

$"

(

$ x

w

$

(

x

y.

t

u

6

t

u

z&

$

(

$ $ $ " " s

q o#

„

‹Ž‡

z



"

{

y {

$

{ s

q

o#" "$ $"

| s

q o#"

$

( ""

y

} "$

$

y

x

( $

q

ƒ

‚

{

(

ƒ

$

(

(

p

|

$

"

$"

| „

Œ‡

$ $

{

"

|



w '

| "

z

€

p

z

‹ Ž"

{

$

{ tsu

q os

p "

z



"

x

{

$

q os"

z s

(

$

$

p L

!

$

(

v

$

5

p

v "

q os

{

$

'

v

$

"

z



(

$

| L

!

$

v

$

5

t

9 u

z~

$

(

$

y

$

v

$

5

$

(

$

|

t

; u

z

ˆ

"

| s

q os

p

w

y

{

y

"x

}

$

"

|

s

q os



p

D

$ $ "

p

{

(

(

" x

{

$ "

p

v

$

"

(

$ $

S

t uSt

D u

z

$

|

{

p

v

y

"

| s

q os

p

" ""

w

$

x

$

w

(

z



}

"

y

" x

y

$

{

y

p

"

$$

v "$

| S

t u

z

ijklmh j

gl

$

w

"$

$

(w

}

$

y| "$

x

$

"

y

"$

w "

(

$

" $ "

"



x

$

v $

"

"

"

(w

"$

$

$ $

{

"

"

$

{ v



$

"

(

$"

| "

y

"$

w

"

y

"$

w

"

(

$"

s

q os

p "

{

$

"



$

"$"

|

(

"" " $

( (

$

$

|

$

q os

 p

p "

(

x

"

$

$ "



(

$

z " "

w

(w

"$

{

$ "

y (

ƒ $

(

x$ "

"

z ’

"

$

"

$

v

$"

|

$

$

{ q os

p

"

( ""

}(

$

|

$

(ww

v

$

"

$ $

"

v

$

$ "

y (

ƒ

$

z ’

r

$ $

(ww

v

$

"

$

v

$

"

z

€

w

y {

$

{



"

}

$

"

|

$

| {

"

z



$

"

(

$

{

$

p

p

p

(

x

"

(

|

$ "

y (

ƒ $

"

$

(

$

$ "

x

$

$ "

{

$

( p "

p



(

$

y

$

"

$"

|

$ "

z ){

v "

y

(

ƒ

pw ""

p "

(

( p $

"

$" "

{

(

( "

v

$"

"

p

"

w ""

p " x

$

$

$

$

{

y

z

€

"$

{

( $



$

|

$

9

; |

$

{ p

p "

9

;|{

"t"

„ '‡u



$

{

x$"

9

;

$

( ""

y "

$

(6)

a U

:9:337 S Q

B67 4 89 :57 W

7B75 B6 Q

79 Q

4

7 M

%

$

9

;

z

€

T

‹

Ž

$ R7R

x$

r

w

w "

w

"

(

$ $t

u

|

t

u

$

{ "

z



9

;

t

u

T

‹

Ž

"$"$

|

{

"

R

{

$

"

(

$

v

(

$

"

t

u

zz p

z

t

"$"

y (

ƒ

p

(

$

u

z

!"# $%&%'$ )

J T

‹

Ž

"

9

;

t

u%

w

}

(

$

9

;

+ ttSTUt

9 u

STUt

; uu

STU u

"

9

;



w

}

(

$

$

"

v "

$

(w

"$

p

p "

|

$

{ s

q os



p

"$ $"

y

$

v

$" " "$

(

"

|

$s

q os

p "

9

;

|

€

p

z

‹Ž

z

 "

y (

ƒ $

5

"

"$ $

yq os

St

9 u

St

; u

$ "

v

v

"

{

" "

(

r

"$

|w

$

(

$

"" $

(

$ "

pp

z



" "

y (

ƒ $

""

v

$

v

w

}

p

(w $x

|

pw

$"

|

$

$

{ s

q os

p "

"$ ""

p

$

N

{ x

"

v

y

{

$N

"$

| N

z&

$$ $

v

$

p N

9 N

;

q os"

N

9 N

;w

y(

$

w $

q os

z

{

‚€ €

~

"

w

$

(

"

w

}

p

ƒ $

"

{ "

y

"

y

ƒ $

"

|

(

$

|q os"

z

){

v

$

(

$

|

$

{

ƒ

$

"

|

"

$

p

€ €

~ q

os"

w

y (

$

{

"

$ $

$

ƒ

$

"

|

"

$

p

€ €

~ q

os"

z

$

"

(

$

p {

$

STU

{

"

"

$

‚

y

ƒ

$

"

| t"

$

p

€ €

~ u

q os"

z

'

'%&%'$ ()

STU t

9

; ut

STU t

9 u

STU

t

; uu

STU

%

!y



$

9

;

+ t

STU t

9 u

STU

t

; uu

+ t

STU t

9 u

STU t

; u

STUu

z &

$

( $ $

+ t

u " 

| STU

z q

v

STU t

9 u

STUt

; u

STU STUt

9

; u x

(

"

STU

tNu "

r

v

(

( ""

z&

{

$

STU

tNu N

+

tSTUtN

9 u

STU

tN

; uu

|

"

w N

t

T ‹

Žu

zˆ p

"

p

$

$ "

|

STUtNu

{ ‚

{

$ $N

+ t

u

z



|

STUtN

9 u

STUtN

; ux

y%

ww

‹t"x

{ u

z

">() tSTUtN

9 u

STUtN

; uu

STU

F %

G

%

%

$

STU tN

9 u

STUtN

; u

STU

{

$ $

"

{

$ $

|

y D

STU

t

|

z

Žu

| + t

u

+ t

D u

"

w

(

$

D STUtN

9 u

STU tN

; u

z

%

$

9

z

€

w

|

z

Ž

D

D

9

D

$

} "$"

x

(

$

‹

U

7

‹

U

"

(

$ $

D

z

€

‹

Ž $

,

T

‹ O T O U

,

D

T

‹ O T O U

D

$

"$

(

$"

(

"$

(

$"

$

x

(

$

"

,

7 ,

D

(

+ t

t

uu

+ t

t

D uu

"

w

(|

‹

Ž t

{

t

u

t

D u

$

"

(

$

v

(

$

"

|

D

R

u

z



|

t

D u

STUtN

u

|

‹

Ž

D STUtN

9 u

STUtN

; u

z

){

v

N

9

N

;w

y x

p

$

+ t

9 ;

u

|



}

"



$$

"

9

STU tN

9 u

; STUtN

; u

z

 ""$

$

"

"$

$

{

$

9 t

t

9 uut

t

9 uut

t

9 uut

t

9 uu

D t

t

9 uu

;

t

t

9 uu

;

(7)

; t

t

; uut

t

; uut

t

; uut

t

; uu

D

; t

t

; uu

;

t

t

; uu

;

t

t

9 uu

;

t

t

; uu

;

t

t

; uu

;

t

t

9 uu

;

z

N

9

+ t

9 u

+ t

D

9 u N

;

+ t

; u

+ t

D

; u N

+ t u

z



"

"

y (

ƒ $

z&

{ N

+ t

D

9

D

; u x

$ N

+ t

9 ;

u

z

 "

x "

v

$

"

{

" $ $

(

$"

w

"$ x

{

$

(

z

v

$

p

| s

q os

p " "

$

"

$

p "$"

|

ƒ $

"

{

$"

w

"

x "$"

|

"

$$

v "

z ){

v

9 "

"

$$

v

| N

9 ;

"

| N

;

x

$

9 ;

"

$ "$

|

"

$$

v "

| N

9 N

;

z

j lgk

ji

gk

ijklmh

’

v

{

$ " "

(

$

{

y

"

| ( ""

|y

p s

q os

p

" x "

x "

| (ww

(

$

(

"

{

}

w

{

$ "x "x

v

(

$

| s

q os

 p

p "

|(

"

q os

 p

p "

{

$

"



$$

v "$"

"

(

$

p

"

$$

v "$

|

$

p

p

|

"

| s

q os

p

w

y x

x$

x

y

}

p

$

$

w

( s

q os



p

D

"

x "

v

„

‹Ž‡

$

|

{

"

|w

w

p

ww $ $

{

v

S STU "

p

"

$$

v "$

|

"

w

$

{

"

S

|w

y



x

|

"

w

‘ "



|

$

z

€

"$ $



$

|

( 

"

$ "

w

$

(

"

z

$

{

‚ € €

~

"$$

p

( "

$

t

u "

w ""

t

t

u "

(

$

u

$ "

(

z

$ "

$

p

€ €

~

"

$$

p

( "

t

u "

w ""

t

t

D u "

(

$

u

$ "

(

|

yD

zˆ {

R "



| |

y



} |

y (

$

w x

|

w ""

"

}(

"

$

w x

|

(

$

"

x

y

$

w

"

$

z

ˆ q

os

N "





|

v

y

ƒ $

STUtNu "



x

q

osN "





|

"

w

ƒ

$

STU tNu "



x

"

$

|

q

os" "





|

q os"N





x

"

5

|

$ "





x

|

"

w

z

%

$ STU t u

$

$ "

$

|



x

{

"

STU

t u

z s

y

y {

$

p

"

$

$

v "

$

"

} "

$

$

y



x

|

"

w x

$

$

w

y

$ x





x

|

y

z s

v

"

y {

q os

 p

p

"





x STU t u "

"

$$

v "$

| x

$

$ "

$

( ""

y

p p

p

z

'

'%&%'$ )

STU t

9

; ut

STU t

9 u

STU

t

; uu

STU

 x

v

"

$

"

{

"

$ $$

w

}

(

$ x

v "

(

y{

$

"

(

$

$

x

ƒ

$

"

z

|

9

;





x

$

STU

t u

STU t u

"

p

z

‹

$

(

$ " "





x

z ){

v

$

w

y ((

$ $ x

$

9

;





x

x

$

$

w

}

(

$

"

$

} "$

$

y

x

z

€

"$

(

|

$ N

9 x $

q os

{

$

w

""

p "

9

|w

$

N

;

x $

q os

{

$

w

""

p "

; |w

$

z ˆ

$ "

q os"



‹



x

"

( t

t

9 u

t

9 uu

STU

tN

9 u

" ‹



x



9

N

9

‘

;

N

;

‘

$

"

(8)

a U

:9:337 S Q

B67 4 89 :57 W

7B75 B6 Q

79 Q

4

7 M

9

;



‹



x x

$

9

; "

$





x

|

y "

(

+ t

t

9 u t

t

; u

t

; uu

t

9 u u

9

; x

$

$ "

$

 t‹u



x

z

!"# $%&%'$ )

"N t,

-. t

/

u

0 1

u

6

5

,

6 6 6D

%

5

%

%

6

T

6D

T

4

6

6

'

'%&%'$ "> %$

(()

*

"

N

%

5

%

/

6

5

%

5

%

/

6

5

|

N "





x

$

N "



D

x

|

D

x

(

"

6 "

(

$ "

$

$

(

$

p 6

0 1

/

z

€

"$

(

+ t

t

9 u t

t

; u

t

; uu

t

9

u u$t

u

$

$

T



$

|

v

$" t

t

9 u

t

9

uu t

u $

T



$

|

v

$"

t

t

; u

t

; uu $

/

9 6

8 9

/

E 9 6

8 9

"

(y (

z

jgnh jik

ijklmh j

gl

$ "

w

$

$ $

y

ƒ

|w

y q os

 p

p " "

(

|

{

p

$ "

q os

p "

"

$

p

"

p $

p

$

"

(

"

z q

"$

|

$

(

x

(

" "

„

Š

‹…‡

$

y

" "

|

q os

 p

p

w

$"

$

(

(

‚

$

$

w

w x

"

|

p

v

q os N

{

$

STUt u "

w

$

y

$

"

(

$

{

$

p p

p

t

"

$

p

$

(w

w

$

|

"

$

y u

z

$

(

"

|

(

$

p

p

9

; w

w x

"

(

x

(

(

‚

"

p

$

(

$

" "

( N

9

;

|

y

| tNu

| T

‹

Ž

z

){

v

$

y

"

p

$ "

| S

t

9 u

S

t

; u

|

$

"

(w

$

p "

| s

q os

p

"

(

$ $ S t u

S t

9 u

S

t

; u

z

$

(

"

} "

$

$ x

|

$

(

$

z

|

$

$

y

$

$

w x

{

"

{

"$ $

(

$

(

{

$

"

(

} "$"

{

9

;

"

v

$"

$

{

( "" "

w

z

"'

" ()

9

;

2

F % G"

K

2

S t

9 u

St

; u

5

2

M

J K

JL

%

’ "

{

$ $$

"$

(

"

(

x

w w

y x

(

$

$

x

v

( "

x

w

z

#

v

$

{



$ "$"

|{

"

9

9

"

w

x$

{

$$ "$

$

{

"

yw x

" $

x

w "

$

(

{

$

|

"

w



w

$

y

" r

(

|

( "

T

9666 T

z

 "

x

w "‚

{

$

x

(

x

| U

Š

z

#

v

"

$

(

|

$

"

$

(

"

(

x

w

$

{ "

$

"

| {

"

9

9

(

"

$

$

{q os

p "

9 t

7

9

u

; t

7

;

u

{

$ $ "

w

y

p p

t

7

u

(

"$

(

$

"

|

{

" t

9 "

$

y

"

{

€

p 'u

Références

Documents relatifs

A universal chart typically consists of two components (basic charts): a prechart and a main chart.. The intended meaning is that if the prechart is executed (i.e., the under-

Namely, in the definition of an HMSC, a concatenation of MSCs along a path intuitively suggests that messages that appear in an earlier MSC precede in time any message that appears in

The formula expresses that, a parametrized event trace τ = (σ, ρ) satisfies the formula ϕ(P U) if and only if σ is in the language defined by U ch, and the parameters carried by

We propose a timed model of communicat- ing finite-state machines, which communicate by exchanging messages through channels and use event clocks to generate collections of

It is quite easy to observe that a word w ∈ 1-closure(L) if and only if there is a firing sequence labelled w from the initial marking to some final marking.. This leads us naturally

In other words, there are two partial orders associated with each MSC: the visual order, which corresponds to the graphical description of the MSC, and the causal order, i.e., the

Namely, in the definition of an HMSC, a concatenation of MSCs along a path intuitively suggests that messages that appear in an earlier MSC precede in time any message that appears in

In practice, the future of a TSC usually speaks about some behavior of the environment that is not under control of the ego vehicle. At least it is not the intended strategy for