Combinators for Bi-Directional Tree Transformations - CIS @ UPenn

Combinators for Bi-Directional Tree Transformations A Linguistic Approach to the View Update Problem J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt University of Pennsylvania


ABSTRACT    

  

!#"%$&')(+*-,+.0/2143 5 67 ,8149;:,+?A@B  
CD 
E @4
2
2"%FF
2GHGI J K 'G LM N#" 
2N#O PQJ LRLSN!PTU P FI PQ
SN#V'N#W #I
2X&
2N#QYG
2"  
[ZN#"%GN#
2N!Q\  J @-QLM N# R  

2J]^U_ 
GN#
22" N#Q\`a
2
VJ @- LV N# bcGFZZ
G)=>,+de,+efbLM g ihj2Q" 
2
2kV
2
[N#&l SN#LR#N#O
2Gmh ZJ 2&N!
'k nIN#_
HQ
2J` 
2oLM  YLRDGN#O
2G ZJ C&N#
2`QP
2
2C'N#V
p N#P " N#I q2 2
2
T
2
&`rW  
2 QGN#P #o LRDGN#O
2Gc 
2


&]ts FSG
2N#P W
LRI N#u2
2HZ QcQZF
2v Gc
D 
wQ@ F
&`2P FI J &
2
N!PCQPE
2##"%Z
2\ x
G
' Gp J !N#UoyQ"
N!
C@B q
2##"%;o&
2GT!

2J] 
CN#G
2&N!@BoM 8\ FJ \ 
Y @z
!#"%Z
2I 
2G[ZN#"%GN#
22N# I  J @B LM N!Q8
Y ZN#J oFF
2J`FGo{G
2O
2G
2 GR &N#|FN#;opN#RN#\
2N#P `} GSJ 
 a
2N#
'2 
22N#Q 'N#R
82U N#& }
 o{ @YhfF G\ 
8J U N# HFG
q a2Q" J &I2 LS#
2LR
2&kE@-QL~G\ J ZI 
2J]

