• Aucun résultat trouvé

Causal Message Sequence Charts

N/A
N/A
Protected

Academic year: 2022

Partager "Causal Message Sequence Charts"

Copied!
39
0
0

Texte intégral

(1)

! " #$

%

&$'(

) * +,

- . /

01

2

3

' 3

"

45

6

' "

-7 89:

%

;<

=> ?@ 1A<

2

3

' 3

"

4536

' 34

-7 89:

%

B

C D

C

E

":

FGGH GI G

&JK

9L

- 6

8 G

98 H

. 9

M%

$ # GI

"

9L8J G %

D N

O

. 6

. P

33

"Q

- R 8:8

G,

STUV WXYV

Z

[\ ]^_ `a b^]c d^c\ e f ^e\ g a ] h\ ee^c\

Z

\ id\ ][\ j k

^_le mh Z

jen k

^o\ f\\ ] p`g\

q

br eldg`\ g `] l k

\ b^el g\ [^g\s t k

\ k

`c k

\u v_\ ee`o\ vap\_ aw h Z

je _\ ]g\_e x^]r

f ^e`[ v_af b\ xe[a ][\_]`]c l k

\ e\ b^]c d^c\ e d]g\ [`g^f b\s yap\o\_z e\o\_^b aw l k

\ e\

v_af b\ xe^_\ g\ [`g^f b\wa_ b^]c d^c\ e

l k

^lva ee\ ee^f\

k

^o`a_^bv_av\_lr[^bb\ g {\u

q

`el\ ]l `^bbr fa d]g\ g|s }]wa_ld]^l\ brz [a bb\ [l `a ]e aw e[\ ]^_ `a e a dle`g\ l k

`e [b^ee ^_\

w_\ id\ ]lbr\u k

`f`l\ gfrerel\ xeed[

k

^eeb`g`]cp`]gapv_ala[a bes~\ v_ava e\

k

\_\

^]\ul\ ]e`a ]awh Z

je [^bb\ g[^de^bh\ ee^c\

Z

\ id\ ][\ j k

^_le^]g^]^ld_^bx\ [ k

^

q

]`exwa_g\



]`]cb^]c d^c\ eaw[^de^bh Z

je[^bb\ g[^de^byh Z

jemj^yh Z

jenst k

\ e\

b^]c d^c\ ev_\ e\_o\ g\ [`g^f b\ v_av\_l `\ ep`l k

a dl _\ id`_ `]c \u`el\ ]l `^b fa d]ges €d_

q

l k

\_z

l k

\r[^]xag\ b[a bb\ [l `a ]eawe[\ ]^_ `a ec\ ]\_^l\ gfreb`g`]cp`]gapv_ala[a bes

~\ \ el^f b`e k k

\_\ l k

\ f ^e`[ l k

\a_r aw j^yh Z

je ^e p\ bb ^e l k

\ \u v_\ ee`o\ vap\_

^]g [a xvb\u`lrawg\ [`e`a ] v_a[\ gd_\ ewa_ o^_ `a deedf[b^ee\ eaw j^yh Z

jes~\ ^bea

`bbdel_^l\

l k

\ xag\ b`]cvap\_ awa d_wa_x^b`exp`l k

l k

\ k

\ bvaw ^_\ ^b`el `[\u^xvb\

f ^e\ ga ]l k

\ tj



eb`g`]cp`]gapw\ ^ld_\s

‚ ƒ „… †‡ˆ‰Š…‹‡„

Œ

Ž 

‘

’“

‘”•–



•

’

•



‘

— ˜

”

˜



™ š

›

•”š



œ

”•–

˜— ˜

œ

“˜ “ž Ÿ

”

Ž˜ž“

‘ 

˜

’

”

˜

¡

š

Ÿ“Ž ’“˜

”–•



”

˜

œ



¢

“˜ 

œ

“ Ž

‘

— ˜

œ



–

“˜ 

™ š



•š

“  œ”



•£



•

’

œ

ž

”

˜ ’ 

”• ”

˜

•

¤

¤“

‘‘

˜

œ

›’

”

“’ ¥

™

Ž 

• ”•

œ

Ž’›

š

œ

”



•

œ



œ

ž“ ’“˜

”–•



•

’ Ÿ

‘”

’ 

œ

”



•



™ š



 

›

œ

“Ž

 

Ž

œ



š



‘

˜

£

¤“ Ž“

™

“Ž

”•

œ

“Ž“˜

œ

“’ Ž“ ’“Ž˜

œ

 ¦

§¨

©ª«¬

Ÿ“

• ”™

˜

™

œ

¤Ž“

š



 



•”

“˜ Ž“

­

&8 H

8 ++ %

$$

%

$® l k

a x^esc ^¯^c ]^`_\°[`l_ `us[a x mt k

a x^e ±^¯^c ]^`_\nz

f b^`e\sc\ ]\ el°`_ `e^sw_ m

²

b^`e\ ±\ ]\ elnz b k

\ ba d\l°`_ `e^sw_ m

³

a

´

µ[ y\ ba d¶

´

\lnz l k

`

q

^c d°[a xvs]des\ gdsec m



s Z

s t k

`^c ^_^

·

^]nzrew°``elsd]ds\ gd m Zk

^aw ^ ¸^]cns

¹

~a_º ga ]\ p k

`b\ l k

