The Korrigan Environment

HAL Id: hal-00444026

https://hal.archives-ouvertes.fr/hal-00444026

Submitted on 2 Feb 2016

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

The Korrigan Environment

Christine Choppy, Pascal Poizat, Jean-Claude Royer

To cite this version:

Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. Journal of Univer-

sal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer

Medien, 2001, 7 (1), pp.19-36. �10.3217/jucs-007-01-0019�. �hal-00444026�

! #"%$'&)()$+*#,-. #/102043

5'6789;:1<=>@?BA)CEDF>HGIAJ8KLCE>@DNM7F77O:PCEKB=QRA

ST CF>UDGF>@=ABVSTWBXXZY[]\>X =^V_=>`?ZaX KLCE>UDcbedVfgCih

j]k &)l kmnj /o$'p k (

5'7qr79;:o<=>@?BA)CEDF>`GIAJstAu9KB=vGEA)D):PCiKL=1QRA

8KBDEQcK \V8 W >@w)KLG [ >@CF>@=^V_=>@?Zax=KB=ZGFA)D)VfgCih

y , k *zO m'k{2| ,-}~/3o,v"

5'7qr79;:o<=>@?BA)CEDF>`GIAJstAu9KB=vGEA)D):PCiKL=1QRA

€

A)KL=a S\KL_sABVq W%Y A)C [ >@CF>@=^V_=>@?Zax=KB=ZGFA)D)VfgCih

;‚4ƒi„i…R†Z‡e„eˆŠ‰Œ‹ZŽ‘ct’E“v“’EŽ”’i•%–Ž‘)•;’i•L—L˜“™e•Zšu’E•L––™Ž”›ZZt™c“”–Œ–‹Z’›ZŽ”’™)œoŽ”t’ii˜žO‘R–™e•.œ@™)“

šu˜ŸB’O ~Ž¢¡vŽ¢–’EšuŽi£#¤'¥@¦O¥oŽ¢¡vŽ¢–’EšuŽ§˜–‹¨t™c–‹ B¡B•‘cšuª©«¨t’i‹‘O—L™e›B“O£¬i™)šušŠ›Z•vO‘c–™e•£i™e•vi›v“”­

“’E•ZE¡Z®^‘)• uŽ¢–‘R–H]©g Z‘R–‘–+¡vt’O®‘cŽ”t’iE–Ži¯%°±’v“™R—LH v’‘)•!™et’E•.‘c• J’EŸL–’i•vŽ”¨Z²’N’i•L—L˜“™e•všu’i•%–

¨Z‘)Ž”’O !™e•;–‹Z’N³´µtµt¶@·¸¹ªŽ”t’ii˜žO‘R–™e•ªšu™L B’i²«¯B‰Œ‹ZŽšu™L v’i²t›vŽ”’iŽ‘]‹v’E“‘c“‹%¡;™)œ¬—L’E§ºi™)•v­

E’iv–Žn–™ªŽ”t’Ei˜œ@¡» Z‘R–‘.–x¡Bt’iŽi£¨t’i‹Z‘R—L™e›B“Ž‘)•Z »i™)šut™eŽ”˜–™e•ZŽ•±‘.›Z•Z˜œ@™)“š§Œ‘O¡%¯1‰Œ‹v’u¼½’E¡

•v™)–™e•¾¨t’i‹Z• !‘Š—L’E§¿Ž–‹v’nŽ¢¡BšŠ¨t™)²HN–”“‘c•ZŽ”˜–™e•ªŽ¢¡BŽ¢–’išª¯vÀ¿Áe™%™L ¾’i•L—L˜“™e•všu’i•%–Ž”›Zvt™)“”–”­

•vÁ.Ž”›vF‹~‘ušu™L v’i²o•Z’i’O BŽ–™!•L–’F“”œ«‘)E’]§˜–‹»’FŸvŽ¢–•ZÁ!²H‘)•vÁe›‘cÁe’iŽ‘c• ª–™%™e²Ži¯1ÀŒ––‹v’]E™)“’Š™cœ

™)›v“#’i•L—L“™)•Zšu’i•%–^Ž^–‹Z’NÂÃ^ÄÅu²¨v“‘R“”¡Š§‹vH‹uŽ2 B’i—½™c–’O ]–™n–‹Z’“’iB“’iŽ”’i•%–‘c–™)•u™)œ™e›B“#—L’E§

E™e•ZE’iv–ŽN‘)• Æ’EŸBŽ¢–•ZÁ;Ž”t’ii˜žZO‘c–™e•~²H‘)•vÁe›‘cÁe’iŽi¯oÇN›B“N’i•L—L˜“™e•všu’i•%–Žnšuv²H’Ešu’i•%–’O ¾›ZŽ”•vÁ

–‹v’™e¨LÈ¢’iE–”­'™c“H’E•L–’i J²`‘c•ZÁ)›‘)Á)’rÉ#ÊËtÌ´¹4¯½Í+–v“™R—LH v’iŽ#‘)•u•%–’iÁ)“‘R–™e•;v“™%i’EŽ”Ž#œU™c“Œ•v’E§–™%™)²Ži£