2{N!J &NU 
aN# 
LM &N#8@-J LR
2a $N!
a@-QL€ @I 2Q#!
2N# RQ@\=>,+dea‚:?S,+?S,+d 7 N# 
[
2
TQ@ Ÿ 2N##Q€ G¯Æ|o&J  J`”'N##
QF
2SQ@q
2##" Z
2I 
2GW#
2
2TN#[N# LRQN!M 
w
2[ @ 5À d 6 ?S*f‚v(+*f,+.e N#
ƒ

SQ@ Q# Z\`¬\  #N#NU`a G DN!D NU]Y„IZ
S
2N#
&` Z  HQ@ 
2
q
2F# LFZ
q½|FI #N#O
2GSZ|o v GGN!N#Q\ 2 " GN#N# H
P GN#Pp\ NU #N#;o|]„'
E@BJ LR
  $&r @ Ÿ 2N##  G ÆJ&o&J QE GS @  # ZI`¬\ Q#N!NU`} G DN!D N” 
'Z  ƒ@-QLƒF" U 
2GTN#
2LR'Q@”J U N#PV/+1 5 67 ,E¿/&d‚ 7 *f:deIQwÄ£N!&ƒF" G\ 
ƒ@BF2N# C WÁy`NU]
&]#`
2N#Y1 / 7 < 6 ‚+²Y@BF2N# C\ x
{;o&
…fÄ Ü ÄS‡ zÜ …Á zÜ Áy‡`I'N##
QFS#
2
2SJ U 
_ Z" J Me 7j67 ,+eyN!&vF GI 
@-F2N# S €Áy`\N;]
&]#`\ FR14/ 7 < 6 ‚+² @-F2N#QM\ x
Uo|
i…-N!QLR N#l ‡HÄ zÜ …Á Ü Áy‡] ¢S 
J
2J`CN#£Z  £ @ƒ
2
v@-J LR
2 Q$&J`vhjF GI 
vJ ; "  kv…-
[ I # PHQ@\ FE1 / 7 < 6 ‚+²q@-F2N# J‡q 
pG
O
G #o 
2E LR
ƒ\ N!FU C 
2V
2 £Q@Y ZJ 2YF G\ 
{@BF" N# J`  H
v #C@BF2N# [@B L Ä°ÄR]c„'
2
VF GI 
J U  '
F 7 : 7j6 =}@BFN!Q8@B LóÁÁy]8s Fa14/ 7 < 6 ‚+² @-F2N#QJ`Q_
RQ
2{I GI` 
G
2O
2GvJ
2T #p ZJ  J 
M G
Fl1 6 9 7 * 6 =8@-F2N# R@-QL Á)iÁy]M«\N!I ##o|` 
ƒž+, 7 @-F2N#   @4#
2
2{ 
S ##
2G[{Z
q\ N; U` '
2
&  
{2Q
2  GN#P[@BFN!QR…-& ##
2GW(+*f,+.e‡\N#M
{ 
2CU  @-J LR
2a $&T 
V FLR
GZ
SQJ U]y^;M G
2yLM $
ƒ
2Q
2  G
22
2IN#P &J`2 F”
2” @|
2##"%Z
2\ x
2GT G{
2oC
2# Z
2I 
2GH#
2
2 
2
2GHZ
q
2N#2
2G{FZ
 \ p 
R !  J ”N# EFN#J Z!
p

&] û\
22
2&r  $SZ|oƒš”
2&
2&Z QP
2y‹!ÓQË™
2J Z#N#
2 \ aJ " U N# I @|&N#
2F G\ 
”FG
2z2QJ &2 LR#
2LR
2&' 
 Q" N#Z#
[
2N!
!oN#@'|N#
2gF G\ 
H
¤
22{LM xoZ
HFG 
SFN#P @-F
2q&N#
2£F GI 
2J] ^;T
p#N#
2J F
{ VQP J LRLRN#PHU P FI P
J`U 'CN#LRN#;  QFp#
2yU 'T…-ZFyQLR
2'\ {N!LS#
2J` G
& !N#Pw !oV'N#  J 8ž+, 7 G14/ 7 < 6 ‚+²'@-F2N# J‡' 
& qN# s #
2Jþ&& 
2PQ o @ hjJ 
I 
2kc‹#ŠÇQ™ GlN#  YQ@-LM t G¯¬4N#
2
&þ H  $  hj QN#N!
FZUo|N#P kw‹#ÓÇ ™U] • “I}–I}—&˜ ªŽ}  ’ U B ’jD— 
2’jŽ}“I T~'“I˜ UŽJ‘@ 2’jŽ}“”˜ ¾  
!

2 @Ro&&J X`YGN#¤
2
|V@B LRMQ@HZN#"%GN#
22N# I Q" P J LRLRN#PT\ x
Z
2
2v
2X&# 
GA 2  pFN!N#P #oMGN#
2
J P
Q@R2 LSLƒFN#N#
2J`YN#2#FGN#PW PQJ LRLRN#Pi; PQF\ PQ
2J` G\ J ZI 
2J`C PQJ L J @B LM N!Q\`C J N#|"%ZI 
2G£F
 N#&
2@ 2
2J` GR½&F\ |FL)2 LSFN#P ]8s 
'F
2@BFy xoS @ ; " N#@-o&N#P_
2
U P FI PQ
2TN#HZ&o_
thjI 
2k @y

2LM &N! \ 2
yN#['N#T
2N#8J @- LV N# E#N#
&]”
YN#G
|N#@BoH
2
LM +†-Qr; 
2JK 8*f3 5 *f9U,‚ 7 *f:d 6 == 6 dž+/ 6 ž+,+e`N#2#FGN#PYQFJ`@- L #
2
IZ&oCI N#N#PS Ež+, 7 @-F2N# {Q@|Uo&
yÁ¯Ü´Ä_'N#T I14/ 7 < 6 ‚+² @-F2N#Q_ @8Uo&
H Ä OÁ·Ü Áy]S^;P
2
2J U`”
Mž+, 7 @-F2N#  & w|†-
2S xy o LS
pN!@-QLM N# V@B L¨
Y2 2
2
p&N#
2` 'N#TLF 
2[Z
E
2 
2GTZ&oR
E14/ 7 < 6 ‚+²8@-F2N# I]”^;,+?S,+d 7 Q@ a&N#
2`J'N!SLF\N#2#FG
p #
& C # N#@- LV N# vLRN#N#P[@-QL°
p|N#
2] W
2 Y2QLR#
2LS
2&CN# OX&
2G\`&
2
{
2X&N#H CLRQYQ
{F GI 
p @
GI J Z\ 
\  
¦
22 {P N#
2vF GI 
ƒ v
S&N#
2)'N!#
H#
& x&N#P
S2QLR" #
2LR
2&qFLRDGN#O
GbN;]
&]#`I whjJ U 
YF GI 
2qFG
  J &p2 LR#
2LR
2&J] k~^UPQ
2
2J U`a p&N!
)LM xoV\ x
LM &o  LR!
LR
2&J`
& M2Q
2  GN#P[v Y  N#Z!
J 
P ow@B  J U N#P&N#
2mF G\ 
SvG\ J Z\ 
F GI 
2J]M„'
QZ" #
2L·Q@\J ; N#PH&N#
2£F G\ 
2'
Z
22QLR
2S CQZ#
2L·Q@ OGN!P `D@-QS EP N#
2w&N#
2`z CFN#J Z#
p2 LS#
2LR
2&J] Q# Z\`p¬\  #N#NU`{ G &N#& NR‹#ÓQ‰™YQ¤
2
2Gg LR 
V
2O
2G 
2 oiZI 
2G¯ ¶ Vo&|J 2N#J U N# t @ƒ|N#
2 F G\ 
2J] „'
2o{N#G
2&N#O
2Gw rN!
J |o{Q@}
2N#2
2GRD 
2 @
2N#\@-J LR
2" a $`+
LS I
2LSN!N#
@- L~Z
2N#PY
2N#ƒhjGo&\ LSN!a&N!
'k GV
pLR E
2N#2N#
&`D ##
2G€hj2o&2#N#{|N#
2'C'N#V2 J & 8.

b

^]`_

ed

6c

d

fd

gd

&h

Zi

Ea

Ec

c

b

d

)c

M]

F]