`e ^dl k

a_ p^e^l » ¼»

Z½¾

» ¿¼»

½

z €_^][\s

À À

(2)



œ

“ Ž“›

œ



œ œ

 ˜ “ ’

œ

 › ž

œ

“ ’“˜  ’ › ’ 

œ

Ž  ’

¡

“

‘

˜˜›

š

ž ˜ “

œ

Ž

”

“

œ

˜

Ž

Œ”•”

œ

“

œ



œ

“˜ — ˜

œ

“˜

£™

Ž 

‘

’“

‘



™

“ž Ÿ

”

Ž˜Ž“

“

š



”•–

Ž“

•

’ Ž“

™

Ž“›“

•œ£•



œ

˜

™

Ž 

‘

’“

‘

˜  

“Ž˜“

£

›

œ

Ž 

œ

ž“Ž ˜

’

š

›“

•

œ



œ

”



•



™  

Ž

œ

˜ 

™

 ˜— ˜

œ

“

£

¤Ž

”

œœ

“

•

¤

”

œ

ž ˜

œ



•

’ Ž’

•



œ



œ

”



•

˜ ˜›

š

ž ˜

«

¤

£

¡

‘”¢

“

•



œ



œ

”



•

˜Ž“

•



œ



‘

¤— ˜ “›

”  

“’ ¤

”

œ

ž

š‘

“ Ž˜“ 

•

¡

œ”š

˜

£



•

’ ¤ž“

•

œ

ž

”

˜

”

˜

œ

ž“

š

˜“

£

œ

ž“

 

Ž

 

˜“’

™

Ž 

‘”

˜ ’“˜

•



œ

•

“

š

“˜˜Ž

”‘

—

ž Ÿ“

œ

ž“ “  

Ž“˜˜

”

Ÿ“

 

¤“Ž

•

““’“’

œ

 ’“

‘



‘‘

“ž Ÿ

”

Ž˜ 

™

œ

ž“ ’“˜

”–•

“’ ˜— ˜

¡

œ

“

« •

’““’

£



•

“ ›˜›

‘‘

— ž Ÿ“

œ



š

ž˜“ “

œ

¤““

•

œ

ž“ “  

Ž“˜˜

”

Ÿ“

 

¤“Ž 

™



’“

‘



•

’

œ

ž“ ’“

š”

’ 

”‘”œ

— 

™

˜“ 

•



‘

— ˜“˜

«

™

Ž“›“

•œ  

Ž

‘

“ ¤

”œ

ž

š



¡

›

•”š



œ

”



•  

Ž

œ



š



‘

˜

£ ™

Ž

”•

˜

œ



•š

“

£ ”

˜

œ

ž 

œ œ

ž“ ˜

œ



œ

“ ˜  



š

“ 

™

œ

ž“ ’“˜

”–•

“’

˜— ˜

œ

“

š



•

“

”••”

œ

“

«

ž“ ˜

‘

›

œ

”



•

˜

œ

 ’“

‘



• ”••”

œ

“ ˜

œ



œ

“ ˜— ˜

œ

“˜ Ž“

œ

ž“

•

œ

 ˜

œ

Ž 

šœ

  

Ž

œ



™

œ

ž“ “ž Ÿ

”

Ž

œ

  

”•œ



”•

œ

ž“ ’“˜

š

Ž

” œ”



•

˜ 

¡

•”œ

“ ˜

œ



œ

“ Ž“

 

Ž“˜“

•œ



œ”



•

Ÿ“Ž ¤ž

”š

ž

‘



–”š



‘  

Ž

 

“Ž

œ”

“˜ Ž“ ›˜›

‘‘

— ’“

š”

’ 

‘

“

£

Ž

œ

’“

‘

œ

ž“

˜

œ



œ

›˜



™ š

›

•”š



œ

”



•š

ž 

••

“

‘

˜

£

˜

”•š

›

•”š



œ

”•–•”

œ

“

˜

œ



œ

“  

š

ž

”•

“˜Ž “

œ

Ž

” •

“

œ

˜

£

›

œ

‘

˜“ ’“

š”

’ 

”‘”œ

— 

™

˜

œ



™ ‘



–”š



‘ 

Ž

 

“Ž

¡

œ”

“˜ ¥˜““ ¦

£§§

©

™

Ž

”•

˜

œ



•š

“ ª«

Œ

Ž 

‘

’“

‘”•–



™

’

”

˜

œ

Ž

”

›

œ

“’ ˜— ˜

œ

“˜

”

˜

œ

ž“

•



œ

Ž ’“

“

œ

¤““

•

“  

Ž“˜˜

”

Ÿ“

•

“˜˜ 

™

 ’“

‘



•

’ ’“

š”

’ 

”‘”

œ

—



™



•



‘

— ˜“˜

«

’“

‘

˜˜›

š

ž ˜

 

Ž

š

“˜˜

‘–

“Ž 

£

¡



‘š

›

‘

›˜Ž

š

›

•”š



œ”•–

•”œ

“˜

œ



œ

“ 

¡

š

ž

”•

“˜

™



š

›˜



•  

Ž

š

“˜˜

—

 

Ž

š

“˜˜ ’“˜

š

Ž

” 

œ

”



•



™

“ž Ÿ

”

Ž˜

«

ž“— Ž“

š‘

˜“

œ



”

  ‘

““

•œ



œ”



•

˜

£

›

œ

Ÿ“Ž—

™

“¤

 

Ž

 

“Ž

œ”

“˜ Ž“ ’“

š”

’ 

‘

“ 

•

œ

ž“˜“ ’“

‘

˜

«

š

“

•

Ž

”

˜

 

Ž

 

˜“  ’

”

“Ž“

•œ

’“

‘”•–  

Ž ’

”–



£

™



š

›˜

”•–



•

š



 

˜

”œ”



•

˜



™

˜

”

  ‘

“

•”

œ

“ ’

”



–

Ž ˜ ’“˜

š

Ž

”



”•–

œ

ž“

”•

œ

“Ž 

š

œ

”



•

˜



™

˜“Ÿ“Ž 

‘  

Ž

š

“˜˜“˜

—

“ 

•

˜



™

“˜˜

–

“˜

«

ž“ ’

” š

›

‘œ

—

œ

ž“

•

’“˜

•



œ

Ž“˜

”

’“

”•

œ

ž“

 

Ž’›

šœ”



•



™

œ

ž“ ˜“ ’

”



–

Ž ˜

£

¤ž

”š

ž Ž“ 

™

œ

“

•

›˜“

š

˜“˜ 

™

œ

ž“ ˜— ˜

œ

“

£

›

œ

Ž 

œ

ž“Ž

”•

œ

ž“

˜

œ

›’— 

™

œ

ž“

”

Ž

š



 

˜

”

œ

”



•«

 ’ ˜

£

˜“ ’

”



–

Ž ˜

š



•

“

™

Ž 

‘‘

— ˜““

•

˜

 

Ž

œ”



‘

Ž’“Ž˜

«

 

“

š”™

—

”•– 

Ž

œ



š



‘

˜

œ

ž›˜›

•œ

˜

œ



š



 

˜

”•– 

Ž

œ”



‘

Ž’“Ž˜

£



•

’

”

’“  Ž

”–”•



‘

—  

Ž

 

˜“’ ’“

š

’“˜ 

–

 — ¦

©«

š

“

•

Ž

”



‘



•–

›

–

“˜˜“’ 

•

“˜˜

–

“ “›“

•š

“

ž Ž

œ

˜

¥

˜ ª

ž Ÿ“ “

œ

š



•

¡

˜

”

’“Ž 

‘

“

”•

œ

“Ž“˜

œ

”•

œ

ž“

‘

˜

œ

’“

š

’“ ¦

£££§£§££§

©«

ž“ 

œœ

Ž 

š

œ

”

Ÿ“

•

“˜˜



™

œ

ž

”

˜

•



œ



œ

”



•

’“Ž

”

Ÿ“˜

™

Ž

œ

¤ 

™ ”

œ

˜  

Ž

š

ž Ž 

š

œ

“Ž

”

˜

œ

”š

˜

«

Œ”

Ž˜

œ

‘

—

£

˜

ž Ÿ“

˜

”

  ‘

“

•

’   

“ 

‘”•––

Ž   

ž

”š



‘

Ž“

 

Ž“˜“

•œ



œ”



•

˜“’ 

•

›˜

œ



™

“¤

š



•

¡

š

“  œ

˜  

Ž

š

“˜˜“˜

£

“˜˜

–

“˜ 

•

’

”•œ

“Ž

•



‘



š

œ”



•

˜

«

ž“

–

Ž   

ž

”š



‘ •



œ



œ”



•

™

Ž

˜ Ž“

 

Ž“˜“

•

œ

˜  

Ž

š

“˜˜“˜ — Ÿ“Ž

œ

”š



‘ ‘”•

“˜

£



œ



”š



š

œ

”



•

˜ — ˜›Ž“˜

š



•

¡

œ



”•”•–



šœ”



• •

“˜ 

•

’

‘



š



œ

“’ 

•

  

Ž

š

“˜˜

‘”•

“

£



•

’ “˜˜

–

“ “

š

ž 

•–

“˜

— ŽŽ¤ ˜

™

Ž

œ

ž“ ˜“

•

’

”•–  

Ž

š

“˜˜

œ



œ

ž“ Ž“

š

“

”

Ÿ

”•–



•

“

«

Œ”–

›Ž“

§

š



•œ



”•

¡

˜

œ

¤

˜

š



‘‘

“’

¹



•

’

«

“

š



•

’

‘

—

£ ™

Ž   

œ

ž“ 

œ

”š



‘

˜

œ



•

’  



”•

œ

£

˜

š

“

•

Ž

”



‘



•–

›

–

“˜

š



•

“

–

“

•

“Ž 

œ

“’

—

•”œ

“

¡

˜

œ



œ

“ ›

œ

 

œ

 Ÿ“Ž 

•



‘ 

ž 

¡

“

œ



™

˜

«

ž“˜“ ›

œ

 

œ

Ž“

š



‘‘

“’

”–

ž

¡

‘

“Ÿ“

‘

“˜˜

–

“ “›“

•š

“

ž Ž

œ

˜

¥

˜ ª

¦

©«

˜

š



•

œ

ž›˜ “ ’“

•

“’

›˜

”•–



–

Ž   

ž

”š



‘ •



œ



œ

”



•

œ

ž“—

Ž“

–

Ž   

ž˜ ¤ž“Ž“ “ 

š

ž

•

’“ Ž“ “

”œ

ž“Ž 

˜

œ

Ž

œ

˜—

‘

¥ ’

¤

•

¤Ž’

 



”•œ”•–

œ

Ž

”



•–‘

“ ª

£



•

“

•

’ ˜—

‘

¥

•

›  

¤Ž’

 



”•œ”•–

œ

Ž

”



•–‘

“ ª

£



š



••

“

š

œ”



• 



”•œ

¥

š”

Ž

š‘

“ ª£

Ž Ž“

™

“Ž“

•š

“

œ

 

•



œ

ž“Ž

Ž

¥ Ž“

™

“Ž“

•š

“

•

“ “

•š‘

˜“’

”•

Ž“

šœ



•–‘

“ ª

¦

©«

“ž Ÿ

”

Ž˜’“

•

“’

—

˜

Ž“

˜

”

  ‘

—

š



•š



œ

“

•



œ”



•

˜



™

(3)

Ž““Ž“ “˜  

œ

ž˜ Ž˜

œ

Ž

œœ

 “ ’˜— ¥  

œ

“ 

œ

 ¤

“’“

•

“’

™

Ž 

‘‘

—

”•

˜“

š

œ

”



•

ª«

Œ

Ž“

 ‘

“

£

œ

ž“

˜ž¤

•”•Œ”–

›Ž“

”

˜

 ““Ž

™

œ

ž“

‘



•–

›

–

“

–

“

•

“Ž 

œ

“’

—

œ

ž“



™ Œ”–

›Ž“

§

¤ž

”‘

“

œ

ž“

˜ž¤

• ”• Œ”–

›Ž“

”

˜

•



œ

«

€`cs s

