c c
c c c c c ! " c # # $ % & ! & c # # ' ! & ' " ( ) * *) ( & ( c % c c % % & & %
% % " c c% c " ! + ( , " & # # ! # # $ "( % ! - " & , & . " / " (
% ! " & - - , , & & %0#!, , & #
c % 1 % 2334
- c 5 , 5 , 6 *, 7 +"6 '! c " %2 8 c ! 2339 , $
0 ,
c c 0 p p p p p p p
:8;
% ! ! % ( m , &
% . % %
c c c , - !$ $(
" . &, % , , &, &
c
$ " ( & % c
p
A c " " (
% & / # (# c" c "& c 0
p A 0"& $ p A c! 0 % - p A "#0 % % p A $$0
% %& p A $ !0 % & (
"
$"0c & " c " & % " " 0
% " % %" " "0 c &
% % " ( & "$0) " $ % " $ % $ c ( % c &&cc c & c 0. & . < - ) %) ' &($ " c = & ." $ & & & c " &( c = m = $ & 0 & & & ' c
& c &
c " c ! & % & "( &
)! - $ % ' " & " 0 c ! - % *$$" ! ! - " % % m - c % *$ 1 % % c " ( c % " &
% c " # #"& & c %
" & & * c c+& , c ( , " ( .(
- ( &
&
% - , " $ % &
% . , / % ) % ) ) ) . , % % % - & c % & % , , , ' # & # # & & , #
c # # " ! % . . ." & , ! $ = = % " $ " & % . " " ! " , / ( c
( m " ' % % . ! 0 c ( " & c % c & & & , ! / & , ( & , c & $
* %" ) % c (
"
& m& & , $ . " " / c / . & "
% 7( ! & ! > / " & > % & - , ' 0 & $ " ! " "( & " 0 p % ( % .( p % # #& ) % " & & &
c " % c
" % c % " , ! & & " ! c 0 ?) & , (@c " " " & " c & ( "" " % % ( , c ,
& & % &
,
% m , &( m &(
& &( ' & &( ,, c , " !
& , & %
< &( % &( "
' , " " & , c , & , < , % % " , & , & , " " , " c, 0 p c " " . " , % ," p c & # # c
A"%$ !( " & 0 p * % c -& , ) $ % & " %" p ! c - % " " & , , p ! - " ! , & p ' " ' " ! & " " &
% p m c - &
& , " "" p - c $
, & - p + c % ( ! = " & (
p ! " m / p " A& & / ! " B & p + - c - , ! / "
! & & & p +
% ! " " " !$ ! p m % m =' " ! = "
" "
p
p
p
p
" ! %
" " ) % m % % " c "
! - "
% % " c & / / ! "(
" % c & "
&
% c $ " &
% "
, m.'! c , m.'! m . ' ! + ( ' . m -
% $ " c , " " % c , m.'! % - c , - & $ " % -
%
& < %
% $ " " & & c ( c ( & c % ( - % ( , $ A " 0 $% ( % (
, %"( & # # ! $ % c % c .
"( (
A
& % c0 ( ( ( - 1 (
c ( ( & c ( ," ( , " c ( " & m % & ( $ c " $ c " % # # c & % $ % c $
& ( Ë&
!
A
&
**& *c m % % %
B!
< m
B m
m . < m % $ % %
B + %
< m
m %
B <
< <
1 %
B ! &
< !
! " %
%
B "
! " % < . " %"% %
<
B
%
. % % B %
< '
+
% " %
< m %
m %
% %
< m
)&
"
,
2p p p 4p
" '
"
" "
" = = " = =
"
"
" "
p ! " " p " p " " " #
$ m !
( 0 p m / p ! % p ! % ( " % p ! " p 1 " . & $
1 / % ' / , " -! " .
c ( $ " *$ -c C % % c ( $ %,& " !- " %
& % ( !
% & m
. " )" m ==' " . . " 0 , %, " )" 0 " " ( " & " p m & " 4 p ' " & " " : p c / ( " ' % +
%0 " & p p 2p p
-c % ! % & " &
" $ "
# - 2p p p 4p :p (p
% " &' = '
c
)
"
" '
* 2p p p 4p
m +! m +) $ +! " +,
m * p p p
- " " * p ='-" * " m""' p .' + "
" p "' + # " ' " * p $ $ " ' p , + $ ,
- ' p p 82m p /) / ' ïp m p 80m p 20 ' D
#* p p p p
- 1 / 2 " ' 2 " - 1
p ' 2 p / 2 ) m ) " ) m
)
!--
, + ,
* = * = = " ' ,
" * , " " ) " " " , ! " m /
p m !" 3 '
" p - p m p m ) ) p m " 45 '
p m p
p $ p - * p ' * p * " p * # "
# m "
" "
"
p
c $ $ % # $ ! - p m p ! * m
m 5 E 5 E m 5 E p ´ * m m +
p * m
ã # ! - , m - " * 2p 1
p 1 p 1 4p 1 c # ! # - 2p p p 4p :p (p 9p
* 1 * " " " 1
= * 1 " * " 1
* 1 * " 1
& A ) $ " )
* p p p 6 & 7'
" " *
" " " " " m "
" " " "
" " " " " " m " " " " " " " "
" "
" " "
"
" "
!
"
"
# " # m " "
'
$ # " #
" ) m " " - " " - " " (
" ) " ' # " m " m
) ) )
" )! ' ' * "
" ' " *
p p p p
m %& " " * % - * % ) ( , ,
! " & & . % " "( ! ( $ ! "# % % & &
" , ' ( % & " - $ 0 event-signature "[" guard-condition] "/" action-expression "^"send-clausep
./ $ % " & %=
" & % /0#$ & %
=
& "( " & $ ! $! %& " " * " & '
-) " % '
% " $ * ! -
p
p ) %
p p p p
) " " "
"
" " " " ! #
# + # % "
' " " ! ' " ' # p " p " " p " " + -
!
"
8 8 ,
" "
" "
* " # " "
* ) m ) ' ) ' " "
) m "
, m ' " " ' - 2p p p 4p
m " " m "
!-
p
2p ' # p "
p " - "
1 $ ! ! %
% & /
$ < % % & % % * & % % % & % % % % & % % %& % c
% %% $ ! $ m % ! " 0 & $ ! 7
% +
% %
1$ ! ! " % %
% & " - % $( ( " %( % & % & % ( &
% 1*$! % % " " c - ! % ( ( & &
ã
7
- " $
"
7 7 $
" " #
" " -
' "
! , ( ! , " ( % % ( % % ! "
% c " % 1 "# ! ( & & %
& % . ( & % c $ % ( &
," c ( 0 !& % & & c / & ! 0 % % % & % % . % ," % ," % & % % m % %& % c % %
% & % c & m % , " %
c %
c & % & " % 7 & & , "/ 0 ) ( & ) % ( < " ' , &
* -
.
" ' ãc ) )
"
" * p ) " p - p
p p p p p p p p p p p p p
"
%
!" c % ( (
% c &
& & /& *1 m& " & - & %" & & & m & ) % / % " / c & c & % C m& c & % & c )
% %
% & & & ( % & c & " &
( " &
# #( c & "
& - " " & & " " c & & $ & % $ & & $ &
%& & % % " &
# "
' "
" 4 "
"
" " " #
" " #
" " " "
"
9 8 8'
8**8
& 2 c3 c
c 4,
c
c &