kj

l

!m


D T
2& Z
CF[N#[
2
2
&]”
CF
2oR
!
} |a Q$HN! 
COaU 2U 
2 N![G
2J N# 
X|JnJN!@-QLM N#  [
2
2N#Z#
U P FI PQ
2M…-'Q
T 
2w 
[#
2R2# 
!o
2U 
2GI‡E&  Z
@B FGwN#
p# PS
2N# wQ@I
pI 
2J] ^UA
O[2U J`'
Va $\ [N#@-FG\ LR
2&J ##ocLS  N#LRN#U ¯mQFiN#0¢S
2
2
Jþ £@- LV 
D LR
2&AQ@£‚:d3 e 7 9 6 *fd 7 ? 6 *fd 7j6 *-d,+9e”@- ' J N#|"%ZI 
2G[F
 N#&
2@ 2
2‹#Š Ó™;] ¢S

2
2Jþ ƒ
2LM &N#
2N#PVN#w 2F\ #!o
2
2LR 
[P

2J ;K 
pJ $
Sž+, 7 Gw14/ 7 < 6 ‚+²ESZ
9;,+= 67 *f: de`Qq†-Fq@BFN!QJ` GcN#H2 J N#&HLM N#&J N#
2 
Vo&LRLR
2N#&Kž+, 7 
; 
2 I N#'@-QLʟ Á O{Ä£
2#
2LR
2&8Q@IĶ G14/ 7 < 6 ‚+²8
2U 
2'I N# N# Ä OÁtw
!
LR
2&p @Áy]{„q $&N#P
S
2NU r& 
H'
2

ž+, 7 
2U N#QcN# 2FI ##o£ R@-F2N# ¯…-'N! N#SN#LR QJ & @B S¢S
2
2
2qZ
2& F
{N#qN!q
y& 
{'
2
p2 LS  N#N# c‹ N! 
8
2
' @}QFEnJ LZN#\  ™|N!PQF\ J &
2
2GSC
2

8
!#" Z
\ x
2G
2J‡`o&N#
2#GI

2&N; #!opQF
2oYa
2#DZ
2\ x
Gp!

2J] ¢S

2
2\  Q
2C r N#
2;opQ@2QLƒZN#\ Q\@-QrZFN##GN#PE2Q" J N#|ELM N!&J N!
2J`|LS E @\'N#w\ x
 \ !QP R LRQPH F #
2
2J`ZFyGD
2{ YGN#
22#ovG
& r'N#G
2ON#N# Z&oV
2F" N#Q\n[ # `q LR
v @{N!T2 LZN#I  TG  F QT2QLR"  QN#N!Q\ 8
& QN#P Z  Fa
2##"ªZ
\ x
2G
2J]S C
H2 N!G
2  J N#|{LM N#|J N#
2p@B {F2F
2GvG\ J {Fi p!N#J`a  a
Gl@- T
2
2J`'ZFT
2
A GQ VJ 
2TGN#¤
2
2&  N#& Q@8&N#
2)@-QLÕ FJ` @-DFN#PwQ2QJ N!&pLM N#|J N#
2{\  a $V'N#MF2F
2Y CGN#
22#owZFEN!M
2LSY @r
_hf
2GN# N!kV\ pLRN#P &{\ x
RDGF
2G
2LM]S^;
R
LRN# #" QP oƒ @ o&QN#u& N#Q\`Q
E'N#
2r@-QL° J 
2"%Z\ 
2GH  Q
2J N#Q"%Z\ 
2GV
& LS
2& qN#q  N#&J] û\
22
|pa $v @¢SFI` YFI`a G_„q $
2N#Nr ¶hfN!†-
2N!
U " PQF\ P
2kR@B '&N#
2'"%F GI 
2"%Z\ 
2G[F2F
Y
2GN# ‹#Š Š™8 G  yN#LRN#U C
2
22N#
&] ¾ # FP w
2N#CJ @B LM N!QyQZ
2o QFy ]y_ahdfegaTU `}
2N#yQN!QM @ a
2##"ªZ
\ x
2GMJ @-QLM " N#QpN#pN#@-QLR
2GZ|oVGN#¤
2
2&YPQ #\ QFJ` !
D GN#P a
& $
2\@-QL€ @|
dfewa@]`_aYU ] ¾ N!LV op2Q2
2N#IFN#P 
S&N#
2'"% "%&N#
2€J @-QLM N# {TN#LF#J 
2 F!oM
2Q
N#& NU &.* 7 ¼*fdp
C F2
y&N#
20 'a
2#8 'F G\ 
Y
Y2Q" 
2
w&N#
2] ¾  
R\ 
2RZ&o_ YFI`q¢SF\`Y Gl„q $
2N#N‹#Ó É™ !N#
2ƒ qZN#"%GN#
22N# I 4QP J LRLRN#PRU P FI PQ
p½|FN#
y2# 
2#o 
; 
2GwRQFqS
yG
N!PQw @hjQP J LRLM Z#

GN# kH@B  F2F
GRGD2FLR
2&J] ¾ N!V‹!ŠQŠ™U` 
oF Qr
2
2 N#  Q@I#D& N#| NU |qN#
y14/ 7 < 6 ‚+²'GN#
22N# I]I Y
2
&`N#
D GwQ@ LSDGN#@-o&N#PR
H ZJ E&N#
2`D
2oV FLS
p\  q14/ 7 < 6 ‚+²8  ž+, 7 D2FT @B
2T,+(+,+9 À LSDGN#O& N#  w
2N#
2p&N!
]H„'
2o F
TN#lhf #o_Q
F GI 
2k FLRN!QlvDQ

 " 
2 N#&
2
q@-Q 
E#
2aI r2 N#
2G[G\ J N#H
Sž+, 7 GN#
22N#Q b Z
2& F
ƒQ#oQ
ZJ w& MI 
Z

2VLRDGN#O
2G S &o PQN#
2N#LR
D]V›” 
½|F
2&#o|`4
2oV& 14/ 7 < 6 ‚+²
SG\ J ƒ@-QL 
SLRDGN#O
2GZJ W G
'N!
S
SFLRDGN#O
2GvZJ \]  C
2
&`ƒ wN#¶‹#Š Š™U`C
 N# ¯ @
!#"%Z
2I 
2G
2LFTZ
a
& $
2
2GI]8
GN#2FC
2
{ NU &C@-F
2EN!M
@BF#II " 
J`&N#w
y
22N# VGN#2FN#PS FRê æ ð G ÑJÒð&ÑC!

2J] „'
Y„û\^+¬rŠqo&
2Ló…-
&] P ]#`4‹#Ó Ö™U‡”F
2Þ 8ZN#GN!
2ë N# \ 4J @B " LV N# a
2N!O
2Gv 2Q#!
2N#   @r¬  # PpF!
y y aLS
& aQ@ N#LR#
2LR
2&N#PƒGN#
22"%LM N#F; N# N#&
2@x 2
2'@B ƒ #N#& N#Q GI J ƒF2F
J]ƒ„'
Mž+, 7 G1 / 7 < 6 ‚+²p2QLR  
2&Q@8