½

] yh Z

jao\_ lpa h Z

je

˜

Ž“ Ÿ“Ž— “  

Ž“˜˜

”

Ÿ“ 

•

’ ž“

•š

“ 

•

›“Ž 

™

˜

”š 

Ž

‘

“˜ ˜˜

š”



œ

“’

¤

”œ

ž

œ

ž“

š



••



œ

“˜

‘

Ÿ“’ “

“

šœ”

Ÿ“

‘

—

«

Œ

Ž

”•

˜

œ



•š

“

£”œ”

˜›

•

’“

š”

’ 

‘

“¤ž“

œ

ž“Ž

œ

¤

˜

–

“

•

“Ž 

œ

“

œ

ž“ ˜“

š



‘‘

“

š

œ

”



•



™

˜ ¦

©

Ž¤ž“

œ

ž“Ž 

•

–

“

•

“Ž 

œ

“˜Ž“

–

›

‘

Ž

‘



•–

›

–

“

•

‘



•–

›

–

“

”

˜

Ž“

–

›

‘

Ž

”™

œ

ž“

š



‘‘

“

šœ”



•



™



‘‘

œ

ž“

‘”•

“ Ž

”



œ”



•

˜ 

™



‘‘

œ

ž“

˜

”•

œ

ž“

‘