‘!Ž”t’ii˜ži‘c–™e•±²¨v“‘R“”¡%£1‘¾‘R“Ž”’E“²H¨B“‘c“”¡%£1Ã#Î]ÏrÎ]Å»Áe’i•v’E“‘c–™)•‘)•Z »™e¨LÈ¢’EE–”­'™)“’i•%–’O »E™L v’

Á)’i•Z’F“‘c–™e•ªœ@™)“³´1µtµt¶`·1¸¹ÆŽ”t’ii˜žO‘R–™e•ZŽi¯

Ð.ÑBÒÓÔ

…cÕ¬ƒeˆ1Ö2™ešuv›v–’E“”­+ÀH B’O ¾×L™)œ`–x§‘R“’Ø•vÁe•Z’E’E“•ZÁv£t×B™cœ@–x§Œ‘c“’Ù1¨B“‘c“’iŽ

چZ„ ÑLÛÔ … Ò ˆÜŠ¯ÝJ×B™cœ@–x§Œ‘c“’Ø^•ZÁ)H•v’i’E“•ZÁB£܊¯Ý%¯ÝŠÜN’iŽ”Áe•Æ‰o™%™)²ŽN‘c• ª‰o’EF‹v•ZHÞ%›Z’

ß àLá2âBãZäåNæçtâvèxä2á

7”=~G

T

>@D

X K X AcCe:éA

X

CEA)DFAc=ZGKL=»Ac=?>`C

W

=êªA)=vGNG

W

DF_

XXoW CFGnG

T

Au_DFA

W

fŒD

X

A)Qc>Hë1Q)K%GE>

W

=~f

W C

ê¾>`ìtA)síD

Y

DGFAcêÆD):î'ï«ðeïD

Y

DGEAcêÆD.ér>HG

T¿ñoW G T

Kòs

Y

=KBêª>@QóKBD

X

AeQOG±5

ñ A T K½?>

W

_Ce:2Q

W

êªê!_a

=>@Q)K%GE>

W

=^:2Q

W

=Qc_CECFA)=Q

Y

hJKL=1sºKòDGEKLGF>UQ~KBD

X

A)QOGó5'sKLGEKG

YX AehRV2ô

T >\ AõG

T

A»>@ê

X1W CGiKL=QcA

W

frêª>HìtA)söf

W

CEêªK

\ DX

AeQR>`ë1QcKLGF>

W

=D!>@D!ér>@stA

\`Y KvQcQRA

X

GFAes

ñ1W G T

>@=ºKBQ)KBstA)êª>@Q-5x÷nø.ù.øÆú:

û¬üý

hªKB=sº>@=st_DGFCE>UK \ é W C \sDó5”ú¬þ¾÷:ÿ¿÷hR:ŒG T A)CFAó>@DÆDGF>\@\ K=AcA)s¿fW C WvX A)= KB=s

ARìGFA)=D>

ñ\

AJG

WWB\

DKB=s±Ac=?>`C

W

=ê¾A)=ZGEDNG

W

DF_

XXoW CFGrG

T

Acê±V

X

A)=ªêªA)KL=>`=

T

AcCEAJG

T

KLG

>HG.DTW _ \s ñ A XoW DED>ñ\AªG W-\>@= òG T A)DFAÆG WZWv\D!KL=s Ac=?>@CW =êªAc=ZGEDuér>`GTöW G T A)C;ARìt>UDGE>`=

W

=AeDcV=

W GT

A)CŒ=AcAes;>UDG

W

>@=ZGFAvCEKLGFAG

T

Af

W

CEêÆK

\ DX

A)Qc>HëoQcK%GE>

W

=;>@=vG

W

K]D

W

f«GéNKBCFA

X C W QcA)DED

5FðeïvïvKL= WBñAeQOGaW CE>@Ac=ZGFAes W =A½hOV T AcCEARfW CFAv:)>@= W _C2Ac=?>`C W =ê¾A)=ZG):eéAN=AcAes;Aest>HGE>`=ŠKB=s

fW

CEêªKLGF>@= ªG

WWv\

D):?vAcCE>Hë1Q)K%GE>

W

=óêªAeKL=D):KBDéA

\`\

KBD

X C W G W G YX

>@= õKB=sQ

W

stAvAc=A)CEKLGF>

W =

G

WWB\

DcV

W

CFA

W

?BA)C):

WBñ AeQOGa

W

CE>@Ac=ZGEKLGF>

W

=Æ>UD

W

f«GFA)=»Kvst?

W

QcKLGFAesÆf

W C X C W

vCEKBêªê¾>@= 1:vKL=1sõéNA

é W _ \s \

>vA]G

W

ARìGFA)=s»G

T

>UDnG

W D X

A)QR>`ë1Q)K%GF>

W

=1DrKL=sóD

X

A)Qc>HëoQcK%GE>