LV N#P ƒ 
'N#
2T
2\ J 
2#oTZ|o[
yF
2J] •a“I–I}—&˜ ªŽ}  ’ 2D— 
’ Y ,— ~'“I˜ ªŽ}‘_@ ’jŽ}“I˜ ¾ l N!

& GlQ@Ea $N!l
 PQJ LÊJ @B LM N# W LRLFN!Uo  
2ƒ149;:+ž+9 6 ?î*fd(+,+9e*f: d Gt*fd(+,+9e,w‚:?q14/ 7j67 *f:dbc
2
D` @B q
2X LS#
&`z‹!‰Q`&ÇQ™8 GTLM &oH 
2q\ 
2'2N#
2G
2
&]q¬  " PQJ L)N#&
2N# ƒG
2N#
I
8N#&
2
aQP J L)@B L€
8@-Qp G  PQJ LM]I^;&

E LRFJ N#QT2QLRF
2p '  N#Z!
YN!FaQ@ S PQJ L @-QL ƒI N#2F; ƒQFFJ]vs 
v }  wN#" %]

n

F]


2
2 LRFJ N!QƒN#\CG
2N#P ƒU PQF\ P
2\ IDGF2

& N##o N#&
2N#Z#

X|
2N# bc@B \
2X LS#
&`+; PQF\ PQ
2\ I&  #o
2X&
'N!†-
2N!
y@-F2N# J`'
2
y

2oHQP J L·N!'N#&NU ##o N#&
2N#Z#
&]4„'
2
'U P FI P
aZ
& \ LR
'N#&N#P FN!PYN#LRN#U N#N#
2 wQFJ`ZFpGN#¤
2{N#£ ƒ&FLƒZ
2pQ@8p xo&J`N!LV N##oN#_
N! @-DFE 
pZN#†-
2N#
p& 
D] ^;Y
G\ J Z\ 
a LRLFN!Uo|` ¾ ZN#
2Z  F;`D›”#F
2J`& G¢SN##S‹!Ó™ G
O
G£ RG
22U J N#
; PQF\ PQ
Q@S‚:99;,+ef1|:d 5 ,+d‚,+e{Z
2;a
2
2 \ [ @y
2
N#€ TG\ J T@-Q
2J]A^;WF\`a
2
w2Q
2  " G
2
TF#
2H& cZ
TF
2GJ U 
VQ
T
2
@B LM N#&  
2 FP R "ªG
2
2LRN#N!N#{¬  #QP "%#N!$
C2QLRFJ N# I] „'N#aD2
2p FLS
2p N#QLR N#LmZ
2U
2
H
q;aGI J @-QLM J] „'
J LR
l F M‹#Š™qU 
HG
2O
2Gt o&
2Lº@-Q ZN#"%GN#
2N!Q\ rJ @B LM N!Q{Z\ 
2GW  FGM
ƒ2 2
2y @ e 7 9/&‚ 7 /&9*fdžce‚+¼ ,+? 6 eM…-\ 
_P J LRLM W  J 
Gt'N#~
" LM |N#8N#@- LV N# I‡]”„'|F\
2N#Ež+, 7 @-F2N#QN#|  #
2G\ " N#P}`z'