•–

›

–

“

”

˜  Ž“

–

›

‘

Ž ˜

œ

Ž

”•–

‘



•–

›

–

“

”•

œ

ž“ ›˜›

‘

˜“

•

˜“

«



•

˜“›“

•

œ

‘

—

£

˜›

š‘

˜˜“˜ 

™

˜ ž Ÿ“ ““

•

”

’“

•œ”

“’ ¦

££§

©



•

’

˜

œ

›’

”

“’

«

•

œ

ž“ 

œ

ž“Ž ž 

•

’

£

˜

”š‘”



”œ



œ”



•



™

˜

”

˜

œ

ž 

œ œ

ž“

”

Ž

‘



•–

›

–

“˜

Ž“

•”œ

“

‘

—

–

“

•

“Ž 

œ

“’

«

Ž“

 

Ž“

š”

˜“

‘

—

£

“ 

š

ž

”•

œ

ž“

‘



•–

›

–

“

š



•

“ ’“

¡

•

“’ ˜

œ

ž“ ˜“›“

•

œ

”



‘ š



 

˜

”

œ

”



•



™

“

‘

““

•

œ

˜

š

ž˜“

• ™

Ž 

“’

•”

œ

“ ˜“

œ



™

˜

¦

©«

¤“Ÿ“Ž

£

œ

ž“ “ž Ÿ

”

Ž˜ 

™

 

•

—  

Ž

œ



š



‘

˜

š



•

˜

œ”œ

›

œ

“

‘



•

¡

–

›

–

“˜

œ

ž 

œ

Ž“

•”œ

“

‘

—

–

“

•

“Ž 

œ

“’

«

ž

”

˜

šš

›Ž˜

™

Ž“

 ‘

“¤

”œ

ž˜

š

“

•

Ž

”

˜

–

“

•

“Ž 

œ

“’

—

œ

ž“ 

‘

œ

“Ž

•



œ

”•–



”

œ  

Ž

œ



š



‘«

›

š

ž  

Ž

œ



š



‘

˜

š



• ”•

’›

š

“ 

š



‘‘

“

š

¡

œ”



•



™

Ž 

”

’˜

‘”¢

“

”• Œ”–

›Ž“

¤ž

”š

ž

š



••



œ

“

•”œ

“

‘

—

–

“

•

“Ž 

œ

“’

«

•

“¤—

œ

ž 

•

’

‘

“

œ

ž

”

˜

”

˜

œ

¤Ž

¢

¤

”œ

ž

œ

ž“˜

š



‘‘

“’

˜ ¦

§©

”•

¤ž

”š

ž“˜

¡

˜

–

““

”

˜˜

”



•

˜

•

’Ž“

š

“  

œ

”



•

˜ Ž“’“

š

›

 ‘

“’

”•”•

’

”

Ÿ

”

’›

‘

˜›

œ

 

œ

š

ž“’

›  



œœ

ž“

œ”

“ 

™ š



 

˜

”œ”



•£

˜ ˜

œ



—

”

“

‘

’

•

«



 

˜

”œ”



•



‘

˜

Ž“ ž¤“Ÿ“Ž

•



œ



œ”



•



‘‘

— ¤

¢

¤Ž’ 

•

’ ’

•



œ  

˜˜“˜˜

œ

ž“ Ÿ

”

˜›

‘

   

“ 

‘



™

˜

«

Œ

›Ž

œ

ž“ŽŽ“

œ

ž“

–

“

•

“Ž 

‘ š‘

˜˜ 

™ š



 

˜

”

œ

”



•



‘

‘



•–

›

–

“˜

““’˜

œ

ž“

™

›

‘‘

“  

Ž“˜˜

”

Ÿ“

 

¤“Ž 

™ š

›

•”š



œ”•–

›

œ

 

œ

 ¦

©



•

’

š



•

¡

˜“›“

•œ‘

—

”•

ž“Ž

”œ

˜ 

‘‘

œ

ž“

”

Ž ›

•

’“

š”

’ 

”‘”œ

— Ž“˜›

‘œ

˜

«

ž

”

˜  

  

“Ž

 

Ž

 

˜“˜

•

“¤   

Ž 

š

ž

œ



”•š

Ž“ ˜“

œ

ž“’“

‘”•– 

¤“Ž

™

˜

”•



œ

Ž 

šœ



‘

“ 

••

“Ž

«

“

Ž˜

œ

“

œ

“

•

’

œ

ž“

•



œ”



•



™



•

œ



”•

¤ž

”š

ž

œ

ž“ “Ÿ“

•œ

˜“

‘



•–”•–

œ

“ 

š

ž

‘”™

“

‘”•

“¥  

Ž

š

“˜˜

ª£

”•

˜

œ

“ ’

™

“

”•–‘”•

“ Ž

¡

‘

— Ž’“Ž“’

£

Ž“

‘‘

¤“’

œ

“

 

Ž

œ

”



‘‘

—Ž’“Ž“’ ¥

œ

ž 

œ

”

˜

£

˜

”



”‘

Ž

œ



œ

ž“

•



œ



œ

”



•ª«•

Ž’“Ž

œ

’“

•

“ 

š



 

˜

”

œ

”



•

  

“Ž 

œ

”



•™

Ž

š

›˜

‘

˜

¥¤ž

”š

ž

”

˜

•



œ  

˜˜

”



‘

“

”•

œ

ž“

š

Ž“

–”



••



œ



œ”



•ª£

¤“ ˜˜›“  ˜›

”œ



‘

“



›Ž

¢”

“¤

”š

œ

Ž 

š

“

‘ 

ž “

œ

¦

¨

©

™

Ž“ 

š

ž

‘”™

“

‘”•

“

«

ž

”

˜

‘

“ ’˜

œ



œ

ž“

•



œ

”



•



™ š

›˜

‘

˜

«

˜



•

’

œ

ž“

”

ŽŸŽ

”



•

œ

˜

Ž“

™

Ž“›“

•

œ

‘

—

›˜“’

œ

’“˜

š

Ž

”

“’

”

˜

œ

Ž

”

›

œ

“’

˜— ˜

œ

“˜

¤ž“Ž“ “

•œ”œ”

“˜ 

™

œ

ž“

˜— ˜

œ