W

=stAc?vA

\@WBX êªAc=ZGiDcV

W D X A)Qc>Hf

Y

CFAeK

\a\

>HfgAÆDF>`w)A¾KB=s Q W ê

X\

ARì D Y DGFAcêÆD):

W

=Aª=A)A)sDŠG

W

_1DAªDA)?BA)CEK

\2\

KL=a

T SW T W ñ W \ X Y ñ T W

KL=sDGiK%GF>UQ

X

KLCFGED)V T A¾êÆKL>@=

X C WBñ\

A)ê >UD]G

W \ _A¾K

\`\2W fG

T

AeDAªstA)DEQRCE>

X

GF>

W

=DŠKL=1s BAcG

K!Q

W

=DF>@DGFA)=vGrKL=1s

\@WBñ K \

DFAcêÆKB=vGE>@Q)DcV T

A ê

W

stA

\

>UDKB=»KLGGFA)ê

X

GG

W.W

?vAcCFa

Q W êªAGT >UD X C Wvñ\A)ê±V]_CNê W stA \oW fêª>`ìtA)sõD Y DGEAcêÆD>UD ñ KBDFA)s W = W _C= W GF>W = W f^?Z>@AcéD

S

8qvKxV

T

>@Dªê

W

stA

\

KB>`êÆDÆKLG vAcA

X

>`= Kvst?%KL=ZGEKBA

W

f]G

T A \

KL= v_K vA)D¾stA)s>@Q)K%GFAes

G WöñoW G T KvDX A)QRGED5'K \BA ñ CiKL>UQóD X A)QR>`ë1Q)K%GF>W =1DªfW C~sK%GEK GYX A)D):KL=1s DGiK%GFAca+GECEKB=DF>HGE>W =D

st>@KBCiKLêÆDf

W

Cs

Y

=KBêª>@Q

ñ A T K½?>

W

_COhé

T >\A X C W

?>@s>`= ªKª_=>`f

Y

>`=Æê

W

stA

\

ér>`G

T

KL=

WBX

a

AcCiK%GF>W =1K \ DA)êÆKL=ZGF>UQcD)V

ôAénKL=ZGªG

WöX C W

?>@sAóKöD

X

AeQR>`ë1QcKLGF>

W = \

KB= B_1K BA±ér>`G

T K

\@WBñ K \

DA)êÆKL=ZGF>UQcDÆKB=s

K \D W ér>`G

T

B_>UstA

\

>@=A)Df

W

C]G

T

A¾D

X

A)Qc>HëA)CED)Vt_Q

T K \

KL= v_K vA;D

TW _ \s ñ

A.DF_

XXoW CFGFA)s

ñY

?½KBCF>

W

_1DJG

WWB\

D

X

KBCEDF>`=:^Aest>HGE>`=:ŒKL=s

X

CEARGFG

YX

CF>@=ZGF>@= V#ôAóK

\D W

énKL=ZG;G

W

>`=ZGEABCiK%GEA

W

_CJK

XX C W

KBQ

T

>@=ZG

W

K~D

W

f«GénKLCEA.stA)?BA

\@WBX ê¾A)=ZG

X C W

QRA)DEDŠKL=s-G

WóX C W

?>UstA

X C W G W G YX

>@= 1:

Q W stABAc=AcCiK%GF>W =-KB=s?vAcCE>Hë1Q)K%GE>W =GWWB\D)V T >UDŠ>@D W fNQ W _CEDFA.KB=òKLê ñ >HGE>W _DŠKL=s \`W =

GFAcCEê GiKBD ¬V

7”=ºG T >@D X K X A)C¾éNA±DGiKLCFG¾ér>`G T K X CEA)DFAc=ZGiK%GF>W = W fG T A D X A)Qc>HëoQcK%GE>W =

ê W stA

\

KB=só>HGiD=

W

GF>

W = W

f?>`A)éuVAeQOGE>

W

=±dª>UDsAc?

W

GFAes~G

W GT

A!stA)DEQRCE>

X

GF>

W = W f W _CAc=ta

?Z>@C W =êªAc=ZG W K \Dc: X CF>@=Qc>X\A)D):¬KL=sKBCEQ T >`GFAeQOGE_CFAvVAeQOGF>W = ~stA)DEQRCE>ñ AeDrGT A \>ñ CiKLCE>@A)D

KÆDAcG

W

fQ

W ê X1W

=Ac=ZGEDrf

W

CrG

T

A!" DX

A)Qc>HëoQcK%GE>

W

=D

ñ

_G]K

\D W fW C W G T AcC]D

X

A)Qc>Hëa

QcK%GE>

W = \

KL= v_K vA)D)V#tA)QOGE>

W

=%$

X

CEA)DFAc=ZGEDJst>oA)CFA)=ZG]G

WZWv\

DŠé

T

>UQ

TòT K½?BA

ñ

A)Ac=sAc?BA

\`WvX Aes

KL=s >@=ZGFAvCEKLGFAes>@=

W

_C;Ac=?>`C