& 
2N#{14/ 7 < 6 ‚+²p2 N!
G  @8F\ N#P ] ¾ P N!I` V xQN#G LZN#PQF F ZJ 2'F G\ 
J`D
2oH
2N#2
2GT
2LS" 
2#
2Cv=>:ee=>,+eerP J LSLM yI EG
2O
 vN#QLR N#L°Z
" ;a
2
2w 
2
 G ZJ 2q&N#
2'J] s QN8 Gw„' †BN!LV ‹#ŠQ‰™IG
2
2# 
G YJ N#& #!o&"%;o&
2G  #o&" LRQN#r
22QGD #2F#F”@-Q”G
2ON!P'&N!
'” {QZ†B
22"% N#
2&
2G G\ J ZI 
2J]”„'
2o{
22N#O& #!oƒ
2N#2
2GR'N#RO
2#G @\ a&N!
 
HF G\ J Z#
&`a ##'N!PV !ovQ
R'N#£ ƒPQ FGi…-N#LR!
D‡ ;o&
HMZ
[F GI 
2GI`'
2
D SQFƒ!

2ƒ& ¯ 22 LSLRDG\ 
FFJ zF GI 
2 Ca
2#U] ¾ 
; 
2GVN#G
& E@- L¨
y@-F2N# I  PQJ LRLSN!PH2 LSLƒF" N#Uo|`+D ##
2GV(+*f,+.e‹#Š Ö™;`J
2X&
2G' #PQ
2ZJ N!qI 
2LM N#PC ZJ 2pGI J {;o&
2yFN!P P J LRLR
2"%F#N#
2GA*fd GA:/ 7  
J  J] ›êZI  2,— ~'“”G˜ Tj@ 2’jŽ}“ ªŽ}` ~'—&— T’jD— •R˜ „'
2
C\ x
EZ
2
2 LM |oQ  J !C@-QC½&F
oU P FI PQ
2Y@B E
2
2S…-
&] P ]#`¡ F
2o G_N#{@- 
F
2J`”úY š'`ÆJF š'` G_š”Q
2U‡`ZFp
2

2N#
G H2QN#G
2[
w&N!
´F G\ 
wQZ#
2L  #CQ
2#
q\ G#
8F G\ 
8 !oN#SN#F\ N# r'

'
 ZJ 2C G 2Q2
2
p&N#
2'S 
pN# LS N#&] «}Qp
2X LR!
D` J P Q!}`'ˆy x&N!G I` G C
2F
‹#Ô™y G  
2 FGN#
2G[Ÿ
q Z#
2L0 @zF GI N#P{
2U N!Q\ zGI J Z\ 
 hj
2
2&
2G '¡R¢Sš'] kS„'
2N#8 #FN#Q
2½&FN#
2 Ó K#ÓCLV N#P Z
2U
2
2 ¡R¢Sši&N!
m
2#
2LR
|w G  Zz†-
22ƒN#
HG\ J Z\ 
&` LM $
F GI 
2wF\ LƒZN!PQFQFJ] „q J N#`C^;
J`E H #
2&o|` GA
!G)‹!ŠQÔ™yG
22N#Z
2Gg LS
2I N!L @B J U N!PlF" G\ 
2{ _¡R¢SšWF2F
2{I T 
HQ
2G_N#i _FG
2#o&N#P 
2U N#Q\ CG\ J Z\ 
&]c^UcN!H
N!P_

wN#v P N#g cN!Q" LRQN#L¶Z
2;a
2
2[
E2 2
2
C
2U N# I 4G\ J Z\ 
H G[
ZJ 2¡H¢Sši&N#
2`”VF G\ 
 
[F\ LƒZN#P FQFbJ 
2J` 
' Z!
L0N#rD N#Pp
'LR r
2¹RN!
|rp xo @ J U N#P IP N#
2{¡R¢SšF G\ 
aN#&ƒ \
½|F
2
aQ@
2U N!Q\ |Q
2J N#QJ] „'
|N#
2¨F G\ 
 Z#
2L­\  #_Z
2
2AFGN#
2GcN!c
2Q|
X| @qQZ†B
22"% N#
2&
2GlG\ J ZI 
2J]ÆJDQ;`Iš8 \`q G „I
2c‹#Š Ë™\
N!y
{QN# M @&N#
2'y[½&F
2N#
2C\ E
" 
2
[QZ†B
22N!G
2&N#;o|]H„'
H&N#
2¶F G\ 
H Z#
2L N!P 
D #o N#LR#N#O
GiN!WN#T
N!P `{ 
VQZ†B
22T2 &J N#
2GiN#A
&N#
2¶ 
{
yQZ†B
22C @I
pG\ J Z\ 
&`” Gl wF GI 
yQw
&N#
2£N!qGN!
2#o_ wF GI 
yQw Zz†-
2EQ@\
yGI J Z\ 
D] ›êZI  2— ~'“IG˜ Tj 2’jŽ}“ ªŽ} † b— Tj 2’jŽ}“I T ’jD— •R˜ û\
2
&   c&N!
·F G\ 
TJ U N#QAN#W
TG\ J Z\ 
w#N#
2J F
w\  
2G
2Gw[@BD2FC VJ $&N#P V
2X&N!N#PH; PQF\ PQ
S@B YG
2ON#P ž+, 7 @BF2N# S…-
&] P ]#`
; N# \ E #P
ZJ ‡E GV
22 N!G
2N#P ¶vN#@-
2ƒ2 
2 QGN!PM14/ 7 < 6 ‚+²S@-F2N# J`\
N!
2V FQ" LM N!D ##oQI'N#SQLR
F
2q N#J 2
&] Ÿ op2 &J J`+
a\ x
G
N!PQ
2G_ C
i; PQF\ PQ
pN#'N#
YG
ON#N# ' @qž+, 7 G a

B]

%_

(o

a

o

3]

o

'_

1 / 7 < 6 ‚+²SPQM\ G"%N#"%\ GI]_s F  ¯ #PQD
2RZ
2oQG ; N#& }a ${N#S
8
2U N# I 
2N#PYZ&opGN!
2#oJ @B LR" N#P GF G\ N!PT

2"%F2F
2GGI J Q` J 
2pI v¦\ y
2" U N!QJ]q…s @42 F
&` 
2
2a& [Z
E
2DG
2Gv 8
2U N# J`ZFrN# N#{Qy2#
& ) Fp

2"%LM N!FU N#QN#LRN#N#
2p F#GZ

X|
2
2GVFN!PH
p
2FN# "ª@B
2
{
2U N# I \U P FI P
Y2Q" N#G
2
2G[N#R
2&N# Faa $RN#HN!Y 
D ]#‡C
'ZN#
2¦oƒ
2&N!
c
LS q
2#
2 &q
2
& w@B L¨
y
; N# \ ”
2N#P ] ¢V FI P ¶‹#Ó Ô™VG
22N#Z
2Gî º F LM 
2Gº #P QN#L @B  J U N#PwF GI 
2C v|N#
2'pG
2O
2GMZ&ow
2U N# I Y #P
ZJ ] „'
[2 
HN#G
D Sp l QJ 
H'
2
H
Whf
2LM &N# LZN#" PQFN#N#
2k N#
&`}N!GN#& N!PT
2owLFEZ
S
2Q#
2GM
2N#
2Y'N! $&J'#
2GP
wQ@yFG
2#o&N#PvG\ J Z\ 
w
2LM &N!2 J N#&H  Z&o[N#&
2J 2N#QE'N!
yF
2J] p
!#
2H‹!ÓQ©™\& J # PQF
2GA #\  N#Z!
ƒJ 
2PQN#
2p@-Qy\ G#N#P F G\ 
2'V q
2#
22"%|†-
2"ª†B N#V&N#
20 Ga
2GI '



2X 2#o_

2SQ@YJ U N# R\ SJ N!@Bo¯ [LV #q
2 Q@N!&FN!N#
{2N#
2NU Q] Ÿ FN#!GN#P[ MN#E@-QFGI N# I` Ÿ J # F\` ÆNU LZ
2U ` p
!#
2J` GAAN#
2G
2Q!G¶‹#Ë™YG
22N#Z
2G0 w
2LS
@B EN#|
J 2N#
2#o2 F2N#PHF G\ 
yJ U  E@-QCQZ†B
22" ZI 
2G|N#
2'qQ@\
2U N# I ”GI J Z\ 
J] ¢S
G
2N# H GM„IQLR\ ‹#1Š qQ™\
2
2&
2Gc yG
N!PQDQ\@-Qy
2X&" # N#PM
[
2¤
2ƒQ@qD N#Pc S&N#
2¶F G\ 
 Q#N!o|]T„'N# DQ'y
F GI 
J ; N# @B yF G\ 
ƒ
2½&F
2yF" #N!
GvZ&o
{F
JnZ&oT2QN#G
N!P_ #I  N#Z#
} #N!GV 
2
J 
2J`z
ƒDQa
2GN#2Y'
2
2y
ƒG
2N#
2GF GI 
  F#G N#c@ Z

2¦
2
2GWZI $ N!&
w&N#
2Ê @B
2 #o&N!P
J U 
GVF G\ 
yR
y2 2
2
pGI J ZI 
&] ¾ u2
N[ Gi„IQ!Q
A‹!É™pG
2N!Z
Gm VD p@B wJ U N#P &N#
2'w G QZ
2
2G \ N#@q 
TD  J U 
 &o 
2
&N#
2¯M G@B Lº R?S, 7j6 3U?ƒ: 5 ,+=”…-I 
2G_ ZJ 2E|N#
2‡`& 

2HP
aZN!"%GN!
2N# \ }J @-QLM N# 8Z
2U
2
2v &oS\ N#aQ@  
2
q|N#
2'J]”„'
2o!N#LRN#
2GH
2LR
2#
rpLV N#P '
2

p2 2
2
 G ZJ 2q|N#
2'S 
pN#QLR N#&] ›”QLR#
2X&N#;opZ QFGII 
p #CZ
2
2FGN#
2G@-Q\} N# F\
2" N#Q @q
R&N#
20F GI 
HN#@B
2
2
 Z!
LM][^U_ 
H @'

D #N#
2J`”›”QLM GI $&N#R G ¬\ \ GN#LRN#N# Fl‹#1Ó qQ™”2QN#G

2G
&N#
2F G\ 
 Z#
2Lt@B q IN#PQ#
a
2U N!Q\`+'
2
r
&N#
2N#8 †B
22N#  @ 
qFG
2#o&N!Py
2U N#Q\` GH
GH\ r


Y Q!o& LRNU 4N#LR
S #P QN#LR'@B 8G
2
2LRN#N#Pƒ'
2
2aN#" 
N!QJ`IG
!
N!QJ`' G_F#
H
2U 2
2LR
2&ƒ ƒ|†-
2N!Q &N#
2m 
J ; J Z!
N#&R2 2
2
{F GI 
2J]Y¢S 
{
22
2&#o|` F
LM I` p\ \ Q`I Gw„q W‹#Ö™I
2J Z#N!
2Gc y} N!
;o @N#" Ÿ J 2J ZN#!N#Uo 
2F#S@B R
T Z!
LºQ@CN#@B
2N#P)hjLRN#N!LV #k &N#
2¶F G\ 
2SN# 
T
2U N!Q\ '
2N#PM@-QR½&F
2ovU PQF\ P
2 I qN#2#FG
yZ Qw†-QN! GT
2N#
2q†B
22E qFN!Q\] p

qp

p


9.ƒICONCLUSIONS x
ƒa $
GvG
N!PQA yAND 2Q#!
2FUTURE N# _Q@a2QLƒZN#WORK \ Qy\  Oq P

2CN! Y
2N#Z#
p xo GVI ƒ 
{
& oH P J L 'N#I]¯ÆJ N#Pv'N#W#
2RU 'HI RG
2O
£hf
& Q\ Z#
VZ
2" I x|N#QJ` k GGN#PR;o&
 QJ N# J`” Gw&N#PRI q
& VQ@ QFR#
2
2RN#RQJ U`rI RN#LR Q
2GcQPv2 J N#&R  F G
2N#P VQ@I
2¯#
2
bc2QJ N!&E\ J`&I J GX|N#& #!o|`&LM $

G
2N#P SD2
2\
& N#
2J]^;
a
& #opJ P
2 @
r H LR &o †B
22J`I Q$&N!PVN#¯ _FG
"ª J N#
2G_G
2N#P  I 2
&`”a
@B FGN!S
2X&
2LR
2#o GN#¹RF#Rv2 &
2PQ
w ~ HF
2@BFq
2RQ@ N#LRN#N!
v#
2
2J]¯š8 
2J` '
2Aa
vFG
2DDGA´_N#LR"  Q
V
w@BJ LR
  $ @Y;o&
G
22U J N!Q GW
TG
2LV G @B '2QLR  N#N# I z
& QN#P}`
Y
X|
N!
2
2G ¼/&ž+, N#2
& 
N#VLM \ P
& ZN##N!Uo|]r„'
Uo&
2'
2#
2G E†-FqN!OGN#PR " PQJ LRLSN!P
 SN#lG
