Foml nd tool-suppoted opeto fo multi-fomlism modelling Jonthn Mchnd To cite this vesion: Jonthn Mchnd. Foml nd tool-suppoted opeto fo multi-fomlism modelling. Softwe Engineeing [cs.se]. 2011. <dums-00636463> HAL Id: dums-00636463 https://dums.ccsd.cns.f/dums-00636463 Sumitted on 27 Oct 2011 HAL is multi-discipliny open ccess chive fo the deposit nd dissemintion of scientific esech documents, whethe they e pulished o not. The documents my come fom teching nd esech institutions in Fnce o od, o fom pulic o pivte esech centes. L chive ouvete pluidisciplinie HAL, est destinée u dépôt et à l diffusion de documents scientifiques de niveu echeche, puliés ou non, émnnt des étlissements d enseignement et de echeche fnçis ou étnges, des lotoies pulics ou pivés.
t s t t t s t s t t t t ît 2 ît s t st t q s té s t t
st t s t s st t s t s t t s t s s t ts s t s t t t s t t t 3 s t s t s2st t t t s s t s s t ts t t2 s s t t t 2 t 2 t t s t s 2 t 2 s s t s t st t t s t 2 s t s s t s s t 3 s s t t s t s t s t t ts t t t t t t s t t s t s t 2 3 t t 2 t 2 t t s t 2 t 2 t t q 3 s st t P s t t 2 t 2 ts s t 2 q 3 t P s t s t t t t 2 s t s t s
t t t t t 1 t2 2s s t ts s s t t s s s s s t s st t t s t s s s s s t s t t s t s s s ts 2 t s2st s s t 2 t t t s s s t t t s s s t s2 t 1 s t t t t 1 ss t t s tt t s t t s 2 st t s t s t s t t t s t s t s s t 2 t s t 1t s s t 2 s2st t 2s t s t s s t s s t t s2st t t t s st 2 t s t t t s t s 2 t s s t s t s t t t s t s t ts 2 t t ss t2 t 3 t s t s tt st t t s t t s t ts t s t s t s t s t t 3 t s t t s t t s s t s ss t t 1t t t s t s2st t t s t s t s t s t s t 2 s s t s2st t t s s ss t t t st t s t t s t t 2 t 2 s s t s ts st t s t t t t t s t s 2 s 2 t t t s t s t s s s t t t 3 s t s s t t s s t s st t t s t s t t t 2 s s t s t t s s t t s t s t 2 st t t t t s t t s t t 1t t s t t 2 s t s t 2 t 2 t s s t t 2 s 2 s t s t 2 t 3 s t s s t t t t t s s t t t 1 t2 s t ts 2 s s2st t st t s s t t s t s s t t 1 t2 t t2 t t t s ts s ts 2 2 t s s t s t s t t t 1t t t t s t s q st s t t t st t
2 t s t s t t st s st s ts s2st s s t t t s q t s t s 2 t t t s ts s2st s t s t st t st t s s q st s t t s2st st t s 2 t s2st ss s s t s st t t t2 s t s2st 2 2 1 t s t q st s 2 1 t s st s t s s t s t s t t t t t s2st s s t s t 2 1 s ss s t t s t t s s s t 2 s t s s t s t s t s 2 ts s s t t s s t s ss s t s s ts s s t s t st s t t s t s s s s s s t s t t t s q t t s t 2t s t s 2 t s t s t s s s t t t t t t2 s t t t t ts t s t t t t 2 t st t t s t s t t t s s 2 t t t s 2 s t s t s t s 2 s s t s t q t t s 2 s t t 1 t s t s t s t 1t s s s ts
s t s s t s s t t ss s s s t s s s2st t 2 s s2st s t 2 t s st 2 t t s s s 2 t s s t s ss t s s t t s t t s t s t 1 ss s t 1 ss t t s t s t ts s 2 t 1 ss s t s t s s t P s 2 t 2 t t s t 2 P s t t s t t t s t t t t s tt t t s ts t s t t t s t s t s t t t ss t s s t s s t s2st t s t 2 t t t s s s t t s s t t s s t t s s ts t s t t s s t t s st 2 t t t s t s ts t t s s t t s ts t s s s t 2 t 2 t s ts t t s s s t t 1 s t s t s t 2 t ss s P s st 2 s t t s s t s t t P s st s t t s t t s s t s s t s t t 2 1 t s s s q t2 s t2 t ts t 2 s t2 t 2 s s t s 2 t t t s q t2 s 2 s t t t s t s t q st t t s s q t 1 t t 2 1 t t t t 2 s s t s t s t ts st 2 t s t s t t ss t s st 2 s s t t t s t s t t s t s 2 s t t s t s t t t t s s 2 2 st s s 1 s t s t s t 2 t t tt t s t t t t s s t tt t t t t s t s t s s t s t t s 2s s ts t ts t tt t s 2 2 t t t s t s t
P s t t st t st t t st t st t t st t t st t s 2 t 1 s t s t 1 s t s t s t t t t s t tt t t t t t t s t tt s t s t t t s t t t t D t t t t s t s s t t s t ss C s t A t t D s s t s t s t t P s s t s t s t t s t t s t s t 3 t ss tt s t s t t t t t s s tt t t s s s t t t t t t t s s t ss tt t s s t t s ts t t2 s s t st t 2 2 s t t ts t t tt s 1 t t t s st t s t t s t t s 2t t s ts s s t 2 ss st t s t
t s t t s t s s s t s t t t t t s t tt t t t s t s t ts t 1 s t s t t t t t t t tt t s t s t t t s t t s t s t t t st t t t st t s t st t t t t t s s s t t t st t s s t 2t t t st t s t s 2 3 t s s s2st s t 2 t s t s s t s t t s t s2st t t t t s2 3 s 2 3 t s sts t t t s t t t t s t 2 t 2 t 2 t 2 s t t s 2 t s t 2 s t q 2 t t t 2 t 2 t s s t s s s t t s s s t ts st t s t 2 t 2 2 s t ts s t t s ts t s t t2 s t t s t t s t s t t s 1t s t t2 t 2 t 2 s s s t s t 2 t2 t 2 t s s t 1 t s s t t t s t t t s t t s s t s t s t s s t t s t t t s t s t s s t t s t s t t st t s s t 1t t t t s t s2 3 t t s s s s s t s st s t s t s t s t s t t t t 2 t t t s t2 s s t st s t s ts t s t t t t t t2 tt t t s t t s t s s ts s 2 t s s s s t s 2 t s t s st 2 t t t s ts s t t t 2 t st t s t t t t t 2t t s t s t t s s s t st t 3 s t s t 1 s t t t 1 s s t s t ts t s t2 t t s t t s s 1 s t t t s t 2 t 2 s s s t t s t s t st t s t t t t s t 2 t s t 2 t t t t t s t t s t s
s t t s t t s ❻ t t s 1 1 1 t t s 1 t t s ❻ 1 t t t st s 1 1 1 t t t t ❻ ❻ s t t ❻ ❻ s t t t t s 1 t s 1 t t s t t s ❻ t t t s 1 1 t t t t s 1 t s t t t st 1 ❻ 1 1 t t t t ❻ ❻ s t s t ❻ ❻ s t 1 s t t t t t t t tt t s t t t s t t t s t s t t t t t
P s2st t 2 s t s s t s s s s t s2 3 t q 3 s st t t t s t t t t 2 t 2 s sts ❼ t ts ❼ t s t t t s ❼ s s t t s t 2 t f A t s t t t f s A ❼ s s t t s s t t 2 f A g C t 1 sts g f A C t t 2 ❼ s s t s ss t h ❼g f ➁ ❼h g➁ f s s ❼ t A s ss t t t2 id A A A s t t s t f A,id f f f id A g f f g h h g h ❼g f ➁ ❼h g➁ f ss t t2 t s t
t s t sts s t s t f;g st g f s t t t t t t s t s t st q t t s t st t s s t s t 1 s t s t t 2 t s ts t t 2 s s t t 2 t st t t t t s t 2 t t t t t t t t s t t s ts t t t 2 t t s t t 2 t t t 2 1 t 2 t t 2 t s t s ts s ts t t t t s s s s t s s t s t s t t t2 s t t t2 t s t t t s t 2 ❼ 2 s t s t s ❼ s t t t t t s f A g C s t t t t g f A C 2 t A g❼f ❼➁➁ ❼ s t t s s ss t ❼ t t2 t s t t s t 1 t 2 2 s G ❼V,E➁ t V s t t 1 E V V s t s e ❼v 1,v 2 ➁ E t fst❼e➁ v 1 snd❼e➁ v 2 s h A s t s h ❼h V,h E ➁ t h V V A V h E E A E s s t st t t s e E A,fst❼h E ❼e➁➁ h V ❼fst❼e➁➁ snd❼h E ❼e➁➁ h V ❼snd❼e➁➁ t 2 s s s ts s s s s s t s s t s s t t t2 s t t2 s s s t 2 s ❼ 2 s s s 2 ❼ s s t s t s t s t f A t g C s t s g f ❼g V f V,g E f E ➁ A t C t V A t g V ❼f V ❼➁➁ t e E A t g E ❼f E ❼e➁➁ t t g f s s g f s s 2 e E A fst❼g E ❼f E ❼e➁➁➁ g V ❼fst❼f E ❼e➁➁➁ g V ❼f V ❼fst❼e➁➁➁ t s snd s g f s s ❼ s t s ss t s t s t s t s t t s s ss t ❼ t t2 s id G h ❼g f ➁ ❼h V ❼g V f V ➁,h E ❼g E f E ➁➁ ❼❼h V g V ➁ f V, ❼h E g E ➁ f E ➁ ❼h g➁ f ❼id V,id E ➁ s t s s t s t t t t s s t t s t t t ss s 3 t t t t t s t s s t t t t t s t s t t t t s s t
ι A ι A A f f,g g ù C ❼A,ι A,ι ➁ s t t A t t s 3 t t s t t t s t s t t 2 t s t s t ss 1 t t t t t s ts t2 t s t t ts t s t s t t t s t t s s t t s ts s s t 2 A ❼A ➌1➑➁ ❼ ➌2➑➁ t t t t t A s t A t t t t t s s ι A,ι s t t 2 t C t f A C g C t 1 sts q f,g A C s t t f,g ι A f f,g ι g s t s t s2 ù t t s t t t t s t t t t q t s t t s t s f,g ι A f f,g ι g t t t t f,g s s s 3 s t t t t ts 1 st s s q t st t 1 t s 3 s t q ss t f,g t s s t t t s t 2 s t t t t ts A s q t s s s 2 s t q ss t s s s s t t q ss t t ts A s 2 t s st t s t t s q ss 2 t t t t ts st t 1 t t 2 t t t t t s ts A s A t s t A t s t t t s A A ι A 1 t t 2 s s t s ts s t s s t s t t t t 2 t s ts s t s t t t s t t s 2 t t t t s t t s s t s t s t t s t A ❼V A V,E A E ➁ ι A ❼ι VA,ι EA ➁ ι ❼ι V,ι E ➁ t t t s t s t s t st t s t ts t t t t t t s s t s t s t s t t t t t s 3 t t s t t t s t t t t s t t s t t t s s t t s s t st s s t t t s t s s f A C g C t f, g 2 t t t s s tt t
A ι A ι A t t t 2 A t s A s t ι A 2 f t s 2 g q 3 q 3 s 3 t t s t t t t q t t 2 q t t s t t s t q ss s t q 3 q 3 t s f A g A s h C s t t h f h g s t t 2 h ➐ C ➐ t h ➐ f h ➐ g t 1 sts q k C C ➐ s t t k h h ➐ s t s t t t s t s s t t q 3 t ts s q t s s s s t t 2 s 2 t q 3 A st q 3 A f h A C g h ➐ k ù C ➐ C s t q 3 f g
1 t t 2 t t t 2 t s ts t q 3 t t s f A g A s 2 t st t t t s st q t s t t A,f ❼➁ g❼➁ t C 7 t q t t s t 2 t s t s t q ss s t π t C s 2 t ts q ss C s q 3 f g 1 t t 2 s t t st t t q 3 t s s f A g A t s s 2 t V t s st q t s t t v V A,f V ❼v➁ V g V ❼v➁ t V C V 7 V t q t t V 2 V t π V V V C t t t E E C E 7 E π E s 2 t C t ❼V C,E C ➁ t s π ❼π V,π E ➁ s q 3 f g s t t t t s s s s t s t s t s t t C s t t t π s s t ss 1 t t s t s t t t t s q 3 s t s t st t s t t t t t C s s t t t t s s s t st t t s t s s t t q ss e E t st s t s e E q t t s t t t 2 t s q ss e E ts q ss e E s s t t ❼ fst❼e➁ V, snd❼e➁ V ➁ s t π s s t s ts s st t s t t s t t t q 3 2 t t t t s st t s t 2 s t2 P t s q 3 f g t s t st t t s t2 P t 1 sts q t t q 3 t t s t st t s t s t 2 t t s st t t s t st t t t t t t t t 2 t t 0 t s t 2 s t s t t 2 t t s t 2 t 1 sts q 0 t s!!!!! t t t t t 2 1 sts q t s t t 2 t s st t t t q t s fv ❼fst❼e➁➁ fst❼f E ❼e➁➁ f V ❼snd❼e➁➁ snd❼f E ❼e➁➁
A p 1 p 2 P A q 1 m q 2 p 1 p 2 P Q ù t ❼P,p 1,p 2 ➁ s m t t 2 A t t t 2 s q t s s 1 t t 2 t t t t s t t2 s t 2 s t t s 1 t 2 t t2 s t t t t2 t s t2 1 2 t t t t t 2 s t t2 t q s t t 2 t t t t2 s s ts t2 t s t s st t t 2 t2 P s t t 2 P st t s t t 2 s t s 2 P t t t s t 2 s s st t s st t s s t t t s q t s s s t s st t s 2 s st t s s st t s s t s 2 t t2 P t t s t2 t2 1 t s 1 s t t 2 A s t t s ❼P,p 1,p 2 ➁ p 1 A P p 2 P t 2 t ts t 2 A m ❼P,p 1,p 2 ➁ ❼Q,q 1,q 2 ➁ A s s t t q 1 m p 1 q 2 m p 2 t t t s t 2 s t A s t t s t s t2 t2 P s t s s t t t s ts s t t t 2 t st t s t t t t t 2t t s t s f A g A C s t P s g ➐ P f ➐ C P s t g ➐ f f ➐ g i X j C X s t t i f j g t t s q k P X s t i k g ➐ j k f ➐ s P s ts t s t2 t2 t 2 q t s s
P ù ❼P,f ➐,g ➐ ➁ s s t f g 1 t t 2 1 s t t t 2 s t t s s t s t D t t f ➐ g ➐ t s t f g s s t C t s t t A t ts A t t f g s s ts C t ts t s t st s t 2 t f ➐ g ➐ s t t t D t t D s t f ➐ g ➐ t t t s t s t t ts t ts t s t s s t s t s t st t st t 2 t t t t t s t t t t 2 s st t t 1 sts s 2 t t t 2 2 t ts t 2 t s t q 3 2 t f A g A C t A s t t s s t st t 2 t t t t s C f g t s t q 3 h C D ι f ι C g t t ❼D,h ι C,h ι ➁ s s t f g s t 2 t 2 ts s s 1 s s t t s t t t t 2 2 s t 1 ss s t s s t s q t t t t 2 t s s ts s t s t s s s s s t ss s t s s s s t t t t s t s s st ss ts t s s s s t t t s ss s st t s t s t s t t 2
A C D s t t t 2 A f ι f g ι C g C ι g ➐ h ι ι C h C f ➐ h ι C D st t t t s t
s t s t 1 ts s t t t t t s s t s t t t st t ts s t s t ss t t 2 t ss t s2 t t 2 s s 2 s s t t t t t s t ts s t s s t C ss s s t R s s t E s s t t E C R R C ❼,c➁ E R C, c ➐ C, ❼,c ➐ ➁ E c ❼c,➁ E C R; c ➐ C, ❼c ➐,➁ E c c ➐ c ➐ e s t t t s e ❼c➁ e ❼➁ t s t t ss s e s st t t t t t s st ts s ❼c,➁ E s ss c s ❼,c➁ E s t c ts s 2 t t s t st ss t t st ss 1 s ts s t t s 2 t t s t t ss s t t s t t s t t st t t s t t t s s s t st t t s t t s A ❼C A,R A,E A ➁ ❼C,R,E ➁ M t A s t ❼M C,M R,M E ➁ s t t M C C A C M R R A R M E E A E e,e M E, ❼e ❼c➁,e ❼c➁ ➁ M C ❼e ❼➁,e ❼➁ ➁ M R t ❼,➁ M C M R M E s t t s s t2 s st t 2 t s s ts s s s s 2 s s ts q 3 s ts s ts t t t 2 t s st t s t s t t s t t t q 3 t 2 s 1 t s t t s t t tt st t t t t t s s tt 1 t
f g c f d A t s f,g A f h g c h e f d h A C 1 t q 3 f g f g c h h h e 1 f d h e 2 A C q 3 f g 1 t q 3 s t s 1 t t t 2 t t t t f, g A t t 1 t q 3 t s t s t tt t q 3 s t s t2 t2
s t s ts s s s 2 t s s P t s s t s t t q 3 t s t s t s s 1 t st t s s s t s t 2 t s t s s s s st s t s t t t t t 2 t 2 t 2 s s ts s s s t s s s 2 s t t st t t t s s t s t t t s ss s s s s st t t s t t t 2 s t st t t t 2 s s ts s 1 s t 2 t s t t t P t t t s ts A t t f A s t f A ➐ t A ➐ s s t A A s f t dom❼f➁ A ➐ s t f t def❼f➁ x dom❼f➁❷def❼f➁ f❼x➁ s s t t t s s t ss t s t x def❼g f➁ ❼x def❼f➁ f❼x➁ def❼g➁➁ g f❼x➁ g❼f❼x➁➁ t t f A t t t t t t 2 s ➊ t 2 ➊ ➌➊➑ f ➊ A ➊ 2 f ➊ ❼x➁ f❼x➁ ➊ x def❼f➁, t. t f ➊ s t t t t 2 f t t s s t t t s t 1t t s t t t t t t ➊ s t t g ➊ ❼➊➁ ➊ s t t s st t 2 q t t t t 2 t s t P t s t s A ➌C A,R A,E A ➑ ➌C,R,E ➑ t s f A s t ❼f C,f R,f E ➁ s t t f C C A C f R R A R f E E A E t t s s t t e def❼f E ➁,e ❼c➁ def❼f C ➁,e ❼➁ def❼f R ➁,f C ❼e ❼c➁ ➁ ❼f E ❼e➁➁ ❼c➁ f R ❼e ❼➁ ➁ ❼f E ❼e➁➁ ❼➁ t st t s t s t st t s s t t t t s 2 t s s t2 2 s t s s s 2 s st t s t 2 t t s s t t t2 s t s 2 t s s s t t t t2 s t P t s s s t s t t t s s s t s g f ❼g C f C,g R f R,g E f E ➁
P t t t t s s s t s s t t t e def❼g E f E ➁ 2 t t t t s t e def❼f E ➁ f E ❼e➁ def❼g E ➁ s f g s s t t e ❼c➁ def❼f C ➁ ❼f E ❼e➁➁ ❼c➁ def❼g C ➁ t t f C ❼e ❼c➁ ➁ ❼f E ❼e➁➁ ❼c➁ g C ❼❼f E ❼e➁➁ ❼c➁ ➁ ❼g E ❼f E ❼e➁➁➁ ❼c➁ g C f C ❼e ❼c➁ ➁ ❼g E f E ❼e➁➁ ❼c➁ ts t s e ❼➁ t t t2 s A t t t2 s A s s id A A A s t t ❼id A ➁C ❼id A ➁R ❼id A ➁E t t t2 t s C A R A E A s t 2 id A s t t s s s t s t t ts t t t s P t t t id A s t s s t t t e E A s ❼id A ➁C s t t t2 t C A ❼id A ➁C ❼e ❼c➁ ➁ e ❼c➁ s ❼id A ➁E s t t t2 t E A ❼id A ➁E❼e➁ e ❼❼id A ➁E❼e➁➁ ❼c➁ e ❼c➁ ❼id A ➁C ❼e ❼c➁ ➁ s ts e ❼➁ t t 2 t 2 s s s ts t s s s s s t s s t s t s s t t2 s t t2 s s P t t t s t s t s ❼ 2 s s s 2 s t t ❼ t s s f A g C t s s g f A C 2s 1 sts t s t s t2 t def❼g f ➁ ❼ s t t t s s ss t t s t s s s t s s s t s s s ss t h ❼g f ➁ ❼h C ❼g C f C ➁,h R ❼g R f R ➁,h E ❼g E f E ➁➁ ❼❼h C g C ➁ f C, ❼h R g R ➁ f R, ❼h E g E ➁ f E ➁ ❼h g➁ f ❼ t t2 t s t t t s t t s t s s s t s s t t t2 s s t s s t q 3 t t st t t s t t q 3 t t t q 3 t f, g A t s t t 2 q 3 h D f g s 2 t st t s C t s st q t s t C A,fC ➊ ❼➁ C gc ➊ ❼➁ t C➊ D t s t q ss s C h ➊ C t t t C D s t 2 t q ss ➊ h C s t t t 2 h ➊ C
f C A h R C s h s t q 3 f g f h s t t g s t t2 t s st t s R D h R st t E D s t t s 2 st t ED ➊ t st t t s q ss W ED ➊ 2 ➌w❼c➁ w W ➑ C D ➌w ❼➁ w W ➑ R D t s t s t t q ss ➊ e E D t t e ❼c➁ h C ❼e ❼c➁ ➁ e ❼c➁ h R ❼e ❼➁ ➁ s e E s t t h E ❼e ➁ e st t t s t s s t t 2 1 t s st t s t t s t s 1 t t s C t s s t t s P s st s t t D s t t e C E e ❼c➁ e ❼➁ t e E D 2 st t W h 1 E ❼e➁ ➌w E h E ❼w➁ e➑ s q ss E 2 t st t t s W ❼c➁ ➌w ❼c➁ w W ➑ C D s e W h C ❼e ❼c➁ ➁ W ❼c➁ e ❼c➁ h C ❼e ❼c➁ ➁ s e W s t t e ❼c➁ s s ts e ❼➁ t t h s t t t t2 s s e def❼h E ➁ e h E ❼e ➁ s 2 ❼h E ❼e ➁➁ ❼c➁ e ❼c➁ 2 t st t t s t t e ❼c➁ def❼h C ➁ s s t st t t s e ❼c➁ h C ❼e ❼c➁ ➁ ❼h E ❼e ➁➁ ❼c➁ h c ❼e ❼c➁ ➁ s t s ts e ❼➁ t st t s s t s t t h q 3 f g h f h g t C A ss A fc ➊ ❼➁ ts 2 f C ➊ 2 st t h➊ C ❼➁ t q ss C 2 t C fc ➊ ❼➁ C gc ➊ ❼➁ s g➊ C ❼➁ h➊ C ❼➁ h ➊ C ❼g➊ C ❼➁➁ h➊ C ❼➁ h➊ C ❼f C ➊ ❼➁➁ h C f C h C g C s t s ts h R h E t t h f h g t t D s t s s t s t2 t D ➐ h ➐ D ➐ s t t h ➐ f h ➐ g s C s t q t s t t f ➊ C ❼➁ g➊ C ❼➁ ❼h➐ C ➁➊ s t st t 2 q s E ➊ D s t s t q ss E E t t E ➊ D P❼E ➁ s W P❼E ➁ ➌w ❼c➁ w W ➑ P❼C ➁ t t t t ➌w ❼c➁ w W ➑ C D P❼C ➁
ss C t s t 2 q t k C C D C D ➐ 2 k C ❼h C ❼➁➁ h ➐ C ❼➁ s t s t k R k E q ss s t t2 t t t t s A s 2 A ❼C A C,R A R,E A E ➁ t t t t t s ι A ❼ι CA,ι RA,ι EA ➁ ι ❼ι C,ι R,ι E ➁ P s D t t t f A D g D s C A C s t t C A C t t 2 t s 2 t 1 st q ss f,g C C A C C D s f,g R f,g E 2 t t t t2 t2 t 2 t t f, g s s ts q ss s t 2 t q ss ts ts P s t s st t t t s t t s f A g A C s s 2 t 2 t t t C t t q 3 ι f ι C g s 1 s t t t s t t t s t s sts tt t s t t t t t t t s t t s t t t t s t t 2 s s t t s s s t t q 3 t s s ts t 2 t s t s q ss t t t t t q 3 s t t s t t q ss s s t tt s s s t s s s s t s s t q 3 t st t t s t s s ts s t ss C s t t A 2 g t t tt s 2 f 2 t q 3 C s t q ss ➊ s t D s t ts t s t t t t 2 s 1 t t t t t s s t t s s t s s t t s s t s s t s t t t 2 t 3 t s s t t t t t s t t st s 2 t s s s s t s t C t s M t t s s t t t t t M t s st t s M A t t t t s s f g s t 2 t ❼c,c c ➁ M C t c t C A f C ❼c ➁ c g C ❼c ➁ c c s t s M R M E s 2 t t f g s s
f e A g g ➐ d d C f ➐ e D s t f g s C t A t t t t s s t d e s t
s t t t t M s t st t s t2 M t 2 s t t st t s t2 f g t t t s t t t s t s s t D s t C M t A s t t ts s 2 f g t s t s t s t t st t t s t 2 ts 2 M t t s s f g s 2 t t s s t C t s t 1 t s s 1 t s t s 1 s t t s C M t t t t t t M C s t t t s A s t t ss s t t t s t M t t t t t t f C g C s s 2 t s t f g t t C s t t t s t s s t st t C t s s t s s f ➐ g ➐ s s s 2 t s s 2 s s t 2 t t ts t s s 1 2 t t t ➐ s t t s t 1 g ➐ s t t ➐ s 2 g ➐ t t s t s t t t ts s s t s t t ts t s t 1 t s 2 f ➐ g ➐ t t t t s t s C ➐ D s t t 1 s t s t t s t t s t s 2 t s A s f A A t tt t t t t t s tt s f t t t t ts A t s ts t t t f t t s t t f ts t t f s s s s t ts A t t t 2 t s s s t t s s t s t s s t t s t s 1 s t t s t t f s ts A t t t s C t t ts t t ts s t t t ts c t t c t s t A f t t 2 t t C t t t s g A C s C t s t tt A s s st t t t s 2 t t A t t tt 2 t t s t s t t t s t D f g 2 t t s t A f C s 1 s t 2 t s t s t t s C s 1 s s 2 s s st ss t 3 s t 2 t s t s 2 t t t t t s s s s t ss s t t c e t t t t s t t t e
➐ e c C ➐ M s C M t t s t s s ➐ ➐ e c C ➐ f A ➐ g ➐ s C 2 t A t s s f A g A C
➐ ➐ e f ➐ A g ➐ g e f ➐ c c D C ➐ D s t C t s t t A
f c A t s t 1 f c A g g ➐ s d s d f ➐ c e e C D t t t s t ❼A,,f ➁ t C s t s t g s t t A C
f A g c f ➐ g ➐ d c d C D t t t A 2 t t s C 2 st t t s t D s t s t s 2 t t A s t tt t t s s t t t s t t t 2 t ts t t t A t s f t A st t t t t s t s t t t s 2 t 2 2 t t t s t A f s C t t t g t A C t t s t D f g s 1 s s s ss 2 t s t s t 2 t 2 s s 1 t s s t t s t s 1 s t t t t s t s t t t s t f g t t s t t t t t s t s t s ss ts t s t 2 ts s t s ts 2 t t t s 2 t t t t s s s t t t s s t t s t s t t s t s t t s s t t t s t s t t ts s t t t t 2 t ss s s st t t s ts t 3 t t s t s
t t t t t 3 t s t s t t t t s t t s s s 1 s s t t t s2 3 t s s t t t t s t t t t t t s t t t t t t st t t 2 t 2 t t ss t t2 t t t2 s t s ss t s t t t t 2 s s t s P st 2 P tt s t 1 s s P t3 t t t t 2 s s2st t st t t3 st P s t t t s t t t s t t st t3 t s t t s t s tt 2 tó s t s t t s t s t t st P t3 t t 2 t2 tt t s t s t s s t s t 2 t q s s t s t t s t t t t s2 3 t t 2st s s s t st t t t t s t t st t t t t s st t s t t s t t é3éq s s t t 2st s tt t
3 s s st s t s t t t t t s ts t s P t t P t t s t t s s t s t t t t 1ts t t s s 2 tt s t t P ss t t t t t2 t s P s t 2 t 2 t s t sts t s t P ss P tt P st s s s s P s t t t t 2 t s s t 3 3 3 t s t 2 s t s t s t t3 t st 2s s s st 2 s ts t 2 t t s t t2 t3 t st t s st t s s t t2 t3 t t st s s st 2 st t s t t ä tt 2 t s s