W

=ê¾A)=ZG)VAeQOGE>

W

='&òstA)K

\

Duér>`G

T

CEA

\

K%GEA)s é W C ¬:4ê

W

stA

\D

KL=s»Ac=?>`C

W

=ê¾A)=ZGED)VA)QRGF>

W

=(¾stA)DEQRCE>

ñ

A)DNfg_GF_CEAué

W C¬V

) *,+.-0/¿äãZãè213á54768-1çè29nç:34âvèxä2á<; äå=->

]_Cê

W

stA

\ fW QR_DFA)D

W

=õG

T

AŠD

X

A)Qc>Hë1Q)K%GE>

W = W fD

Y

DGFA)êÆDér>`G

TõñoW G T

DGEKLGF>UQKL=s~s

Y

=KLêª>UQ

KBDX AeQOGED!KL=söKQcAcCFGEKL>@= \A)?BA \W fQ W ê X\Acìt>HGY G T KLG!CFA?Z_>`CEA)DŠG T A~stAcë=>`GF>W = W frDGFCE_QRa

GF_CE>`=ê¾AeQ

T

KL=>@DFêÆDcV^ô AÆ_DFAªGé

W

énK

Y

D]G

W

A)=D_CFAÆDGFCE_QOGE_CF>@= -KB=s ê W st_

\

KBCF>`G

Y

^K

D>@ê X\AJfW CFê W fŒ>`= T AcCE>HGiKL=QcAJKB=s~G T A;Q W ê X1W D>`GF>W = W fD X AeQR>`ë1QcKLGF>W =±Q W ê XoW =A)=ZGED)V

STSPart Glue

View

Static View Dynamic View

1 1

Internal Structuring View External Structuring View 2..n

Composition View Integration View

1 DataPart 1

@ $2A { "%,CBD7EGF

ðIHeî'ðKJML"NOBðKPRQKPTSUVUWO%îXS ZY[S\L

]_Cuê

W

sA

\

>UD

ñ

KBDFA)s

W = G T AÆ=

W

GE>

W = W

f]Heî'ðKJ:KL= >@=vGEAcCFf'KBQcA.G

W

stA)DEQRCE>

ñ

AõQ

W ê X1W

a

ñ T W \X

T Y W X ñ T T W W T

NZPîXQ:Y S:UOî

E

îXNU

Eð L 52 hNQ

W

=1QRA

X

G)VctD]]6$4KBCFA]K BA)=AcCiK

\ fW CEê

W

f4ë=>`GFA

DGiK%GFAca+GECEKB=DF>HGE>

W

=»st>UK vCEKBêªDé

T

>UQ

T»X C W

?>UstAŠKB=óK

XX

C

WBX CE>UK%GFA

\

Ac?BA

\¬W f2K

ñ

DGFCiKBQOGE>

W

=»KB=s

K½? W >UsDGEK%GEA;ARì X\@W DF>W = ñY G T A._DA W f v_KLCisDKB=s WvX A)=¿5î'ï«ðeï4= W G vCW _=shNGEAcCEêÆD>@=

DGiK%GFAeD]KB=s±GECEKB=D>`GF>

W

=1DcVtDŠKLCEA!ê

W

CEA

XoW éNAcCFfg_

\

KB=s-ê

W

CEA;CEA)KvsK

ñ\

AuG

T

KL= Q \ KBDED>UQ

DGiK%GFAca+GECEKB=DF>HGE>W = st>UK vCEKBêÆDcV W éNAc?vAcC.GT A-s>õQR_ \G»Q W _=ZGEAcCX KLCFG¾>UDõK ñ1W _tGõ?BA)CF>`ë1QcKLa

GF>

W

=D)V

T

Aus

Y

=KLêª>UQŠKvD

X

A)QRGED

W

f2Q

W ê XoW

=A)=ZGEDnKLCEAŠsA)DEQRCE>

ñ

A)s~>`= O#S\L¾îXQIHeî'ð J7UOV

T A

DGiK%GF>UQKBD X A)QOGiDÆKLCEAstA)DEQRCE>ñ A)s _DF>@= U ES EîXQ H)î'ðKJ7UOV T A±>@=vGEAvCEKLGF>W = W fuK \@\ KBD X AeQOGED

W

fNK B>@?BA)=Q

W ê X1W

=Ac=ZGJ>@DJs

W

=Aª_DF>`= î

Eð ZY[S

E

îXN Heî'ð J7UOV^P2>@=K

\@\`Y G T

A5'Q

W

=Qc_CECFA)=vGOh

Q W ê

XoW DF>HGE>

W

=K

\

KBD

X

AeQOGED

W

fQ

W ê X1W

=Ac=ZGED]KLCEA;stA)DEQRCE>

ñ

Aes

ñZY

QVN\L:N\UOî

E

îXN H)î'ðKJ7UOV

W G T

>`=ZGFA BCiK%GE>

W

=óKB=s±Q

W ê XoW

DF>HGE>

W