N!
2G #
2
2J`IZFN!
X| QN#PMG
2N#PQ LSN!J $
2EN#
pN#LRN#N!
2ƒ  
& #oJ P
D]

ÈH FJ !#o|`I
QP 
2Ha
I 
TLM G
 #
2R LZN#\ "   J N#
2 8Q8 @z@-F
2aI ##
2PQ
2J]~„'
ELR  FP
|a @ 

SN#[ F LM 
2Gv;o&
2
2$&N!P ] ¾ E
2
|J`}N#yN#y
ƒ#
2 QP J LRLR
2Jþ”
2 QN#ZN##N#;o_M
2$v
[
2##"%Z
2\ x
G
  @E
#
2
R\ S
o'N#
&] Ÿ FS
TUo|
ƒQ@C
TN!LS" N#N#
[2 LZN#\  ƒ\ x
HZ
2
2G
2N#P 
2G M\ 
2
[
2$| 
EZ  H#D& a GH

2&N; #!oHLS
2I N!D U]”„'
E Z&&N# Fr
X| 
2vN#y[
2@-QLƒF; 
R
;o&
G
2; J N#  [ p;o&
6 =>ž+,+3 š>›Fœ:žŸ ˜N¡£¢F¤¦¥0§¤
¨ © ˜F@¡G¨Œ˜F.ª «F¤¦«F¬>«FŸNš­¥Fš>˜F—N®'¯G§ © ª°­[±F„[x ²U²V³{

w ´VÃUyèZ{Ì7{Πƒ €DŽV{Š«F½ ˜N¡£¤¦¥Fš Ü © + Ï „ÅxU¾ ÃV¿UÀ ³UÃU´VÂU³VÁUÓ„7x²UÄUÃ*{ w xUx yê{FÕZ‡@éU‡Vƒ[‡Vˆ‰Ԇ{F|k{F˔€DˆŽ €D~ ˆt{UЈW’€ DV €DD† ‡VˆŽƒ ‡V~ UˆWV‘ ‚*‰‡U€ U*€D‡U~ VˆŽ†Uˆ0€Dƒ ‡V~ Uˆ‡UƒµF~ €D¶†ŽV{7­ë`ª ß „F³*¾ ÅU¿VÀ ÅUÄ*x ÂVÃx Á*„ z€D€DÆ`}*€D`x ²UÄV´{ w x ´UyÌ7{FÍ{èVŽ €DV„U‹-{Ë`{RÈ €D€DˆF¶œ:™Vœ Ø[½ šŸL˜N¡ –”— ˜ž— «FÐÐœ:žO¹ «Fž¼«NžšVŸ°¯N–”ë°–”¹±FۆÏ+¼œ:™V¥F۔ú£š—>ЫF®V{7x ²UÄV³{