“

š

›

•”š



œ

“ ˜—

•š

žŽ

•

›˜

‘

—

«

ž

”

˜

”

  ‘”š”œ‘

—

(4)

€`cs s tpa h je ^]g

“ 

•

˜

œ

ž 

œ

š

›

•”š



œ

”



• š

ž 

••

“

‘

˜ “

œ

¤““

• š



 



•

“

•

œ

˜ 

™

œ

ž“ ˜— ˜

œ

“ Ž“

 

ŽŸ

”

’“’ —

œ

ž“

”

  ‘

““

•

œ



œ

”



•£



•

’

”

œ

”

˜

™

Ž“›“

•

œ

‘

— ˜˜›“’

œ

ž 

œœ

ž“˜“

š

ž 

•

¡

•

“

‘

˜ Ž“

ŒŒ«



œ

“ ž¤“Ÿ“Ž

œ

ž 

œ

š

ž 

••

“

‘

˜

•



œ

›Ž“

”

˜

•



œ  

Ž

œ



™



•

’“˜

š

Ž

” 

œ

”



•£



•

’

œ

ž 

œ

˜“

’“˜

š

Ž

” 

œ

”



•

˜ 

”–

ž

œ

•



œ

“ Ž“ 

‘”



‘

“ 

•



‘‘

Ž

š

ž

”

œ

“

š

œ

›Ž“˜

£

˜ ˜ž¤

• ”•

¦

§

©«

 

Ž

 

“Ž

œ

—

š



‘‘

“’

¦

§

©

‘

“ ’˜

œ

   

¤“Ž

™

›

‘  

Ž

™

œ

“

š

ž

•”

›“

™

Ž “˜

œ



‘”

˜ž

”•–

’“

š”

’ 

”‘”œ

— Ž“˜›

‘œ

˜

™

Ž

˜

«

•™

Ž 

‘‘

—

£

œ

ž

”

˜  

Ž

 

“Ž

œ

— ˜

œ



œ

“˜

œ

ž 

œœ

ž“Ž“

”

˜ ›

•”™

Ž ›   

“Ž ›

•

’

˜›

š

ž

œ

ž 

œ

™

Ž “Ÿ“Ž—

”•

œ

ž“

‘



•–

›

–

“



•

““

š

›

œ

”



•



‘



•–

¤ž

”š

ž

¡

™

Ž ˜

œ

Ž

œ œ



•”

˜ž

¡



‘‘ š

ž 

••

“

‘

˜ Ž“ 

”•

¡

›

•

’“’

«

•

œ

ž“ 

œ

ž“Ž

ž 

•

’

£

¤ž“

•



™



‘‘

˜

”•



‘



•–

›

–

“

š



•



šš

›Ž ¤

”œ

ž

”•



“’

›   

“Ž ›

•

’



•š

ž 

••

“

‘

˜

£

œ

ž“

š

ŽŽ“˜

 



•

’

”•– 

Ž

 

“Ž

œ

—

”

˜

š



‘‘

“’

«

š

›˜

‘

¥

”«

“

«

œ

ž“

‘



•–

›

–

“ ˜˜

š”



œ

“’

¤

”œ

ž 

š

›˜

‘

ª

”

˜

•



œ

“

”

˜

œ

“

•œ”



‘‘

— ›

•

’“’

«

“

•š

“

œ

ž“

 

Ž

™

“

œ

ž’

š”œ

“’

Ÿ“

š



••



œ

“ ›˜“’

œ

 

œ



”•

œ

ž“ ’“˜

”

Ž“’ ’“

š”

’ 

”‘”

œ

—

Ž“˜›

‘

œ

˜

« •

˜

œ

“ ’

£

¤“

•

““’

œ



–

“

•

“Ž 

‘”

“

œ

ž“ “

œ

ž’˜ 

™

¦

©



•

’

™

¦

§©

”•



•



•

¡

œ

Ž

”

Ÿ

”



‘

¤—

«

›Ž

Ž˜

œ

 

Ž Ž“˜›

‘œ ”

˜

œ



™

Ž›

‘



œ

“

•



œ

›Ž 

‘

¡



•

’ ’“

š”

’ 

‘

“

¡

˜

œ

Ž›

šœ

›Ž 

‘ š



•

¡

’

”

œ

”



•

˜ 

•

’

œ

 ˜ž¤

œ

ž 

œ

š

›˜

‘

˜ ˜

œ

”

˜

™

—

”•–

œ

ž“˜“

š



•

’

”

œ

”



•

˜

–

“

•

“Ž 

œ

“

‘



•–

›

–

“˜

œ

ž 

œ

Ž“Ž“

–

›

‘

Ž

«

›Ž˜“

š



•

’ 

ŽŽ“˜›

‘

œ

”

˜

œ

ž 

œœ

ž“

”•š‘

›˜

”



•

 

Ž

‘

“

™

Ž

š

›˜

‘

˜

¥

”«

“

«

–”

Ÿ“

•

œ

¤

š

›˜

‘

˜

£

¤ž“

œ

ž“Ž

œ

ž“

‘



•–

›

–

“’“

•

“’—

œ

ž“

Ž˜

œ



•

“

”

˜

”•š‘

›’“’

”•

œ

ž“

‘



•–

›

–

“

™

œ

ž“

œ

ž“Ž

ª

”

˜ ’“

š”

’ 

‘

“

™

Ž

š

›˜

‘

˜ ›˜

”•–

œ

ž“ ˜“



›Ž

¢”

“¤

”š

œ

Ž 

š

“ 

‘ 

ž “

œ

˜

£

 

ŽŸ

”

’“’ 

œ

‘

“ ˜

œ



•

“ 

™

œ

ž“ ž ˜

œ

ž“ ˜

œ

Ž›

šœ

›Ž 

‘  

Ž

 

“Ž

œ

—

¢•

¤

•

˜

«

Œ

›Ž

œ

ž“ŽŽ“

£

¤“

 

ŽŸ“

œ

ž 

œ œ

ž“ Ž“˜

œ

Ž

”š

œ”



•

œ

ž 

œ œ

ž“

œ

¤

š

›˜

‘

˜ ž Ÿ“

”

’“

•

œ

”š



‘



›Ž

¢”

“¤

”š

œ

Ž 

š

“ 

‘ 

ž “

œ

˜ ˜˜

š”



œ

“’ ¤

”

œ

ž

œ

ž“

”

˜

•

“

š

“˜˜Ž—

«

ž“˜“Ž“˜›

‘œ

˜

š



•

˜

œ”œ

›

œ

“

•



•

¡

œ

Ž

”

Ÿ

”



‘

“

œ

“

•

˜

”



•™

Ž

š

›˜

‘

˜



™

š



 

Ž 

‘

“Ž“˜›

‘œ

˜ 

•

˜ ¦

££§

©



•

’ ¦

§

©«

•

’’

”œ”



•£

¤“

”

’“

•œ”™

—

œ

ž“

 

Ž

 

“Ž

œ

—

š



‘‘

“’

¤

”•

’¤

¡

›

•

’“’¤ž

”š

ž   

“ Ž˜

œ

“

•”

  

Ž

œ



•

œ

”•–

Ž“’

”

¡

“

•œ



™

œ

ž“ Ž 

”

’

¡

‘”¢

“

‘



•–

›

–

“˜

–

“

•

“Ž 

œ

“’

—

 

•

—  

Ž

œ



š



‘

˜

«

˜

”š



‘‘

—

£

œ

ž

”

˜  

Ž

 

“Ž

œ

—›

•

’˜

œ

ž“

•

›“Ž

™

“˜˜

–

“˜  

Ž

š

“˜˜

š



•

˜“

•

’

œ

  

Ž

š

“˜˜

“

™

Ž“ ž Ÿ

”•–

Ž“

š

“

”

Ÿ“’ 

•



š¢•

¤

‘

“’

–

“

•

œœ



œ

ž“ “ Ž

‘”

“˜

œ

“˜˜

–

“

«

“ ˜ž¤

”œ ”

˜

’“

š”

’ 

‘

“

”™



š

›˜

‘

–

“

•

“Ž 

œ

“˜

¤

”•

’¤

¡

›

•

’“’

‘



•–

›

–

“

«

(5)

 — ¤“  Ž“

œ

ž““ Ž“˜˜Ÿ“ ¤“Ž  › “˜˜“’ ›˜

˜

¤

”

œ

ž 

œ

ž“Ž

¢•

¤

•

¡

˜“’

‘



•–

›

–

“ 

•

’

–”

Ÿ“  ’“

œ



”‘

“’ “

 ‘

“ ˜“’



•

œ

ž“

 

Ž

œ



š



‘

œ



”‘‘

›˜

œ

Ž 

œ

“

œ

ž“ ’“

‘”•–  



œ

“

•œ”



‘



™ š

›˜

‘

˜

«

ž

”

˜  

  

“Ž

”

˜

•

“

œ

“

•

’“’ Ÿ“Ž˜

”



•



™

œ

ž“ ¤Ž

¢  

Ž“˜“

•

œ

“’

”•

¦

§

©£



•

’

š



•

œ



”•

˜

˜“Ÿ“Ž 

‘ ”

  

Ž

œ



•œ š

ž 

•–

“˜

£”

  

ŽŸ““

•œ

˜



•

’

•

“¤“

 ‘

“˜

«

 

“

š” š



‘‘

—

£

œ

ž“

’“

•”œ”



•



™

˜

¡

Ž“

–

›

‘

Ž

”œ

— 

•

’ 

™

–‘



‘

¡

š



 

“Ž 

œ”

Ÿ

”œ

— ž ˜ ““

•

¤“ 

¢

“

•

“’

™

Ž

š

›˜

‘

˜

«

˜Ž“˜›

‘

œ

£š

›˜

‘

˜¤ž

”š

ž¤“Ž“

•



œ

˜

¡

Ž“

–

›

‘

Ž

šš

Ž’

”•–

œ

 ¦

§

©

Ž“’“““’

œ

 “

˜

¡

Ž“

–

›

‘

Ž

›

•

’“Ž

œ

ž“ ¤“ 

¢

“

•

“’ ’“

•”œ”



•«

•

œ

ž“

•

“

œ

˜“

š

œ”



•

¤“

”•œ

Ž’›

š

“

š

›˜

‘

˜

•

’

š

›˜

‘

˜

«

“

‘

˜’“

¡

•

“

œ

ž““ 

•

˜

™

Ž˜˜

š”



œ

”•–



•

Ž’

”•

Ž—

‘



•–

›

–

“¤

”

œ

ž

š

›˜

‘

«

•

œ

ž“ ˜›˜“›“

•œ

˜“

šœ”



•

¤“ ’“Ÿ“

‘

  

œ

ž“ ˜

”š

œ

ž“Ž— 

™ š

›˜

‘

˜

«



œ

ž

”

˜ “

•

’

£

¤“

”

’“

•œ”™

—

œ

ž“ ˜›

š‘

˜˜“˜ 

™

˜

¡

Ž“

–

›

‘

Ž ¥˜—

•œ



šœ”š



‘‘

— Ž“

–

›

‘

Ž

ª



•

’

–‘



‘‘

—

¡

š



 

“Ž 

œ

”

Ÿ“

š

›˜

‘

˜



•

’ ’“Ÿ“

‘

  

›Ž ’“

š”

’ 

”‘”

œ

—

Ž“˜›

‘

œ

¡

˜

« •

˜“

šœ”



• £

¤“

”

’“

•œ”™

—

œ

ž“

¤

”•

’¤

¡

›

•

’“’

 

Ž

 

“Ž

œ

—

£



•

’ ˜ž¤

œ

ž 

œ



•

“

š



•

’“

š”

’“

”™



š

›˜

‘

–

“

•

“Ž 

œ

“˜  ¤

”•

’¤

¡

›

•

’“’

‘



•

¡

–

›

–

“

« •

˜“

š

œ

”



•

¤“

š



 

Ž“

œ

ž“ “  

Ž“˜˜

”

Ÿ“

 

¤“Ž 

™ ‘



•–

›

–

“˜ ˜“’



• š

›˜

‘

˜ ¤

”œ

ž 

œ

ž“Ž

¢•

¤

•

¡

˜“’

‘



•–

›

–

“

š‘

˜˜“˜

«

Œ”•



‘

¡

‘

—

£ ”•

˜“

š

œ”



• £

¤“

–”

Ÿ“  ’“

œ



”‘

“’ “

 ‘

“ ˜“’ 

•

œ

ž“

 

Ž

œ



š



‘

œ



”‘‘

›˜

œ

Ž 

œ

“

œ

ž“ ’“

‘”•–  



œ

“

•

œ

”



‘



™ š

›˜

‘

˜

«

›“

œ



‘



š¢



™

˜  



š

“

£

˜“

 

Ž

™

˜

Ž“ 

”œœ

“’ Ž 

•‘

— ˜

¢

“

œš

ž“’

£

›

œ

š



•

“

™

›

•

’

”•



•

“

œ

“

•

’“’

Ÿ“Ž˜

”



•£

Ÿ

”‘



‘

“ 

œ

«

!"#

$%

Š

&

‰

$& '

!"#

$ &

„ˆ Š

&

‰

$& ' (

!"#

$

žŽ›

–

ž

œ

ž“ Ž“˜

œ



™

œ

ž“

 

  

“Ž

£

¤“



•”œ

“ ˜“

œ )



™

 

Ž

š

“˜˜

•

“˜ ¤

”œ

ž

*

)

* +

§

«

Œ

Ž

š



•

Ÿ“

•”

“

•š

“

£

¤“

‘

“

œ

, Ž 

•–

“ Ÿ“Ž

)



•

’ ¤“ ¤

”‘‘ •



œ

“

•

œ

”



•

œ

ž 

œ

- )

¤ž“

•

œ

ž“Ž“

”

˜

•



š



•™

›˜

”



•«

“ 

‘

˜

•”œ

“

•



•

“

 œ

—

˜“

œ

˜ .

£

/



™

“˜˜

–

“

œ

—  

“˜ 

•

’

”•œ

“Ž

•



‘



šœ”



• •

“˜ Ž“˜

 

“

šœ”

Ÿ“

‘

—

«

“ ’“

•

“

œ

ž“



‘ 

ž “

œ

˜ 0 1 2 34¥5 ª *

, - )

, 62 ,5 - .7

£

0

8

2 39¥5 ª *

, -

)

, 62 ,5

- .7

£



•

’

0:;

<

2 3

¥=

ª *

- )

,

=

- /

7

«

ž“

‘

“

œœ

“Ž

4¥5

ª

“ 

•

˜

œ

ž“ ˜“

•

’

”•–



™

 “˜˜

–

“ ¤

”œ

ž

š



•œ

“

•œ

5

™

Ž

œ

 9¥5 ª

œ

ž“

Ž“

š

“  

œ

”



•



™

“˜˜

–

“

™ š



•

œ

“

•

œ

5 

œ

™

Ž

•

’¥=

ª

œ

ž“ ““

š

›

œ

”



•



™



•

”•œ

“Ž

•



‘



šœ”



•

=

—

 

Ž

š

“˜˜

«

“

œ

020 1>0

8

>0:;

<

«

“’“

•

“

œ

ž“



™



‘

“

œœ

“Ž?

”•

0

£

’“

•



œ

“’

¥?

ª£

—

¥4¥5 ªª

2 2

¥9¥5 ªª

2

¥¥=

ªª«

Œ

Ž “ 

š

ž  

Ž

š

“˜˜

”•

)

£

¤“ ˜“

œ

0

@

23? -0

*

¥?

ª

27

«

A

B

C„‹…‹‡„

‚ / š

›˜

‘

¥ )

,0 ª

D

2

¥ E

,F,3 G

@ 7,

H ª I

J

E

K

L

M

“Ÿ“

•œ

˜ I

F E N

0

M

I

M

J

O

P Q

I

G

@ R E

@ S E

@

 

Ž

œ”



‘

Ž’“Ž

I

J

E

@

2 3T - E

*

F¥T ª

-0

@ 7U

(6)

P H

R E

1

S E

8

J

E

123T - E

F¥T -0 17 E

8

23T -

E

*

F¥T ª

-0

8 7U

Q

THT I

F¥T ª

24

¥

5 ª

F

¥

T ª

29

¥

5 ª

U

P

M

@

G

@

>H

U

Œ

Ž “ 

š

ž

£

œ

ž“ Ž“

‘



œ

”



•

G

@

’

”š

œ



œ

“˜

œ

ž“

š

›˜

‘

Ž’“Ž

”•

¤ž

”š

ž “Ÿ“

•

œ

˜ 

™

E

@

 — “““

š

›

œ

“’

«

“

‘

“

œ

G

@ R E

@ S E

@

’“

•



œ

“

œ

ž“

‘

“ ˜

œ

Ž“

‘



œ

”



•

˜›

š

ž

œ

ž 

œ

G

@

”

˜

œ

ž“ Ž“

“

”

Ÿ“ 

•

’

œ

Ž 

•

˜

”œ”

Ÿ“

š‘

˜›Ž“ 

™

G

@

¥

G

@

”

˜

œ

ž“ ˜˜“ ’

”



–

Ž  

™

G

@ ª«

ž“ Ž“

‘



œ”



•

H

”

’“

•œ”

“˜

 



”

Ž˜ 

™

“˜˜

–

“

¡

“

”

˜˜

”



•



•

’ “˜˜

–

“

¡

Ž“

š

“  œ”



•

“Ÿ“

•

œ

˜

«

ž“



™



š

›˜

‘

D

”

˜

’“

•



œ

“’

—

*

D

*



•

’

”

˜ ˜

”

  ‘

—

œ

ž“

š

Ž’

”•



‘



™ ”œ

˜ ˜“

œ



™

“Ÿ“

•œ

˜

*E*«

“ ˜—

œ

ž 

œ œ

ž“

š

›˜

‘

D

”

˜ J

Q

Q

” ™

Ž 

•

— T H

£

T

H

˜›

š

ž

œ

ž 

œ

F¥T ª

2 F¥T ª

24¥5 ª

¥

•

’

œ

ž›˜

ª

2 F¥

ª

2 9

¥5 ªª£

¤“ ž Ÿ“ “

”

œ

ž“Ž

T G

@ T



•

’

G

Ž

T

G

@ T



•

’

G

«•

¤“ 

¢

¡

ŒŒ

˜

š

“

•

Ž

”

˜

£

“˜˜

–

“˜

™

œ

ž“ ˜“

š



•œ

“

•œ

“

œ

¤““

•

œ

¤

–”

Ÿ“

• 

Ž

š

“˜˜“˜

š



••



œ

Ÿ“Ž

œ



¢

“

«



œ

“ž¤“Ÿ“Ž

œ

ž 

œ

“˜˜

–

“˜

™

’

”

“Ž“

•

œ

¢”•

’

“

œ

¤““

•

œ

¤

 

Ž

š

“˜˜“˜

š



•

Ÿ“Ž

œ



¢

“

«



œ

“

œ

ž 

œ

¤“ ’

•



œ

’“ 

•

’

œ

ž 

œ



š

›˜

‘

›˜

œ

“ ¤“ 

¢

¡

ŒŒ«

“˜

œ”•–

¥¤“ 

¢ª

™



•

“˜˜ 

™



š

›˜

‘



™

˜

”

“

š



•

“’

•

“

”•



œ

˜

œ

¥

ª£

—

š

ž“

š¢”•– ”•

œ

ž“ ¤Ž˜

œ

š

˜“

™

Ž

‘‘  



”

Ž˜ 

™

“˜˜

–

“˜

T H



•

’

T

H

”•

œ

ž“

œ

ž 

œ

T G

@ T

™

Ž˜“

”

  ‘”

“˜

G

™

Ž ˜“

«

“

¤

”‘‘

˜—

œ

ž 

œ œ

¤

š

›˜

‘

˜

Ž“

£



•

’¤Ž

”

œ

“D

¹ 2D

¤ž“

•

œ

ž“— Ž“’“

•

“’ Ÿ“Ž

œ

ž“ ˜“ ˜“

œ

˜

™  

Ž

š

“˜˜“˜ 

•

’

Ž“

”

˜Ž

 

ž

”š£

œ

ž 

œ

”

˜

œ

ž“Ž“ “

”

˜

œ

˜  

”

“

š

œ

”



• ™

Ž

E

¹

œ

 E

œ

ž 

œ  

Ž“˜“ŽŸ“˜

‘

“

‘”•–£

3 G

@ 7

•

’

H

«



™

D

”

˜

 ¤Ž’ =

¹

=

=

Ÿ“Ž

0

˜›

š

ž

œ

ž 

œ E

2 3T

¹ ,

,

T

7

¤

”œ

žF¥T

ª

2=

™

Ž“ 

š

ž

•

’T

T

”

  ‘”

“˜

™

Ž

•

— ,

«

“

‘

“

œ

¥D ª

’“

•



œ

“

œ

ž“ ˜“

œ



™ ‘”•

“ Ž

”



œ

”



•

˜ 

™

D

«

‘

“ Ž

‘

—

£

¥D ª

”

˜

•



•

“

 

œ

—

«

“ ˜“

œ

/

¥D ª

2 3F¥T

ª *

T

- E

7

£



•

’ /

@

¥D ª

2 /

¥D ª!

0

@

™

Ž “ 

š

ž

«

ž“

‘

“

™

œ

˜

œ  

Ž

œ



™ Œ”–

›Ž“

’“

 ”š

œ

˜



š

›˜

‘

«

ž“

–

Ž   

ž

”š



‘

Ž“

 

Ž“

¡

˜“

•œ



œ”



•



™ š

›˜

‘

˜

”

˜ 

‘”–

ž

œ

’   œ



œ”



•



™

œ

ž“

–

Ž   

ž

”š



‘ •



œ



œ”



•

™

Ž

˜

« •

œ

ž

”

˜ ’

”



–

Ž 

£

¤“ “

•š‘

˜“ “Ÿ“

•

œ

˜ 

™

“ 

š

ž  

Ž

š

“˜˜

”•

Ÿ“Ž

œ

”š



‘





•

’˜ž

¤

œ

ž“

 

Ž

œ”



‘

Ž’“Ž

G

@

”•

œ

ž“

˜

œ



•

’ Ž’¤—

«•

š

˜“

G

@

”

˜



œ



œ



‘

Ž’“Ž

£

¤“

 ‘



š

“ “Ÿ“

•œ

˜ 

™



‘



•–

 Ÿ“Ž

œ”š



‘ ‘”•

“ ¤

”œ

ž

œ

ž“ 

”•”

› “Ÿ“

•œ

˜ 

œ œ

ž“

œ

  



•

’ 

”

œ œ

ž“ 

« •

 

Ž

œ

”š

›

‘

Ž

£ ”•

£

œ

ž“

œ

¤ “Ÿ“

•

œ

˜ 

•

Ž“

•



œ

Ž

¡

’“Ž“’ ¥

”«

“

«

G

@

”

˜

“

 œ

— ª



•

’

G

”

˜



œ



œ



‘

Ž’“Ž

«

““Ž˜

™

H

Ž“

”•

’

”š



œ

“’

—

žŽ

”



•œ



‘

Ž’¤

•

¤Ž’

¡

˜

‘

  ”•–

ŽŽ¤ ˜

‘

“

‘‘

“’¤

”œ

ž

œ

ž“

œ

Ž 

•

˜

”œœ

“’“˜˜

–

“

«



œ

ž¤Ž’˜4¥



•

’4¥

Ž“

‘”•

“ Ž

”



œ”



•

˜



™

«

•

. $% D 2

¥ E

,F,3 G

@ 7,H

ª

”

˜

’“

•

“’

”•

œ

ž“ ˜“ ¤

—

˜ 

š

›˜

‘

“

š

“  œ

œ

ž 

œ

“Ÿ“Ž—

G

@

”

˜

Ž“›

”

Ž“’

œ

 “ 

« •



•

D

£

œ

ž“ Ž“

‘



¡

½

g`

&

\_\ ]l]al `a ][^bb\ gel_a ]c€»€

'

l k

^lga\ e]al^bbapao\_l^º `]c eawx\ ee^c\ e

f\lp\\ ]lpa c`o\ ]v_a[\ ee\ eawg`

&

\_\ ]l[a ]l\ ]l `e^bea w_\ id\ ]lbrde\ g`]

l k

\h Z

j

b`l\_^ld_\s

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-

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

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

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

Step 1 We modify each BMSC M in a state of H such that each process is covered with a coregion open on both sides, while BMSCs represented by the resulting HMSC remain the same as

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