=±?Z>@AcéD_DA;Kªêª>`ìtA)s \ _A ±5'K

\

vA

ñ

CiKL>UQ]ëCEDGa

W

CistA)CnKLìa

>W

êªDNKL=1sªGFA)ê

XoW CiK

\ fW CEê!_

\

KvDEh2G

W

Acì

X

CFAeDFDG

T

A]>`=ZGEAcCFf'KBQRA

W

fQ

W ê X1W

D>`GF>

W

=»KBDK!é

TWB\

ABV

BCEA)KLG X KLCFG W f¬G T ADFAcêÆKL=ZGE>@Q)D W foGT Aê W stA \ >UDstAc? W GEA)s.G W Acì X\KB>`= TW éíG W Q W ê X _tGEA

K

\`Wvñ K \

?>@Acé DGECF_QRGF_CEAŠf

W

CnG

T

A;st>oA)CFA)=vGQ

W ê XoW

DF>HGE>

W

=D

S

8qvKxV

OÚ ! #"$„i†v„&%U‡('†ƒOƒ ÓÔ …cÕ*) †,+o† ÛÑ …-.')0/

' nÚ1324Oځ16587

%9: Ô …R„Oƒ1;2™%™e²’O‘c•1£=<Ž”’E“Í¢ £?>4‘)Ž”Ž¢§Œ™c“ 

Ô

:4ƒ

’Ešuv–x¡A@CB ×?>ED

‘) Z @×?>ED»£?<NŽ”’E“Íx £?>4‘)Ž”Ž¢§2™)“ FB ×>GD

šu™L B˜œ@¡H@×>GD»£,<NŽ”’E“Íx £?>4‘)Ž”Ž¢§2™)“ FB ×?>ED

 B’ii²H‘c“’i I@×>GD»£,<NŽ”’E“Íx JBK;2™%™e²’O‘c•

E™)“”“’iE–@×?>ED»£,<Ž”’E“Í¢ £,>4‘cŽ”Ž¢§Œ™c“ FBL;2™%™)²H’i‘)•

†,M%Ô 9»ƒ

šu™L v˜œ@¡©«’išuB–x¡%£›1£®GNN ‘e v 1©«’išuB–x¡%£›1£®!O

©«›AN ›Ýe®4P šu™L B˜œ@¡©g‘e v 1©«Ž”Zšª£›ÝL£tÝ)®F£›£t®QNN ‘) Z 1©«Ž”všª£›1£t®!O

•Z™c–R©«›AN ›tÝ)®4P šu™L Bœ`¡©g‘e Z ©«Ž”Zšª£›tÝ%£tÝe®F£›£®QNN ‘e v 1©«šu™L Bœ`¡©«Ž”Zšª£›1£t®F£›ÝL£tÝ)®!O

¯¯H¯

R

declared(u) correct(u,p)

modify(u,p) add(u,p)

@ $XA { "%,FSDREF

ðUTWVXCX,Y[Z\]_^EV`Vbadc\!U

E S E îXQWH)î'ðKJ

ôAu>

\`\

_DGFCiK%GEA]G

T

A;st>oA)CFA)=ZG?Z>@AcéDn_1D>@= ÆKªD>@ê

X\

A;<=>`ìZa

\

>vA

X

KBDEDé

W

CisõêÆKL=1K BA)C

QcKBDFA.DGF_1s Y V DJKL=òARìKLê X\A W fK~DGEKLGF>UQ;?>`A)éu:4DA)A P#>Vfe¢:oéA T K½?BA;G T AªsK%GiKÆGYX A

é T

>@Q

T

êªA)ê

W

CF>@wcAeD4>@=tf

W

CEêÆK%GF>

W

=;K

ñ1W _tG^G

T

A_DFAcCiD5'>HG#K

ñ

DGFCiKBQOGiD¬G

T

Ahg,iaj?gk`[l,l(mnë

\

A½hOV

NKvD>UQcK \`\@Y :%KJDGEK%GE>@QN?>@AcéísA)DEQRCE>ñ A)DKŠsK%GiK]GYZX ABVB7¢GŒ>UDKL=ªK \BA ñ CiKL>UQD X AeQR>`ë1QcKLGF>W =.ér>HG T

K >@=ZG f1?>@AcéuV A BCiK >@Q)K stA)DEQRCE> GF> = f1G A.K A)KBCED2>@=!G A GG ê

W T

=ºAcìtKBê

X\

A W frG

T

A,

X

KLCFG

W

fK s Y

=KBê¾>UQõ?>@Acé >UD.stA

X

>UQOGFAesº>@=

P2>Vd\¢V

getPwd ?p1:Pwd

getPwd ?p2:Pwd from u:PIdUser

modify

from root:PIdRootUser create ?u:PIdUser

from sender

from sender

Wa

BeM BeC

Gp1

[not(CValid(u))]

errorUser to sender [not(MValid(u))]

errorUser

to sender [CValid(u)]

getPwd ?p0:Pwd [MValid(u)]

from sender

getPwd ?p1:Pwd [correct(u,p0)]

from sender

mVal cVal

from sender Val

getPwd ?p2:Pwd

[not(p1=p2)] errorCorresp to sender

[p1=p2] ic

[not(correct(u,p0))] errorPwd to sender

[p1=p2] im

cGp2

mGp2

@ $2A { "%, D7EGF

ð84f N

EF

ðTWVXCX,Y[Z\]_^EV`Vbadc\ OSZL.îXQ!Heî'ð J

7¢GNstAeDFQcCF>

ñ

AeDG

T

A]KvQOGF>@?>HGE>`AeDKB=sªG

T

A]Q

W

êªê!_=>@Q)K%GF>

W

=1D

W

f¬G

T A X KBDEDé

W

Cis¾êªKB=K vAcCeV

T AcCEAõKLCEAÆD W ê¾AõD Y =ZGEKBQRGF>UQ¾fgA)KLGF_CEA)DJG W stAc= W GFA~Acêª>@DEDF>W =DuKL=s CEA)QcA X GE>W =D W fu5gêÆK Y

ñ

A½hQ

W ê X\

Acì.G

YX

A)sÆsKLGEKVB7¢G

T

KBDDGiK%GFAeDKL=1s¾GFCiKL=DF>HGE>

W

=DΎ

T

>UQ

T

CFA

X

CEA)DFAc=ZGA?Z_>@?½K

\

A)=ZG

Q \

KBDEDAeDCEKLG

T

A)CG

T

KL=õDF>`ê

X\

AKL=1s¾ë=>`GFAA)=vGE>HGE>`AeDcV T

>UD>UDst_AG

W

v_KLCisDKB=s¾?½KBCF>UK

ñ\

AeD

é T

>@Q

T

êÆK

Y K XX

AeKLC

W

=»GFCiKL=1D>`GF>

W

=DrKB=só>`=1D>UstAuDGiK%GEA)D)V

P W CJAcìtKBê

X\

Av:¬G

T

AªGECEKB=DF>HGE>

W

=òfgC

W ê G T

A[iòDGiK%GFA¾G

W G T

Aj?k óDGEKLGFAÆêªA)KB=DK¬>`f

DW ê¾A!?½K \>Ust>`GY Q W =s>HGE>W = W =±G T A!CEA)QRA)>`?vA)só_DFAcC]>@stA)=ZGF>`ëAcC]>@DŠDFKLGF>UDë1A)s4:G T A)=-éA!êªK Y

GFCE> BAcCG

T

>UDrGECEKB=D>`GF>

W

=-KB=s BAcG]K

X

KvDFDFé

W

CisõfgC

W

êG

T A \ KvDG

X C W QcA)DEDnG

T

A.Q

W ê XoW

=A)=ZG

CFAeQRAc>@?BAesK±êªAeDFDEK vA.fgC W ê 5«GT A da X C W QRAeDFDihOV T A:`n B_KBCEs>@D!KL=öK ñ DGFCiKBQRG

B_KBCEs4:Q

T

A)Q >@= G T KLG~G

T

A-_DFAcCõ>UD~stAeQ

\

KLCEA)s4V=_Q

T

KL= K ñ

DGECEKvQOG v_KLCis

T

KBDªG

Wºñ

A

êªK

XX A)s

W

_G

W

fK

X

KLCFGF>UQR_

\

KBC^sK%GiKNG

YZX ABV T

AcCEARf

W

CFAŒéNAê!_1DG

\

>`=]>`Gér>`G

T

KL=

WvX A)CEKLGF>

W =

W

f2G

T

A;DGEKLGF>UQ]?>@AcéuV

T

>@Dn>UDs

W

=A

ñZY G T

A;Q

W

=QcA

X G W

f#>@=vGEAvCEKLGF>

W

=~?>@AcéuV

W stAeDFQcCF>

ñ

Aõ?>`A)éD;éNAõ_DFA íGFAcìZGE_K

\

stA)DEQRCE>

X

GF>

W

=D)V T

AÆGFAcìZGE_K

\

stARa

DFQcCF>X GF>W =ófW CnG T A;>@=ZGFA BCiK%GF>W =»?>`A)é W f W _C X KBDEDFé W CEs»êÆKL=KBAcCnAcìtKBê X\Au>UDstA X >UQOGFAes

>`= P2>V é

T

AcCEA~G

T

A-DGEK%GE>@Qó?>@Acé 5

C

h.KL=1söG

T

A-s

Y

=KLêª>UQ 5X_

hu?Z>@AcéD

KLCEA \_A)s ér>`G T fW _C!DAcGED W ffW CFê._ \KBD)V T AªëCiDG!DFARGó52`WlBh]ARì X CEA)DEDAeDG T A~Q W CFa

CFAeD =sAc=QcA f CEA)s>@Q)K%GFAeD AcGéA)Ac=G AõDGEKLGF>UQ¾KB=s s =KLêª>UQ.?>@AcéD)V^P CŠAcìKLê A

Ú 5 ) '5 3&5 7 5 7J

%Uƒ

×v‰¬À‰ŒÍ”Öb@×?>ED

Ü nÀ D¾Í”ÖC@vÜ>ED

†,M%Ô 9»ƒ

 ¯D#‘)²H 1©«Ži£›t®4NN Ži¯ v’iE²`‘R“’O 1©«Ži£›®

 ¯Ö#‘)²H 1©«Ži£›t®4NN •Z™c–R©«Ži¯ v’ii²H‘R“’O 1©«Ži£›t®”®

 ¯i™c“”“’iE–R©«Ži£›1£t®4NN Ži¯i™c“”“’iE–R©«Ži£›1£t®

Ó %@„±–”“›v’e£

©g ¯`©–”“›v’HO®F£Ži¯H©g‘e v 1©g ¯›£ ¯R®”®”®F£

©g ¯`©–”“›v’Hš!®F£BŽi¯H©«šu™L v˜œ`¡1©g ¯›1£ ¯O®”®”®

%+*%@„&%@†

Ò

–”“›Z’

@ $XA { "%,D7EF

ðUTdV?XCX,Y[Z\[]_^EV`[V(adc\.î

EðY S E îXN H)î'ðKJ

G T A :`n v_KLCisõQ

W

CECFAeD

XoW

=sDG

W G T

AŠ=AvKLGF>

W = W f^G

T A n=i[j `di,n WvX

A)CEKLGF>

W = W f^G

T A

DGiK%GF>UQŠ?>`A)éuV T AuDAeQ W =1s~KL=1sõG T AŠG T >@CEsóDFARGEDu5gG T A m a!õQ \KL_DFA T KBDNGé W KBCv_êªAc=ZGEDih

KLCEA_DFA)s;G

W D Y

=Q

T C W

=>`w)ACFAeD

X

A)QRGF>@?BA

\`Y

DGEK%GEA)DŒKL=1suGFCiKL=1D>`GF>

W

=D

W

fG

T

AGé

W

tD)VAcCEAB:

éAJD

Y

=Q

T C W

=>`w)AG

T A ?juGECEKB=DF>HGE>

W = W fG

T

Aus

Y

=KBê¾>UQ

X

KLCFGnér>HG

T G T

AI`?nCn.GFCiKL=1D>`GF>

W = W f

G T AuDGEK%GE>@Q

X

KBCGeV T A

#"%$

& vA

Y é W

CEsªêªAeKL=DG

T

K%GKL=

Y = W

=~ARì

X\

>UQR>`G

\@Y D Y

=Q

T C W

=>`w)A)s

GFCiKL=DF>HGE>

W = T KBDnG

WÆT

K

XX A)=-K

\@W

=AvV

T

>@D>@DrG

T

A.÷rø.ù.øÆú

X1Wv\

>UQ

Yóñ

_tGéNA;K

\D W¾X

C W

?>UstA

Gé WÆW G T A)CQ W =QR_CECEAc=Q Y ê W sA)D(')&)& b»KL=s

"%$)$?

&¬V T A \KBDGDFARG>UDKÆDF>`= \AJfW CEê!_ \K

é T

>@Q

T

stARë1=A)DNG

T

A]>@=>`GF>UK

\

DGEKLGFA

W

fG

T

AJQ

W ê XoW

=A)=ZGnKvDNK.CEA)DGFCE>@QRGF>

W = W fG

T

A]fgCEAcAJQ

W

ê¾a

X1W D>`GF>W = W fG T A!Gé W DF_ ñ Q W ê XoW =A)=ZGED]>`=>`GF>UK \ DGEKLGFA)D¾5T AcCEAB: +*aZ`-,ÆGECF_AB:oê¾AeKL=D

= W

CEA)DGFCE>@QRGF>

W

=1hRV

T A WvX

A)CEKLGF>

W

=K

\

DA)êÆKL=ZGF>UQcDI

S

8q8BK2>@D

ñ

KBDFA)s

W

=±G

T

A!ARìGFCiKBQRGF>

W =

W

foK

\`Wvñ K \

¾KL=1s.K

\@WBñ K \

sK%GiK

X

KLCFGD

X

A)QR>`ë1Q)K%GF>

W

=.fgC

W ê KJQ W ê

X1W

DAes;?>`A)éuVLPC

W ê

G T A P2>1V:Z4GEARìGF_K

\

stA)DEQRCE>

X

GF>

W

=^:éAJêÆK

Yõñ _>

\

s~G

T A P#>V$\

\@WBñ K \

»?>`A)éuV

T

>@D

\@WBñ K \

¬:néNKvD

Wvñ GEKB>`=Aes

ñY Q W ê X

_GF>@= íK BAc=AcCiK

\ fW CFê

W

f;G

T A D Y

=a

Q T C W = W _1D X C W s_QOG W fGT A;Gé W Q W ê X1W =Ac=ZGiDcV17¢G]CEA X CEA)DFAc=ZGEDG T A \@WBñ K \ KBQRGF>@?>HGY

W

fG

T

A±Gé

WX KvDFDFé

W

CisºêÆKL=KBA)C¾DF_

ñ Q W ê XoW

=A)=ZGED5g>`GED~DGiK%GF>UQ±KL=s s Y

=KBê¾>UQ

X

KLCFGEDihOV

ô >HG T >`= G T >@D \`Wvñ K \ 4:rGT A GECEKB=D>`GF>W =fgC W ê G T A j:` DGiK%GEAG W G T A/.` DGiK%GEA

ê¾AeKL=DŒ>HfŠG

T

A±DGEKLGFA

W

fG

T

A-DGEKLGF>UQ

X

KBCGõDEK%GE>@DëA)Daed0[iKB=sí>Hf]G

T

AóGé

WX KvDFDFé

W

CisD

5g>@=G T A.s Y =KLêª>UQ X KLCFGihnKBCFAuA?Z_K \:G T Ac=±G T A.DGEKLGF>UQ X KLCFGGFCE>BA)CEDn>`GED]`,n,nõGFCiKL=DF>`GF>W =

KL=s-G T Aªs Y =KLêª>UQ X KBCGŠGFCE>BA)CED>HGiD ,jªGFCiKL=1D>`GF>W =^V T A,P2>V$>\`\_DGFCiK%GEA)DG T KLGŠ>@=

W

_C2ê

W

sA

\

éA

T

K½?vAQ

W ê X\

Acì;DGiK%GFAGFCiKL=1D>`GF>

W

=!s>@KBCiKLêÆDér>`G

T Q W ê XoW

_=suGECEKB=D>`GF>

W

=1D

KL=sõDGEKLGFAeDcV T >UDNQ W ê X\ARìt>`GY Q W êªA)DfgC W êG T AŠ_DFA W fDGiK%GFAŠKL=sÆGFCiKL=DF>HGE>W =ÆfW CEê!_ \KvD

>`=óG

T A \

_A :KL=1s»K

\D W fgC

W ê G T A X C W st_1QOG

W f tD)V

T

>UDK

\D W >

\@\

_DGFCiK%GEA)DNG

T

Au=AcAes

fW CrA?Z_>@?%K \Ac=ZG BCiK XT >UQcK \ KL=s~GFAcìZGE_K \4X CFAeDA)=vGiK%GE>W =D W fG T A;DFKBêªAŠQ W ê X1W =Ac=ZGeV T >@D

f'KBQOG>UDr=

W é ér>@sA

\@Y KBQ)QRA

X

GFAes4:tf

W

CrAcìKLê

X\

Au>`=óG

T

Aªúoþª÷ h cb W

Cÿ¿÷

SW

=

\KB= B_KBAeDcV SW =Qc_CFCEAc=ZGŒQ W ê XoW DF>HGE>W =!>UDŒKBQ T >@Ac?vA)su>@=.KŠD>@êª>\KLC2énK Y : ñZY \_>`= JDFAc?BA)CEK \

?Z>@AcéD>`=±G

T

A.DEKLêªAuénK

Y

KvDr>`=KL=>@=vGEAvCEKLGF>

W

=ó?Z>@AcéuV21_A;G

W K \ KvQ W

fD

X

KvQRAB:1éA;s

W

= W GstAeDFQcCF>ñ A T AcCEAJKB=»AcìKLê X\A W fŒKªQ W ê X1W D>`GF>W =ó?>`A)é5+DA)A 8 W >^fW CrAcìtKBê X\AeDEhRV

3 *,+.-0/¿äãZãè213á54Æá6è+ãZä#á7 -oá2â

T AuQR_CECFA)=ZGNA)=Z?>@CW =êªAc=ZGNKBCEQ T >HGEA)QOGE_CEA]>UD W C vKB=>`w)A)sõKvDN>`='P2>Vc&\¢:D W êªA X KLCFGEDnKLCEA

>`ê

X\

AcêªAc=ZGEA)sóKL=s»D

W

ê¾A

W G T AcC

X

KBCGiDnKLCEA]QR_CFCEAc=ZG

\@Y DGF>

\`\

_=sAcCstA)?BA

\@WBX

ê¾A)=ZG)V28]÷ 9cú

5;:7PTSUVU<>=

Y[S\Y& N\Y ðVQRî?=QVS

E

îXN4hŠ>@DJKóQ

\

KBDED

\>ñ CEKBC

Y G W DF_

XXoW CFG

W

_CJQ

W

=QRA

X

GED

\

>vA

?Z>@AcéDNKL=1s tD ñ _GN>`GK \D W.X C W ?>UstA)D>`=ZGEAcCFf'KBQRAfW CEêÆK%GED):vfW CnARìKLê X\AG W GiKLCBAcGG T A

6KLCiQ 8C ?BA)C]G @A@CB\x:Œ÷nø.ù.øÆú hBDB C!Më Vô A~stA)?BA Aes _C C A)C