POTS: An OO LOTOS Specification

(1)

HAL Id: inria-00098729

https://hal.inria.fr/inria-00098729

Submitted on 26 Sep 2006

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.

POTS: An OO LOTOS Specification

Jean-Paul Gibson, Yassine Mokhtari

To cite this version:

Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013

|| gibson98b, 1998, 27 p. �inria-00098729�

(2)

#%$'&(*)%+,.-0/'13254687"(51!13-04%9:;25<>=@?A(CB!-D

EFHGJIKMLONP:QG4'RTSVUXW5YVL[Z"\PGT]_^

NJ4%-0`a9bBA1-c?[dPeJ9f4%B!-g&2X-04'hb(*B[d

i&kj5YXl@6mUCnaUXW5oqp"(*4'r@2a9b)%`@B!9sLt+c9C1uL\H(*4'hsv

w%Bx(*4'hs9

#a(C4>)'(CB!vzybl5lX{

|~}X_>fmsb@VC'@8AAaa*a.Xu5AC@XXb'~A3a5a

¡H¢¤£¥%¦§8£

¨~©«ªX©¬©®©¯±°5²A¯²´³Jµ¶·©¶·¸µs¶·µs¹Cº³.©¯±°Cµb»PµA¼º±½5©3¾À¿5¾[²A¯±µÁÂ²ÃÁC»P®²A¬»5²A¯±µsÁ¾[²AÁPªX©"²A¾u°C©®s©»PªbÄ

¿5¶·º±¯«»*©®©¬µs½CÁC¸H²ÆÅcÇVÈuÉ!ÊË'ÉuÌÍcÊÏÎsÐÂÌsÑÉtÒ*ÊÏÍ0ÈuÉ!Í0ÓbÑÈÕÔ°Cµº±©"°C¸s°bÖ×¬©®s©¬%º·©³P²AÁb¯·¾º²A¶±©"ª5²Ãº·©»µÁÆµªØu©¾3¯

µ¶·©Áb¯±©»Ù¾µsÁC¾©½*¯·º[ÚÜÛ°Cº"²A¶±¾t°*¯±©¾¯±¹C¶·©½*¶·µ³Jµ¯±©º¯·°*©.¾µsÁCº·¯±¶·¹C¾¯±µÁÙµÃ¼ÁC©ÔÝ¼c¹CÁC¾¯±µsÁ5²A¬¯ÄÁÙ²

¼0µ¶±³H²A¬*³H²AÁ*ÁC©¶'¹Cº±ÁC¸"¶±¸µ¶±µ¹Cº±¬ÄÁCµ¯±µsÁCº'µÃ¼¾µs³.½Xµº·¯±µsÁÞ²ÃÁC»PÁC°C©¶±¯u²AÁC¾3©Ú%ßÁJµªØu©¾3¯µ¶·©Áb¯±©»

²A½C½C¶±µf²Ã¾t°PÔ¬¬à²Ã¬º·µÕ¼×²A¾¬¯t²Ã¯·©ÁC¾3¶·©³J©Áb¯t²A¬@²Ã½C½C¶±µf²A¾u°C©3º¯·µ´®²A¬»5²Ã¯·µÁ.²ÃÁC»P®©¶±á¿X¾[²A¯±µsÁ@Ú

¨~©"½C¶±©º·©3Áf¯Õµ¹C¶¿5¶±º·¯º±¯·©½CºÕ¯·µAÔ²A¶·»*º«½*¶·µb»C¹C¾ÁC¸Pº±¹C¾u°â²ÃÁâ²Ã¶·¾u°C¯·©¾3¯·¹C¶±©¼0µs¶¯·°*©.ã%¬Ï²AÁÂä¬»Û%©¬©uÖ

½C°CµÁ*©æåV©¶·®b¾©.çcã'äÛåCèé*Ô°C¾t°Pºº·½X©¾À¿5©3»â²ÃÁC».®²Ã¬»5²Ã¯·©»J¹Cº·ÁC¸.²æ¼0µs¶·³H²Ã¬5µsªØu©¾¯µs¶·©Áb¯·©3»¬Ï²AÁbÖ

¸¹5²Ã¸©'ª5²Ãº·©»´µÁ´ê@äÛäåaÚ!Û°C©ë³J©¯·°*µf»ÕªfÄÔ°C¾u°¯±°C©'¼cµ¶·³P²A¬A³Jµf»*©¬Aº»*©¶·®©3»¼0¶·µs³Q¯·°C©mÁb¼0µs¶·³H²Ã¬

¹CÁC»C©¶±º·¯u²AÁC»CÁC¸ÆµA¼¯·°C©¶±©ìb¹C¶·©³J©Áb¯·ºº«©3íV²Ã³.ÁC©»>Úîë²Ã¬»5²Ã¯·µÁPª5²Ãº·©»~µsÁÂ³J©¯t²xÖï²ÃÁ5²A¬Äbº·ºµA¼ë¯±°C©

½C¶·µsªC¬©³ðº±¯·¶±¹C¾¯·¹*¶·©´ºm©¬¹C¾»5²Ã¯·©»>Ú

ñ·òuóôõ÷öÏø%ùCú±ûfüAý3þfÿAýCú fýCúÿAýbú

(3)

! "$#%"'&

(*Ú*)åbÄbÁf¯u²Aí.²ÃÁC»åb©³H²ÃÁb¯·¾ºÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ +

(*Ú( åb½5©3¾À¿5¾[²A¯±µÁåb¯Äb¬©ºÂÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ ,

(*Ú+ ê@äÛäå.Áã'äÛåJº·½X©¾À¿5¾[²Ã¯·µÁ*º-ë²´¾3¶·¯·ìb¹C©.ÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ .

"/"0 1"2#2"'& 3

+*Ú*)äªØO©¾¯«ä¶±©3Áf¯±©»Âã%¶±ÁC¾½C¬©º²AÁ*»Hß»*®²AÁb¯t²Ã¸©ºÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ 4

+*Ú( ä«ä ß65mÛ ä87:9-; ©ìb¹C¶·©³J©Áb¯·º<Pµb»C©¬º ÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)>

+*Ú+ ä«ä ê@äÛäå?-@©º±¸Á!<Pµb»C©¬ºPÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)A)

+*ÚB ä«äC@©®©¬µs½C³.©Áb¯ÙÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)(

D E%"$#%&F&?GHIKJLNMIOP I

BXÚ*)RQÁf¯±¶·µb»C¹C¾3Á*¸.ã'äÛåH²ÃÁC»!SC©!²A¯·¹*¶·©º ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)+

BXÚ( ã'äÛåHää ß65mÛ_ä87T9 ¶·©ìb¹C¶·©3³.©Áb¯·º³Jµb»C©¬ÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=),

B5ÚU(CÚV) Û°C©Û%©¬©½C°CµsÁC©5m¬²Ãº·ºÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=),

B5ÚU(CÚU( ã'äÛåÚÚÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)W

BXÚ+ îë²A¬»5²A¯±µÁQÚÚ«ÚÚÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)4

B5ÚU+CÚV) Û%©¬©½C°CµsÁC©îë²A¬»5²A¯±µÁPÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚ=)4

B5ÚU+CÚU( ã'äÛåJîë²A¬»5²A¯±µÁÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚX(A>

BXÚB ã'äÛåHåVÄfº±¯·©³Y@©º·¸sÁ ÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚX(Z)

BXÚ, î'©¶·À¿5¾!²A¯·µsÁ Ú«ÚÚÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚX(A(

BXÚ[ ß»C»CÁC¸$SC©[²Ã¯·¹C¶±©º ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚÚ«ÚÕÚ«ÚÚÚÚÚÚÚÚX(A+

\ ]:N^O_`OPba1cedfHgMZHh"iHjHkh 1"2#%"/&lcmnoOHIpH ZD

(4)

æaÙ@u a b@u~XbACaÆÝAAaaCa XPÆA´a5@PAXAkX5bÕV

@

A´@*@AAaAqa.aA*A*@PA5´a! XP3ÂÏP@ubCJaHTba"«b@b53

OaÏuPAX"T5aA5aaaAÏa>A@s5 @5u a@bACaauJaÂa

·ACAPVa"

5XaA

VaÂb@bX

53Pa!âVb@uA!X#"ïbaV~uba3AAaa*a

aA$5%*'&%aC@b(>AAÂaAAA!C$Pa@b3a.b·aX"Pba 3@AA)*X

×b @uA

Va~A

aAÏ+,aaAC@b-ÙA5TaA353P.

/ 0>AACQ3@bÙÝP5uu

5O aÙPAaX b@u A5P>CCba bb@VCðV1>

V[aACA32uaACACa

346587'9;:*<=54?>@5=<:AB<'CD,:,EF0C7G<6H:IDJ5'<8D,K75a*Pa

·A*A«3bXA.Cu

@VAÂ*Â LAA5uA53AÂACaAAa3.a"Cu!aAA@u@O5PCA3a"ACa3[$aACëaM×b @uA

ÂN5ÆbCbaaOa

u

5O aaCCamAXP@C33*TVaHaau[VaA gæa«PLAAm5uAXA

Va@u5b!QÕëV3ïVA[b3aOPA5!b'ba@u5b!aA3Hbb@bC Va~Cu)2@bC

/ .@uAAX @B2u3Aa"Cua@uXRaA

a! bÙ*u[aAA @u «X>AA)2@bCa.Cu

*A

a3

TSU

U

0"*«´aa3aaWV%uAX$5A"Va~A[aaaAXa!ÙaÏb

@

" aa@5u3æVa

TCfb3aHba*aCÙbq L3AA5uAXAÙba@u5V[Y&V3a

~aJ[CP@uaAaA.aPaZ>

VaaaPÙa.b

"Ïb

@

A.

[

´£¥H§O]\_^a`cbd`fe

SgU

U

h"-ijCF kPKlCk5monZp58qX>YE7Cr+mX7GsP57=:tF kvu>@5=<:AB<'CD,:*EF4$&A'A3w

xyX

q

y8zt'a@AA!$@

Ïb

@

Ca!Â a!a×Xm@AA),5

XPbbCu aA*Aëa[3bAC{Ca3aAXC

b>Ba3ATV|>CPAaa@a$CumaACAC@PAXë>AA[$@O}m@b@3bCa5C53~

@*uQ"I@bA C~{

U

w

q

z,&.ba@O5AA.V

@~@COQ"cÏPÏCa{ÕRw

qP

z«Va{X{Õ0w)

z*&

PbafbX[

A a"3aAAJ@ub5aAa@!Xa$_$«ÆaWV%uAX.V5PXaA5!X@uA3

>A@s5 @Aab@

PX

b3a PuAÏb3*AACauAX+ïVaC

OJ |(g1o+_Yg JR

SgU

U

;â Ïb

@

Ta

32@a Va@@A´ aubaÙbACa aAO>ÙXTTVT

3AH"53bA

@u5AA3A.

U

abQa

a@A$AA@b=

SU

U

Qba,a)

SU

U

oB}ï

@V=

SU

U

%%aP53bAC3@A$AA @O5AA3A"aAu>AqR@uPXa[@u*a!bCaÕ3a a

!X!@b

fbaAa,aW

SgU

U

Q@uXAAAÆb_!X!@b

fbaA"@Cu3aÏCP!>. ;¡¢

uXAAa=2@a3*a"bÙV3@@C3CPAuATÂ!@; X}a.a[bA@b[J$5>@Cuë3a

Ïb

@

£Õa!Ùa=2@aA3a.A´bbaAQ"!@; &a[ b3@aA5Õa!Ù@C*PAu¤bC

qa@uXAAb

@J@AA)2@b3*a.

¥J¦¨§£©

ô'ª$«$¬ $® ¯$°$ªtô

§£±

ò+²¢³ò$´«,µX¶bô··ô!óò-«ò¸·õW³ò«I¹fòöáô

±

ò·ö÷ö÷õ

§ º

µ © ò-»!ò

§

«,³ô'«O¶bô·J«cõWª¸²söáô·

º

ô=«ò$³$¼(½o¹fò

§

¬5ò$»[ò

§

«,³¾ªuô

§£±

ò

ª$µ

§

ªuò¸¶¢«I²bôö÷õW³ò$´Pô'³g³,µ[óò(³,µ ·J«µ

©

ò$¿ª?¹fô

§¢º

òBµ

©

´ô=«ô

±

ò-«IÀ%òuò

§±

ò¸¹fô»!õWµ ².·ò$¿=¶.··ò$³,³cõWµ

§

³¾´8².·õ

§¢º

ò$»[ò

§

«³,Á

§

ª,¹;·Jµ

§

õW³ô'«cõµ

§ ¼

(5)

}ïa.3AAC'oH@OAA53aH 5X[!~@b=

SU

U

omX5N,@ua´aA[b.* 3aAPCaA£

O=×M0w8z-Z};a 5X[! X@b=

SU

U

%gÜ@uXAA.a=2@aA 3£@A@sX @J!5@uA3C

}ï~aa@b'baaAXACa3[$aAC*@b35uCu´a=2@aA5 ub

ac@A@s5 @æ!5@uA3Ca

·u5 ÏPa!X@uA3*a]"cA´aC

!a.&

!"#%$& '(#$")

*

$,+('--.,/+(01!"#%$,2)3.&54 7698

$,+('-5.&/+(01!"$,:).,-4 ;<6"8

!(=$,!( 8?>A@CBDE8F>HG

;I5 -.,03).,010150J!($,K)$,'-1$, 8

¡ML B;

¡(N-O5O-ON

;QP,D

L

8R

) *

.&S3#5.,01-/%T; 8 ¡ LULVL

8 R

4 *

010W'- !(=.,$,X%'-C#%$& 8 ¡ LUL 8 R

=YI; =YZ;

¡

N-O5O-O7N

; P

%[8

)3.&$,!(5'-'\% '(# !(C#%$& ]KB; ¡ N5ÛÛÛN

; P D

' *

!(!(5'-'54

*

0W#5.&% Q$, -_

5X+(01I; 8

¡a``

8 R

Y%'-+(01I; 8 ¡ B`

8R

¾Ydog JRcb+o¢¸def Z

æaC@3bC@bmbXA.

SU

U .a=2@aAQb.~3TaT@A@sX @b[OAHÕVACa.Âæa

3AbACa´@b>A@s5 @V!X@uA3*~bÙ>¸×Xb"b

*AÙÏPJq"!XAaC Cu

a=2@aA×*

aN×C

!X5PbaÂuAaA.$aA.aN×*

aC[b3*aCuXaAJ

QaAaCAa3A«a-·a=2@@a

b3A

hg@aAa*A"bRaAÕi

; ¡ N-O5O-O7N

; P b

AbCj

;Ik;b

AbCj lnm&oCp

q

b

AbCr lnm&sp

q

kQ3b

AbCrlm&

N

oCp

8 N 8 ¡ N 8 g¡

N-O5O-O

uA@OAA5>A@X @!5@OACa

(6)

"#$ %&

'($ )+*-, .

/10

,

234"5 6798$:<;

/10>=

:?@

A BC

, ¥ .ED

/10 ,GF

¥

,

¥HI ,KJL. D

/10 ,MF

¥

A ONP"#QC

, ¥ .

/10 , F¥

R)TSUWV F

,

¥X

HV FIX, J .

/10

, F¥ XHV FI X, J

A ONP"#Y

,

¥[Z

D

/0 , F¥

,KJ

Z D

/0

,

FJ

,

¥XHV IX, J ZD

/0 , F

¥ XHV IX, FJ

\W4!]C

, .ED

/0

, F )9^_S

UWV

`+8a+6

V

84bc,d.ED

/0

`+8$a+6

V

84be, F

\W4!]f

, Z

/R0

, F g]

UcV

`+8a+6

V

84bc, h

/0

`+8$a+6

V

84be,MF

i(j- 441]1C

, ¥ .

/0 , F¥

,

¥Kk(k , J .

/0 , F¥ k(k

, J

i(j- 441]lf

, ¥ ;

/10 , F¥

,

¥Kk(k , Jmh

/0 , J

n4jo 44!]C

, ¥ .

/10 ,MF

¥

,

¥Hk ,KJ .

/10 ,MF

¥ Hk ,KJ

n4jo 44!]f

, J . D

/10 , FJ

, ¥ Hk , J .ED

/10 , FJ

n4jo 44!]Y

, ¥ ;

/10 , F¥

,

¥Hk ,KJ

;

/10 ,Mf

"P"5 p(q

?r6

==

' H] F

¥sttuts ] F

v

Ixwzy

,3{g|,}{

H]

¥~

] F

¥sttts ] v ~ ] Fv I

.ED

/0 , F

' H] ¥

sttuts ] v I . D

/0 ,GF

K& jo 44!]C

,

Zo

/0 ,MF

s

yH ] ¥ ~

]lF

¥ stut&tus ] v ~

]F

v I ]

~

]lF

U

, Z

/10 ,MF

K& jo 44!]f

,.ED

/0

, F ) ^ S

Uc

] F¥ sut&tuts ] F

v!

, . D

/R0 ,GF

O, XRBR -gf|G¸Y

@a©¶·©Áb¯º·¯Äb¬©º°5²!®s©ª5©©3Á»C©Áb¯·À¿5©»T¼0µ¶Ô¶±¯±ÁC¸Þê>äÛä«åTº·½X©¾À¿5¾[²Ã¯·µÁCºUBgW&·Ú 9'²Ã¾u°º·¯Äb¬©º¾3¬µsº·©¬ÄJ¶·©¬Ï²A¯±©»

¯±µ¯·°C©Õ»C©º·¾3¶·½C¯·µsÁHµÃ¼'¯·°C©ªX©°5²!®bµ¹C¶µÃ¼¯·°*©º·Äbº·¯±©³ÂÚ%Û°*©º·¯Äb¬©¾[²AÁPªX©ºt²Ã»J¯·µ¶±©5©¾¯¯±°C©Ô²!ÄÁJÔ°C¾u°H¯±°C©

ªX©°5²!®bµ¹*¶ª5©ÁC¸Jº·½X©¾À¿5©»º¹CÁ*»C©¶·º±¯·µbµb»@Úß º·¯Äb¬©¾[²AÁÆ©Áb¼0µs¶·¾©²´½5²A¶±¯·¾¹C¬Ï²Ã¶½C¶·µsªC¬©³¾µÁ*¾©½C¯±¹5²A¬ºt²Ã¯·µÁPªbÄ

¶±©º·¯±¶·¾¯±Á*¸.¯·°*©«Ô²!ÄÁPÔ°C¾t°P¯±°C©ê@äÛäå.¾!²AÁPª5©Õ¹Cº·©»>Ú

QÁP¯·°C©»C©º±¾½C¯·µsÁHµÃ¼'µªCº±©¶·®²ÃªC¬©«ªX©°5²!®bµ¹*¶[éC²´º·Äbº±¯·©³ªX©°5²!®s©º¬s©²c&ÌsÉuuÎséCÚ©Ú%¯·°C©Áb¯·©¶±Á5²A¬>©®©3Áf¯±º

²Ã¶·©ÁCµs¯®fº±ª*¬©sÚ@Û%Ômµ¼0¹*ÁC»5²A³J©Áb¯t²Ã¬5º±¯Äf¬©º»Cµ³JÁ5²A¯±©n-

Û°C©g P^O_ &?^OH ¹Cº·©3º¯·°C©¾u°Cµ¾©²AÁC»Jº·©ìb¹C©3ÁC¾©µs½5©¶u²A¯±µ¶·º¯±µ"©3íf½*¬¾¯±¬Ä´»C©u¿XÁC©¯·°C©ªX©°5²!®bµ¹C¶²Aº

²AÁ~²A¾¯±µsÁ¯·¶±©©ÚÛ°*ºº±¯Äf¬©´º«¹*º·©u¼0¹*¬%¼0µ¶»C©3ªC¹Ç¸sÁÇ²AÁC»¯±©º·¯±ÁÇ¯·°*©"º±½5©¾3á¿X¾[²A¯±µsÁ~µA¼º·³P²A¬¬aº·Äbº·¯±©³.º!Ú

(7)

¯·¶·®bÏ²A¬AªX©°5²!®bµ¹C¶!ÚQ¯>½C¶·µA®b»C©ºaÁ*µ³.©!²AÁCºaµÃ¼V»*©¾µ³J½5µsº·ÁC¸½C¶±µªC¬©³Jºà²ÃÁC»¯±°C©'º·½X©¾À¿5¾!²A¯·µsÁCº%¾µÁCº±¯·¶±¹C¾¯·©3»

ÁJ¯·°CºÔ²!ÄH²Ã¶·©ºt²Ã»J¯·µªX©º·©3³H²AÁb¯±¾!²A¬¬Ägà²A¯!Ú

Û°C© ]:P _`MIO"iOHj? HI _ ?^H ¾3µ³.½Xµº±©º²º±©¯µA¼ëÁC»C©3½5©Á*»C©Áb¯¾µsÁCº·¯±¶t²AÁb¯·ºÁ½5²Ã¶t²Ã¬¬©¬ÚßÝ¾µsÁbÖ

º·¯·¶u²AÁb¯ºëº±³J½C¬ÄÞ²ÕªX©°5²!®bµ¹C¶u²A¬a©íb½C¶±©º·º±µsÁÂ²A¯mº·µs³.©¬©3®©¬aµÃ¼ ²Aª*º·¯·¶u²A¾¯±µÁ@Ú%¨~©»*©Áb¯·À¼0Ä¯·°*¶·©©¯Äb½X©ºµÃ¼

¾µÁCº±¯·¶u²AÁb¯Ô°C¾t°²Ã¶·©¹Cº·©O¼0¹C¬a¼cµ¶¯·°*©«»*©®©¬µs½C³.©Áb¯mµA¼%º·Äbº·¯±©³ª5©3°5²!®bµs¹C¶-

Û°C© ^ONMI^ N_`MZO _ ²A¶±©"²A½C½*¬©»JÁf¯±©¶·ÁX²A¬¬Ä¯·µ´¯·°C©¾3µ³.½XµÁ*©Áb¯·ºmµA¼'¯·°C©º±Äfº±¯·©³Ú

Û°C© Hg Hj P _`MIO _ ²A¶±©"²A½*½C¬©3».ªX©¯Ôë©3©Á¯·°*©«»*a©¶±©Áb¯¾µs³.½XµÁC©Áb¯±º[Ú

Û°C© ^MI^bP _`MIO_ ²A¶±©²A½C½C¬©»P¯·µ´¯·°*©µA®©¶u²A¬¬aµA¼%¯·°C©º±Äfº±¯·©³ çc²A¯¯·º©3íf¯±©¶·ÁX²A¬@Áb¯·©3¶¼×²Ã¾©[èÚ

Û°C©.¾µsÁCº·¯±¶t²ÃÁb¯´µ¶±©3Áf¯±©»Ùº±¯Äb¬©JºÞ²ÃªCº·¯±¶t²A¾3¯[é'³J½C¬©³.©Áb¯u²A¯·µAÁbÖÁC»C©½X©ÁC»*©Áb¯[é%²AÁC»~½C¶±µA®b»*©ºÞ²Æº·¯±©½bÔº·©

³.©[²ÃÁCº¼0µs¶»C©®©3¬µs½CÁC¸.º±Äbº·¯·©3³ ¶±©ìb¹C¶·©³J©Áb¯·º!ÚµAÔm©®s©¶[é>¯ºÁCµ¯Ôm©¬¬º±¹C¯·©»~¯±µ.¯±°C©º·½X©¾À¿5¾[²Ã¯·µÁ~µÃ¼

½C¶·µsªC¬©³.ºÔ°C©3¶·©´¯·°C©´¾µÁ*º·¯·¶u²AÁb¯»C©3¾µ³J½5µsº·¯·µÁJ»Cµb©ºÁCµ¯¶·©X©¾¯¯·°C©´º·¯±¶·¹C¾3¯·¹C¶±©µA¼'°CµAÔQ¯·°*©º·Äbº·¯±©³º

¯·µPª5©¹*ÁC»C©¶±º·¯·µbµb»@Ú 5m©¶·¯u²AÁC¬Äbéa¯·°C©Á*µ¯·µsÁÂ¯±°5²A¯¯ÔmµHÁb¯·©3¶t²A¾3¯·ÁC¸P©Áb¯·¯·©ºÕ¾[²AÁ~¾µsÁCº·¯±¶t²ÃÁ~©!²A¾u°Âµs¯·°C©3¶ º

ª5©°X²!®fµs¹C¶'º'¹Cº±©u¼0¹C¬%çÏªC¹*¯ë»C©O¿5ÁCÁC¸¯±°C©©Áb¯±¯±©º'¯·°*©³.º±©¬®©ºë²Ãºë¾3µÁCº±¯·¶t²ÃÁf¯±ºë»*µf©3º'ÁCµ¯8º·©©³k²¼0¶·¹*¯ï¼0¹C¬5²Ã½bÖ

½C¶·µb²A¾u°"¯±µº·¯·¶±¹C¾¯±¹C¶·ÁC¸"²º±Äfº±¯·©³ÝÁ"²ÃÁ"¹CÁ*»C©¶·º±¯t²ÃÁC»5²Aª*¬©Ô²!ÄbÚSC¹*¶·¯·°*©¶·³Jµ¶·©séAº·¹C¾u°.²ÃÁ"²A½C½*¶·µf²Ã¾u°"»Cµb©º8ÁCµ¯

¸®©¯·°C©º±½5©3¾À¿5©¶²³J©[²AÁ*ºëµÃ¼ ¹*º·ÁÇÁb¯·©¶±Á5²A¬aº±¯·¶·¹*¾¯·¹C¶±ÁÇ.³J©¾u°5²AÁCº±³.º'¯±µ³J½C¶·®s©¯·°C©Õ¹CÁC»C©¶±º·¯u²AÁC»CÁÇXé

»C©®©3¬µs½C³.©3Áf¯²AÁ*»H¶±©uÖ¹Cº·©µÃ¼¾µs³.½XµÁC©3Áf¯±º[Ú

åbÄbº·¯±©³ ªX©°5²!®bµ¹C¶´¾[²AÁ ²A¬º·µÆª5©P»C©º±¾¶·ªX©»_²ÃºÞ²>ÒCÊÏÍcÈetÎEé8Ú©sÚÂ¯±°C©PÁf¯±©¶·ÁX²A¬²AÁC»q©íb¯·©¶±Á5²A¬©®©Áb¯±º.²A¶·©

µsªCº·©3¶·®²Aª*¬©sÚ'äÁ*©¾[²AÁP»C©Áb¯±á¼cÄ¯ÔëµÕ¼0¹CÁC»X²A³.©3Áf¯u²A¬Xº·¯Äb¬©ºi-

Û°C© &?MIH"iHj?HI _ &?^OH ¾[²ÃÁ_ªX©®f©Ôm©»_²ÃºP¯·°C©©3íf¯±©ÁCº±µsÁ_µÃ¼"¯·°*©Â³JµÁCµs¬¯±¾Jº·¯Äb¬©Ô¯·°º±¯t²Ã¯·©

®²A¶·Ï²ÃªC¬©º[Ú>Û°C©º·½X©¾À¿5¾!²A¯·µsÁº8»C©u¿5ÁC©3»H²Aº8º·©¯±ºëµÃ¼¤²Ã¬¯±©¶·ÁX²A¯·®s©çÏ½5²Ã¶t²A³J©¯·©3¶·º·©»Xè%º·©ìb¹C©3ÁC¾©º!Ú 98²A¾u°.²A¬¯·©3¶Ö

Á5²A¯±®s©ºm¸¹5²Ã¶·»C©»>Ú%Û°Cºëº±¯Äf¬©½C¶·µA®b»C©º²»*¶±©¾¯±¬Ä³J½C¬©³.©Áb¯u²AªC¬©'º±Äfº±¯·©³k»C©º±¾¶·ªX©»Â²Ãºg²ÃÁH²A¹*¯·µ³P²A¯u²CÚ

µAÔm©®©¶!éC¯º¯·©»*µs¹Cºm¼0µs¶»C©u¿5ÁCÁC¸º±Äbº·¯·©3³.ºÔ¯±°.³H²ÃÁbÄ»Cà©¶±©Áb¯º±¯t²A¯±©º[ÚmÛ°C©½5²Ã¶·©³J©¯·©3¶·ºt²Ã¯·µÁP½C¶±µAÖ

®f»C©3ºµÁ*¬ÄJµÁC©Õ¬©3®©¬>µA¼ë¾µs³.½Xµº±¯±µÁC¬Xº·¯±¶·¹C¾¯±¹C¶·©Ô°*©¶·©[²Ãº¯Ômµ¹*¬»PªX©"ªX©ÁC©O¿5¾Ï²A¬%¯·µ®b©Ôz²´º±Äfº±¯·©³²Aº

º·¯t²Ã¯·©³P²A¾u°CÁC©ºmÁCº·»C©º·¯u²A¯·©Õ³H²A¾u°CÁC©3ºëÁCº±»*©«º±¯t²Ã¯·©³P²A¾u°CÁC©º'©3¯·¾.Ú!Ú[Ú!Ú

Û°C© HI_ PnH"%OHj?Hk _ &?^OH »C©3º·¾¶±ªX©º´©[²A¾u°¶±©º·µs¹C¶·¾3©.µA¼'¯±°C©"º±Äbº·¯·©3³ ²Aº²M½C¶·µb¾©º±º"²AÁ*»¹Cº·©3º«¯±°C©

½5²A¶u²A¬¬©¬aµ½X©¶t²Ã¯·µs¶¯·µ´¾µs³.½Xµº·©¯±°C©³ÂÚ%Û°*©«Áb¯·©3¶·Á5²Ã¬²A¾3¯·µÁCº¾!²AÁªX©°C»C»C©ÁPªbÄ.³P²bÁC¸¯·°*©³ðÁb®bº·ªC¬©

¼0¶·µs³_¯±°C©ë©3íf¯±©¶·ÁX²A¬CªX©°5²!®bµ¹C¶>µA¼C¯·°*©ëº±Äfº±¯·©³ÚQÁÕ¯·°Cº@º±¯Äb¬©séA¯·°C©mº·½X©¾À¿5¾!²A¯·µsÁ³.½Xµº·©3º²¾3µ¶·¶±©º·½XµÁ*»5²AÁC¾3©

ª5©¯Ôm©©Áº·½X©¾À¿5¾!²A¯·µsÁÂ²AÁC»P³.½*¬©3³.©Áb¯t²Ã¯·µÁ>ÚSC¹*¶·¯·°*©¶·³Jµ¶·©sé5²A¬¯±°Cµ¹C¸s°P¯·°C©¶±©"²A¶±©µA¼c¯·©Á³P²AÁbÄ´»Cà©¶±©Áb¯

¯Äf½X©ºµÃ¼@¶·©º±µ¹C¶±¾©"Á.²Õ½5²A¶±¯·¾¹C¬Ï²Ã¶ë½C¶±µªC¬©³Ý»Cµs³H²ÃÁ>éA¯·°C©º±¯Äf¬©»Cµb©ºÁCµ¯mµa©¶²AÁbÄ³.©!²AÁCº'µÃ¼°C©3¬½*Á*¸¯·µ

»Cº·¯·ÁC¸s¹Cº·°Jª5©¯Ôm©©ÁÆ¯·°C©³Úp5m¬Ï²Ãº·º·À¿5¾!²A¯·µsÁ.µA¼%»Cà©3¶·©Áb¯¯Äb½X©ºµA¼'¶±©º·µs¹C¶·¾©3º«º²´¹Cº·©O¼0¹C¬aÔ²!Ä¯·µ³.½C¶±µA®©

¹CÁC»C©¶±º·¯u²AÁC»CÁC¸.²ÃÁC»P¾µ³J½5µsÁC©Áb¯m¶·©uÖ¹Cº·©sÚëÛ°*©«¶±©º·µs¹C¶·¾3©"µs¶·©Áb¯·©»Pº±¯Äf¬©»Cµb©ºÁCµ¯²Ã»C»C¶·©3º·º¯±°C©º±©º·º·¹*©º[Ú

QÁ"½*¶t²A¾3¯·¾©éC²³Jíf¯±¹C¶·©mµA¼a¯·°*©º·©ºmº·¯Äb¬©ºmºµÃ¼0¯·©3Á¹Cº·©»J¯·µ»*©º·¾¶±ª5©º·Äbº·¯±©³ ªX©°5²!®bµ¹C¶ç¼cµ¶'ÁCº±¯t²AÁ*¾©Ôm©¾[²AÁ

¹*º·©¯·°C©¶·©º±µ¹C¶±¾©uÖµ¶±©3Áf¯±©»º·¯Äb¬©«²A¯m¯·°*©¯·µs½.µÃ¼¯·°*©º·½X©¾À¿5¾!²A¯·µsÁT²ÃÁC».©!²A¾u°.¶±©º·µs¹C¶·¾©Õ¾[²AÁP¹Cº±©«²AÁbÄº±¯Äf¬©²A³.µsÁC¸

¯±°C©´³.µÁ*µ¬¯·°C¾és¯·°C©´¾µsÁCº·¯±¶t²AÁb¯Öµ¶±©Áb¯·©»~²AÁC»Æ¯·°C©´º·¯u²A¯·©OÖ×µs¶·©Áb¯·©»XèÚi<Tµ¶·©Õ¸©ÁC©3¶t²A¬¬Äbé5¯±°C©´»Cà©¶±©Áb¯º·¯Äb¬©º²A¶·©

¾3¬©!²A¶·¬Äº±¹C¯·©»~¯±µ³.µb»C©3¬¬ÁC¸´ª5©3°5²!®bµs¹C¶²A¯»*a©¶±©Áb¯¬©®©¬ºµÃ¼g²Aª*º·¯·¶u²A¾¯±µÁ@ÚÛ°*©½C¶·µsªC¬©³Ô¯·°¯·°*ºÕº¯±°5²A¯

»*¹C¶·ÁC¸º±Äfº±¯·©³ »C©®s©¬µ½C³J©Áb¯ë¯±°C©¶·©´ºÁC©3®©¶²¾µsÁCº·º·¯±©Áb¯¬©3®©¬>µA¼ë²AªCº±¯·¶u²A¾¯±µsÁP¼0µs¶¯·°C©Ô°*µ¬©º·Äbº±¯·©³³Jµf»*©¬é

²ÃÁC»~º·µÆÔë©©Á*»~¹C½~°5²!®bÁC¸ê@äÛäå~º·½X©¾À¿5¾!²A¯·µsÁCº"Ô¯±°â²P³Jíf¯±¹C¶·©´µA¼º·¯Äb¬©º!ÚPÛ°Cº«ÁC¾3µÁCº±º±¯·©Á*¾Ä~º³H²Ã»C©

Ômµ¶±º·©´ªbÄH¯±°C©Õ¼×²A¾¯¯±°5²A¯¾t°*µ¾©ºµÃ¼ëº·¯Äb¬©éX¾u°5²AÁ*¸©ºµA¼mº·¯Äb¬©éa»Ca©¶·©Áb¯³.íb¯·¹*¶·©ºµA¼ëº±¯Äf¬©é¤©¯·¾PÚ[Ú!Úu²A¶·©ÁCµs¯Ôë©¬¬

»*µf¾3¹C³.©Áb¯±©»ÙçÏµs¶©®©Á¹CÁC»*©¶·º±¯·µbµb»5èÚ¨°X²A¯Ôm©´ÁC©©»º«²¾3µÁCº±º±¯·©Áb¯º±½5©3¾À¿5¾[²A¯±µÁº·¯Äb¬©Ô°C¾u°Â¾[²ÃÁªX©"¹Cº±©»

²Ã¯»Cà©3¶·©Áb¯¬©®©¬ºµÃ¼8²ÃªCº·¯±¶t²Ã¾¯·µÁ>ÚgäÁC©Õº·¹C¾u°~ÅÍEÈºÎÈuÉ!ÍëÎsÑtÊÈ[ÐCÍcÈéa²AÁ*»HÔm©ª5²Ãº·©µs¹C¶Ômµ¶-JµÁP¯·°*©¼0µ¶±³H²Ã¬

µsªØu©¾¯µ¶±©3Áf¯±©»P»C©®s©¬µ½C³J©Áb¯ë³J©¯·°Cµb»çOS@ää:@èmÁ_(A(&ïÚ>Û°Cºº¶·©®b©Ôm©»PÁH¯±°C©ÁC©íb¯º±©¾¯±µsÁ@Ú

(8)

Û°*©.ã%¬Ï²AÁâä¬»~Û%©¬©½C°CµsÁC©.åb©¶±®b¾3©Âç0ã8äÛå*è½C¶±µªC¬©³ °5²AºÕª5©©3Á ²A»*»C¶·©º±º·©» ªbÄÂê>äÛäåÜº·½X©¾À¿5©¶±º"Á~³H²ÃÁbÄ

»*a©¶±©Áb¯½5²Ã½5©¶±º[Ú

(&«®b©Ôº.¯±°C©Â¯±©¬©½C°CµsÁC©º±Äfº±¯·©³ ²AºP²~º·©3¯.µA¼´ÁCµb»C©º.¾3µÁCÁC©3¾¯·©»QªbÄq¬ÁC©3º[Ú 9'²Ã¾u°¬Á*©¾[²AÁ ª5©¹*º·©»;¯·µ

¯±¶t²ÃÁCº·³J¯mº·©3®©¶u²A¬%¾µÁb®s©¶·ºu²A¯·µsÁCºº±³¹*¬¯u²AÁC©3µ¹Cº±¬ÄbÚ9'²A¾u°P¾µÁb®s©¶·ºu²A¯·µsÁº¾[²A¬¬©»²PÉtÒ*ÌÐCÐ*ÈÚëß ¾µÁb®s©¶·ºu²A¯·µsÁHº

Á*µ¯¯±¶t²AÁ*º·³.¯±¯·©»µÁ~µsÁC©.º±Á*¸¬©"¾u°5²ÃÁCÁC©¬ -´¯¼0µ¬¬µAÔº²P½5²A¯±°¼0µ¶±³.©»ÆªfÄº·©3®©¶u²A¬½C°bÄbº·¾[²Ã¬'¬Á*©º[ÚPÛ°C©Á*µf»*©º

¾3µÁCº±º±¯µA¼'Å'ÊÏÍcÉuÒCÊÏÐ"Î Ó!È3Åë½X©¶ï¼0µ¶±³.ÁC¸¯·°C©º±Ô¯±¾u°CÁC¸"³Jµb»C¹C¬©º'µÃ¼¾u°5²AÁ*ÁC©¬º[Ú%Û°C©3Ä½C¶·µs½5µsº·©»Â²ÃÁ.²A¬¸©3ªC¶t²Ã¾

²ÃªCº·¯±¶t²Ã¾¯'³.µb»C©3¬×é!³Jµf»*©¬©»Þ²Ãºë²AÁ´µªØO©¾¯[és¯·°X²A¯'¶±©¾µ¶±»Cºm¯·°C©°Cº±¯·µ¶±ÄµA¼X¼0¹CÁ*¾¯·µÁ*º'Ô°C¾u°Þ²Ã¶·©¹Cº±©».¯±µ«³P²AÁC½C¹*¬²Ã¯·©

¯!ÚçOS*µ¶©íC²A³J½C¬©és¯·°C©¼c¹CÁC¾¯±µsÁ.¯±°5²A¯³P²!Ä¾µÁCÁ*©¾¯µs¶»Cº·¾µsÁCÁC©¾3¯«²´¾u°5²AÁ*ÁC©¬@º³Jµf»*©¬¬©3».²Aº²´º·©3¶·®b¾©"²A¯¯±°C©

Áb¯·©3¶¼×²Ã¾©µA¼'¯·°C©µsªØu©¾¯!Úè

Û%®f¶±»CÄQ(n4à½C¹*ªC¬º±°C©».²ÃÁ©[²A¶±¬Ä´½5²Ã½5©¶²AªXµ¹*¯'¯·°C©º·½X©¾À¿5¾[²Ã¯·µÁJµA¼a¯·©¬©½*°CµÁC©º±Äfº±¯·©³Jº'Á.ê@äÛäås¯·°Cº'Ô²Aº

¼cµ¬¬µAÔë©»JªbÄ.º·©3®©¶u²A¬@³Jµ¶±©º·½X©¾À¿5¾´½5²Ã½5©¶±º4CéP+n[*éI,I)·ÚQÁP¸©3ÁC©¶t²Ã¬éC¯·°*©º·½X©¾À¿5¾[²Ã¯·µÁÆµA¼¯±°C©¯±©¬©½C°CµsÁC©º·Äbº±¯·©³

º»CµsÁC©"¹*º·ÁC¸.¯±°C©´¾µÁCº±¯·¶u²AÁb¯Öµ¶·©Áb¯±©»~º·¯Äb¬©ÚÛ°C©´»C©º±¾¶·½C¯±µsÁ~¹Cº·©3º"²³Jíb¯±¹C¶·©µA¼»Ca©¶·©Áb¯º·¯Äb¬©ºªC¹C¯Ô¯·°

¯±°C©¾µÁ*º·¯·¶u²AÁb¯Öµ¶±©3Áf¯±©».º±¯Äb¬©»Cµs³.Á5²Ã¯·ÁC¸¯±°C©µ¯±°C©¶·º!Ú%Û°C©º±©Ôëµs¶-bº²A¶·©º·³.¬Ï²A¶%Á.¯±°C©¶mº·½X©¾À¿5¾[²Ã¯·µÁPµA¼@¯±°C©

ã ¬²ÃÁHä¬»HÛ%©¬©½*°CµÁC©åb©3¶·®b¾©.ç0ã8äÛå*èÚCÛ°*©¹CÁC»C©3¶·¬ÄbÁ*¸"º±¯·¶·¹*¾¯·¹C¶±©"º¾µs³.³JµÁPç0²A¬¯±°Cµ¹C¸s°.¯±°C©º·½X©¾À¿5¾!²A¯·µsÁCº

¯±°C©³Jº·©¬®©3º²A¶·©®s©¶·ÄJ»Cà©¶±©Áb¯tè3ÚëÛ°*ºmº·¯±¶·¹C¾3¯·¹C¶±©"º¬¬¹*º·¯·¶u²A¯±©»PÁM¿5¸¹*¶·©n)sÚ

Multi-Connection

Caller

Single-Connection

Called Controller

POTS System

Global Constraints user,talk

user,talk Caller

Single-Connection

Called Controller

8

@u ¾

U

T~ÞOA3AA@u

QÁb¯·¹C¯·®s©¬Äféa¾3µ³.½Xµº±¯·µÁº"¶±©½C¶·©3º·©Áb¯·©3»ªbÄ~¾µÁb¯t²ÃÁC³.©Áb¯-¼0µs¶©íC²A³J½C¬©é@³P²AÁbÄº±Á*¸¬©uÖ¾µÁCÁ*©¾¯·µsÁÙ½C¶±µAÖ

¾3©º·º±©ºÞ²Ã¶·©´¾µ³J½5µsº·©»¯·µJ³H²l©"²M³¹C¬¯·ÀÖ×¾3µÁCÁC©3¾¯·µÁP½C¶±µb¾©º·º!Ú$QÁb¯·©¶±¬©[²!®©»½C¶±µf¾3©º·º±©ºHç Ô°C©Á~¯±°C©¶·©ºÁCµPº·ÄbÁbÖ

¾u°C¶±µÁCºu²A¯·µsÁ5èë²Ã¶·©»*¶t²!ÔÁ.µsÁP¯·µ½PµÃ¼©[²Ã¾t°Pµs¯·°C©¶-%¼0µs¶ë©3íV²Ã³.½C¬©és¾[²Ã¬¬©¶²ÃÁC»P¾[²A¬¬©»JÁP²´º·ÁC¸s¬©¾µÁ*ÁC©¾¯±µsÁªXµ¯·°

Áb¯·©3¶t²A¾3¯"Ô¯·°~¾3µÁb¯·¶±µ¬¬©¶"ª*¹C¯ÁC©®s©¶º·ÄbÁC¾u°C¶±µÁCº±©.Ô¯·°~©[²Ã¾u°Ùµ¯±°C©¶!Úâã ¶·µb¾©º±º·©ºJº·ÄbÁC¾u°C¶·µsÁCºt²Ã¯·µÁCº²A¶±©.¶±©½C¶·©OÖ

(9)

²ÃÁC»P¸¬µªX²A¬X¾µÁCº±¯·¶u²AÁb¯·ºçÏµsÁP¯·°C©ºu²A³J©¸f²Ã¯·©ºuèÚ

¨¯·°CÁJ¯·°Cº«²Ã¶·¾u°C¯·©3¾¯·¹C¶±©éX¯·°C©ÕÁb¯±©¸¶u²A¯·µsÁHµÃ¼ë²´ÁC©Ô;¼0©[²Ã¯·¹C¶±©º»CµsÁC©ªbÄH³P²bÁC¸¯±°C©"²A½*½C¶·µs½C¶·Ï²A¯±©³.µb»CÀÖ

¿X¾[²A¯±µsÁ¯·µJ¯·°C©´¹Cº±©¶µÁÔ°C¾u°¯±°C©¼c©[²A¯±¹C¶·©´Ô¬¬>ª5©²A¾3¯·®²A¯±©»ÙÊÏÈÍÒCÈÉuÌl4È!ÑÎÑ´ÍÒCÈÉuÌ4ÈHÎsÑ|uÎsÍÒJ²AºÔm©¬¬'²Aº

¯±º"ÉuÎÐCÍcÑÎPÈ!ÑtÚÛ°*©³H²ÃÁJ»C¶t²!ÔªX²A¾Pº¯·°5²Ã¯¼0µs¶©[²Ã¾u°¼0©!²A¯·¹*¶·©´¯·°C©´º·½X©¾À¿5©¶³¹Cº±¯»C©¾»C©°*µAÔ_¯±µ.©íb¯·©3ÁC»Â¯±°C©

ã8äÛåTº·Äbº·¯±©³¯±µº·¹C½C½Xµ¶±¯¯-'¯±°C©©.¾©Á*¾ÄµA¼'¯±°Cº³.©3¯·°Cµb»P»C©½X©ÁC»CºµsÁH¯±°C©fÁ*µAÔ¬©3»C¸©²AÁ*»©íb½5©3¶·©ÁC¾©µÃ¼

¯±°C©º±½5©3¾À¿5©¶[Ú8Û°Cºëº±¯·¶±¹C¾¯·¹*¶t²A¯±µÁ.º±¹a©¶·ºm¼0¶±µ³Ý¯·º'Á5²ÃªC¬¯Ä¯±µ"½X©¶·³J¯ÁC¾3¶·©³J©Áb¯t²A¬*º·Äbº·¯±©³ð©3íf¯±©ÁCº±µsÁCºmÔ°C¾t°

»*µ.ÁCµs¯¶·©3ìf¹*¶±©"¾u°5²ÃÁC¸©3º«¯±µ¯·°C©´¸©3ÁC©¶t²Ã¬'²A¶·¾u°C¯±©¾¯·¹*¶·©³.µb»C©3¬×ÚS*¹C¶·¯±°C©¶±³.µ¶±©éX¯·°C©´ÁCµs¯·µÁPµA¼8¼0©[²A¯±¹C¶·©Õº²AªCº±©Áb¯

¼c¶·µ³¯±°C©´¾µÁC¾3©½C¯·¹X²A¬ºt²A¯±µÁ-¯±°C©²A»C»C¯±µsÁ²AÁC»¾3µ³ªCÁ5²Ã¯·µÁJµA¼'¼0©!²A¯·¹*¶·©ºº%Øu¹Cº·¯º±µ³.©3°CµAÔ_¯u²A¸s¸©»µsÁb¯·µ.¯±°C©

º±Äbº·¯·©3³º·¯·¶±¹C¾¯±¹C¶·©´Á.º·µs³.©¹CÁCµªb®bµ¹Cºm³H²ÃÁCÁC©¶!Ú

Û°C©¯Ôëµ´»Ca©¶·©Áb¯¯Äf½X©ºµA¼©3íf¯±©ÁCº±µsÁÂ²A¶±©¬¬¹Cº±¯·¶t²Ã¯·©»PÁ¿X¸¹C¶±© (

A

B

A _A _C

B

Non-modular Extensions Modular Extensions

C

E

Original System

B C

8

@u q

!53AaaA U

¨~©Þ²Ã³¼0µs¶"²AÁ~²A¶±¾t°*¯±©¾¯±¹C¶·©PÔ°C¾u°~º·¹C½*½5µs¶·¯·º´¯·°*©Á*¾¶·©³J©Áb¯t²Ã¬'»C©®s©¬µ½C³J©Áb¯«µÃ¼º·Äbº·¯±©³.ºÕÁ~²P³Jµf»*¹C¬Ï²A¶

¼²Aº·°*µsÁ@Ú%Û°C©½C¶±Á*¾½C¬©«ºµsÁC©µA¼gÎOÇVÈ!Ð´¼0µs¶©íb¯·©Á*º·µÁPªC¹C¯É&ÎÃÅÈ ¯±µ.²A¬¯·©3¶t²A¯±µÁ@Ú%ßÁHµsªØu©¾¯µ¶±©3Áf¯±©»Pº·¯±¶t²A¯±©¸Ä

²Ã»C°C©¶±©º¯±µ¯·°Cº½C¶±ÁC¾½C¬©Ú

`f` ^3`hb`1e

ê>äÛä«åæºa¾u°Cµsº·©Á²Aº@² º·¹C¯u²AªC¬©%µªØu©3¾¯@µs¶·©Áb¯·©»Õ¶·©ìb¹C¶·©3³.©Áb¯·º>¾[²A½*¯·¹C¶±©ë²AÁC»Õ»C©º·¸sÁ«¬Ï²ÃÁC¸¹5²Ã¸©>¼0µs¶a¯·°C©'¯±©¬©½C°CµsÁC©

º±©¶·®b¾©.çc²AÁC»J¼0©!²A¯·¹*¶·©ºuèº·½X©¾À¿5¾!²A¯·µsÁª5©3¾[²A¹Cº±©n-

¯´º·¹*¯±º"µs¹C¶´ÁC©©»q¼0µs¶"º±©³H²ÃÁf¯±¾¾µÁb¯·Áb¹C¯ÄÆ¼0¶·µs³ ²ÃÁ5²A¬Äbº·º¯±µÂ»*©º·¸Á-.¯±°C©.ß65mÛðä87:9z¶±©ìb¹C¶·©³J©Áb¯·º

ê@äÛäå´°5²Aº²A¬¶·©!²A»CÄªX©©ÁJ¯·°C©º·¹CªØO©¾¯mµA¼a¶·©º±©[²A¶±¾t°PÔ¯·°¶±©¸f²Ã¶·»¯±µ¯·º'º±¹C¯t²Aª*¬¯Ä¼0µ¶8³.µb»C©¬¬ÁC¸µªØu©3¾¯

µ¶·©Áb¯±©»º·Äbº±¯·©³Jº²AÁC»ÁC¾3µ¶·½Xµ¶u²A¯±Á*¸"µsªØu©¾¯µ¶·©Áb¯±©»½C¶±Á*¾½C¬©º-8¼0µs¶©íC²A³.½*¬©séº±©©c+béP,n>béIBAB5éP+BCé+A(bé

)WCé?)+&·Ú

Û°C©¶·©ºmÔ»*©º·¹*½C½5µs¶·¯!éCµA¼c¯·©ÁJÁJ¯·°C©¼0µs¶·³ÝµA¼%¯·µbµ¬º!éA¼0µs¶ë¯±°C©º±¯t²Ã¯·¾²AÁ5²Ã¬Äbº±ºm²AÁC»J»CÄbÁ5²A³J¾©3íf©3¾¹C¯·µsÁHµÃ¼

ê@äÛäå°5²Ãºg²Ã¬¶±©[²A»*Ä"ªX©©Á²A½*½C¬©3»¯·µ´¯·°C©½C¶·µsªC¬©³ µA¼ã8äÛåJ²AÁC»M¼0©[²Ã¯·¹C¶±©º·½X©¾À¿5¾!²A¯·µsÁ@éC²A¬¯·°*µ¹C¸s°ÁCµ¯

(10)

Û°*©«µsªØu©¾¯µ¶±©3Áf¯±©»P½5²A¶u²A»C¸s³ð²A¶±µº·©µs¹C¯µA¼%¯·°C©¶±©[²A¬ºt²Ã¯·µÁJ¯·°5²Ã¯m¼0¹CÁC¾3¯·µÁ5²Ã¬5»*©¾µ³J½5µsº·¯·µsÁ.ºÁCµ¯m¯·°*©µÁC¬Ä

³J©[²AÁ*ºµA¼'º·¯±¶·¹C¾¯±¹C¶·ÁC¸J¾µb»C©n-²AÁ²A¬¯·©¶±Á5²A¯±®©º¯·µ¾3µÁCº±¯·¶·¹*¾¯²´º·Äbº·¯±©³ª5²Ãº·©»ÆµÁP¯·°C©Õº·¯·¶±¹C¾¯±¹C¶·©µÃ¼ ¯±°C©»5²Ã¯t² AÚ

9 ³.½C°5²Ãº·ºXµÁ»5²Ã¯t²mº±¯·¶·¹*¾¯·¹C¶±©¬©»¯·µ¯±°C©'©Á*¾[²A½Cº±¹C¬Ï²A¯±µsÁµA¼b¼0¹CÁC¾3¯·µÁ5²Ã¬Aª5©3°5²!®bµs¹C¶@Ô¯±°CÁ«»X²A¯t²m©3Áf¯±¯·©º-8ÎÈuÉ[ÍÅÚ

äªØu©¾¯µ¶±©Áb¯·©»¾3µÁC¾©3½C¯·ºÔm©¶±©"¾µsÁC¾©®s©»ÂÁÂåV³¹*¬² +A4&·éCÔm©Áb¯«¯±°C¶·µs¹C¸°ÆÁV¼×²AÁC¾3Ä.ÁÂåb³P²A¬¬¯t²A¬W(A,bé (NBE

²ÃÁC»¾µ¹C¬»ª5©ºu²A»¯·µPª5©¬©[²!®bÁC¸P²A»Cµs¬©3º·¾©Á*¾©é'²AÁ*»â²Ã½C½C¶·µb²A¾u°CÁC¸P³H²Ã¯·¹C¶±¯Äfé*Á¯·°*©´¼0µ¶±³µA¼³H²AÁbÄJ»Cà©¶±©Áb¯

¬Ï²ÃÁC¸¹5²Ã¸©ºç¼0µs¶ë©íC²Ã³.½C¬©n-@äªØu©3¾¯·®©5 ).&·éj5 UBg.&·éfê>ää«ã8åeUBE·égS>¬Ï²!®µs¹C¶·ºM)(béj+nW&·ég5ê>äåe)4béI+Z)oïéj9%a©¬

+A,&¤²ÃÁC» 5mµs³.³.µsÁ"äªØu©¾¯±ºgUBg[&0èë²ÃÁC».³J©¯·°*µf»*ºç¼0µs¶ë©3íV²Ã³.½C¬©n-¤¯·°Cµsº·©µÃ¼ ; ¹C³ª5²A¹*¸°WUBg,&·éj5mµf²Ã»H²AÁ*»ëµ¹C¶±»CµÁ

Û°C©¶±©°5²Aºª5©3©Á³¹C¾u°.Áb¯·©3¶·©º±¯«ÁP¾µs³ªCÁCÁC¸¼0µs¶·³H²Ã¬à²ÃÁC»PµªØu©3¾¯µs¶·©Áb¯·©»Æ³.©¯±°Cµb»Cº[Ú8Û°C©¶·©3º·©[²Ã¶·¾u°¼²A¬¬º

_ " HIm"iHgHI #LHIopPHk_:#LF]TP_ idf

MZ^ Hj^_

Û°C©Pº·¹C¾¾3©º·ºPµA¼µªØu©3¾¯µ¶±©3Áf¯±©» ¯·©¾u°CÁ*ìb¹C©3ºÁqº·µÃ¼0¯Ôg²Ã¶·©P»C©®s©¬µ½C³J©Áb¯°5²Ãº¬©3»Ù¯·µ~³¹*¾t°~Áb¯·©3¶·©º±¯Á

¹Cº·ÁC¸¯±°C©ºt²Ã³.©m¯·©¾u°CÁCìb¹C©ºm¼cµ¶'ªC¹*¬»CÁC¸æ¼0µ¶±³H²A¬b³Jµf»*©¬º[Ú<P¹*¾t°JµA¼@¯±°CºëÔmµ¶o"¾©3Áf¯±¶·©ºµÁ¯±°C©»C©O¿5ÁC¯·µÁ

µA¼µªØu©3¾¯.µs¶·©Áb¯·©» ¾µÁCº±¯·¶±¹C¾¯·º!éµ¶¯±°C©Áb¯·©¶±½C¶·©¯u²A¯±µsÁµA¼µsªØu©¾¯Jµ¶·©Áb¯±©»¾µsÁC¾©½C¯±º[éÁ ²ÃÁ ©íbº±¯·ÁC¸

)+bép+*é )WCé+n(*éBAB5é,n>bé(n+béBg+*ép+NB5é+n+ïÚÆÛ°Cº"Ômµ¶oÂ°X²Aº´¬©3»Ù¯·µ¶·©3¾µ¸sÁC¯·µÁ~µÃ¼¯·°C©PÁC¾µsÁCº·º·¯±©Áb¯"¹*º·©

µA¼µªØu©¾3¯µ¶±©3Áf¯±©»¯·©¶±³.ÁCµ¬µs¸ÄbéC°C¸°*¬¸s°f¯±ÁC¸¯·°C©´ÁC©©3»~¼0µs¶æ²M¾µÁ*¾©ÁCº±¹CºµA¼ëµs½CÁCµÁ@Ú%SC¹*¶·¯·°*©¶[é>³¹C¾u°

OT#:oH/H! Hj^G

Hj?:#"" HI$"%OHjHI &?H

MZA_

Û°C©¬Ï²A¾µA¼²A¸¶±©©³J©Áb¯µÁ¯·°C©³J©[²AÁ*Á*¸µA¼µªØu©¾3¯µ¶±©3Áf¯±©»~¾µsÁCº·¯±¶·¹C¾¯±º[é%¶±©Áb¼0µ¶±¾©»qªfÄÆ¯·°C©Áb¼0µs¶·³P²A¬

º·©³P²AÁb¯·¾º%µA¼@³Jµº±¯µsªØu©¾¯8µ¶·©Áb¯±©».½C¶±µ¸s¶t²A³J³.ÀÁC¸¬Ï²AÁC¸s¹5²A¸s©º[éA°X²Aº'¬©»³P²AÁbÄ½5©µs½C¬©¯±µ«½*¶·µb»C¹C¾© ¼0µ¶±³H²Ã¬

µªØu©¾3¯ëµs¶·©Áb¯·©»º±©³H²ÃÁb¯·¾º[éÃ¼0µs¶'©íC²A³J½C¬©'º·©©)>béA,n,CéNBg(CéA,n(Céj(n>&·Ú>Û°C©¯·°*©º·ºmªfÄ´¨~µ¬¾%$&µ,BEa½C¶·µA®b»C©º

Û°C©$S@ää:@ ²A½C½*¶·µf²Ã¾u°ÂµÃ¼ªCº·µsÁ (n(&'ºª5²Aº±©»~µÁ¯±°C©º±©.¯·°*©µ¶±©¯·¾[²Ã¬%¼0µ¹*ÁC»5²A¯±µÁCº²AÁC»°5²Aº²Ã¬º±µ.½C¶±µA®©Á

¯±º·©¬À¼'Á¯·°C©Õº·½X©¾À¿5¾[²Ã¯·µÁµA¼'º·©3¶·®b¾©"º±½5©3¾À¿5¾[²A¯±µÁCºÁ²AÁÁC»C¹*º·¯·¶±Ï²A¬@¯±©¬©¾µs³.³¹CÁC¾3²Ã¯·µÁ*º'©Áb®b¶±µÁC³J©Áb¯[éIS*µ¶

¯±°5²A¯¶±©[²Aº±µÁ@é*¯ëº¾u°Cµº±©ÁÂ²Ãºµ¹C¶³J©¯·°Cµb»M¼0µ¶m¯·°C©Õ»C©®©3¬µs½C³.©3Áf¯mµA¼%µ¹C¶ê>äÛä«åPã'äÛåPº±½5©3¾À¿5¾[²A¯±µÁCº!Ú

]TPHjGMI^ N_`_`Hgl

Û°Cº@º%¯·°C©²AªC¬¯Ä¯±µ¶·©!²Aº·µsÁÞ²Ãª5µs¹C¯%º·Äbº·¯±©³.º%²A¯%»Ca©¶·©Áb¯%¬©®©3¬º%µÃ¼à²AªCº±¯·¶u²A¾¯±µsÁ¹Cº±Á*¸«¯±°C©mºt²A³J©%¾µÁC¾3©½C¯·º

ç0²A¬ªC©¯!é²Ã¬º·µP©íb½C¶·©3º·º·©3» ²Ã¯»Ca©¶·©Áb¯´¬©®©¬ºµÃ¼ ²ÃªCº·¯±¶t²Ã¾¯·µÁXèÚPåb°CÀ¼0¯·ÁC¸P¬©®s©¬ºµA¼²AªCº±¯·¶u²A¾¯±µsÁ~»Cµb©º´ÁCµ¯

²AªXµ¹C¯¯·°C©³Ú'Û°b¹Cº!éà²ÃÁµªØO©¾¯µs¶·©Áb¯·©3»³.µb»C©¬>¾[²AÁÆ½C¶·µs¸¶·©3º·º¼c¶·µ³k¯·°*©Þ²ÃªCº·¯±¶t²A¾3¯¯·µJ¯·°C©Õ¾µÁC¾3¶·©¯±©Á²

¾µÁb¯·Áb¹Cµs¹Cºm¼×²Aº±°CµÁ@Ú

& G^OKu

Û°C©"³P²AÁ.¾3µÁC¾©3½C¯·º²A¶±©"¯±°Cµº±©"µÃ¼'©ÁC¾[²Ã½Cº·¹C¬Ï²Ã¯·µÁ@éX¾µs³.½Xµº±¯±µÁH²ÃÁC»¾¬Ï²Ãº·º·À¿5¾!²A¯·µsÁ@ÚÛ°C©º±©ÁCµ¯±µÁCº²A¶·©

J%&

©

ª$µ ².·J³ò=¬R«I¹fò¸··òô··ò+¶;·Jµ

º

··ô[óóõ

§¢º

öáô

§¢º

²fô

º

ò-³Ào¹sõWª,¹´.µ

§

µ=«O¶öáô=ªuòòuó+¶.¹fô=³cõW³(µ

§£©

² § ª$«cõWµ

§

ôöµ ·(´ô=«ô³,«I·,²¢ª$«I².··ò=¬

±

²¢«À%ò¾´;µ

§

µ'«Oª$µ

§

³cõW´ò¸·¾«I¹fòuó;õ

§ ô §

Á´ò$«ô3õ÷öàô=³o¶bô·J«Oµ

©

«I¹õW³OÀoµ·' ¼

(

½RÀoµ(À%ò±ö÷ö)'

§

µÀ

§

´sô'«ô+*

±

ô=³ò$´³,µ

©

À%ô ··ò¾´ò$»[ò±öWµ ¶fóò

§

«óò-«I¹µ´.³OÀo¹õWª?¹Þô ··ò º ò §

ò¸··ô3ö÷öWÁô'ª$ªuò¸¶¢«ò$´ô'³

§

µ=«

±

ò·õ

§º

µ

±-,

ò$ª$«

µ ·õáò

§

«ò$´"ô ··ò|«I¹bò/.=²sõW«ò¾³cõáóõ÷öáô·ô¶;¶.·Jµ!ô'ª?¹fò$³o¶;²¢«

©

µ·JÀ%ô ·J´

±

Á0!ô'ª1'.³,µ

§2354%6

ô § ´ &

·,·

27-86

¼R½o¹bò-³òmô ¶.¶.·Jµ!ô=ª,¹fò$³'ô ··òOª·öWµ=³ò±öWÁ

··ò±öáô=«ò$´B«,µO«I¹fòµ

± ,

ò$ª$«Rµ ·õáò

§

«ò$´¶bô··ô=´Aõ º ó õ§

«I¹fò¤õ

§

õW«cõáô3ö5ô

§

ô3öWÁ³cõW³³,«ô

º

ò-³$¬

±

²¢«R´Aõ

º

··ò$³,³

©

·Jµ!ó «I¹bòY³,«ô

§

´sô·J´µ

±-,

ò-ª$«Rµ ·õáò

§

«ò-´

»!õáò$À ô=³«I¹fò$Áô ¶.¶;·Jµ[ô=ª,¹õáó+¶öáòuóò

§

«ô'«cõWµ

§ ¼

(11)

¾[²AÁPªX©¸Á@Ú

"iGHj " $H

Hj _`

Û°C©"Á*µ¯·µsÁHµÃ¼'º·¹CªX¾¬Ï²Aº±º·ÁC¸P½C¶·µA®b»C©º²½XµAÔë©3¶¼0¹C¬%³J©[²AÁCºµÃ¼ë©íb¯·©3ÁC»CÁC¸.¯±°C©´ª5©°X²!®fµs¹C¶µÃ¼8²Mº·Äbº·¯±©³ çµ¶

]T^ _`HI hMI^HjMIOP

äÁ*¾©½5²A¶±¯·ºµA¼²º·Äbº±¯·©³ ²A¶±©"¾3µf»*©»â²ÃÁC»®²A¬»5²A¯±©»P¯·°C©Á¯·°*©Ä¾[²ÃÁÂªX©"ÁC¾3µ¶·½Xµ¶u²A¯±©»~ÁÂ²ÁC©3Ôzº·Äbº±¯·©³

GoM_ _:P H _`H

Û°C©³.©¯±°Cµb»Cº%©³.½*°5²Aº±$3©ë¶±©uÖ×¹*º·©ªbÄ"ÁC¾3µ¶·½Xµ¶u²A¯±Á*¸¶·©OÖ×¹Cº±©µs½5©¶u²A¯±µ¶·ºm²Aº'½5²Ã¶·¯%µA¼a¯·°*©¬²ÃÁC¸¹X²A¸©8º·©³P²AÁb¯·¾º

]TP^^HkhE8^5

PGpo_

½5µs¬Äb³Jµ¶·½*°C¾¬Ï²AÁC¸s¹5²A¸s©º[Ú µAÔm©®©3¶[éC¯±°C©¾¬Ï²Ãº·º·À¿5¾!²A¯·µsÁH°*©3¶t²A¶±¾u°fÄPÁPµªØu©3¾¯µs¶·©Áb¯·©»Æº·Äbº·¯±©³.º½C¶·µA®b»C©º

¯·¶·©!²A¯·©3»Ù²Aº«²J³J©³ª5©3¶ëµÃ¼g²AÁbÄPµA¼ë¯±ºæ²ÃÁC¾©º±¯·µs¶¾¬Ï²Aº±º·©º!éaÔë©´¾[²ÃÁÂ¹Cº±©"¯±°C©´½C¶·µs½5©¶±¯ÄÂµÃ¼ÅÓÅÍcÊÏÍ0ÓbÍcÌ!ÊÊÍ¯·µ

, [ 2 :Z ( YYg ¾( J

Û°*©T²ÃªCº·¯±¶t²Ã¾¯"»X²A¯t²Æ¯Äb½CÁC¸¬Ï²AÁ*¸¹5²Ã¸©.ß65mÛkä67:9Q½C¶±µA®b»*©ºÞ²ÃÁÙ©íb©¾3¹C¯t²ÃªC¬©Ùç0²ÃªCº·¯±¶t²A¾3¯tè´³.µb»C©3¬%¼0µ¶´¾¹Cº±¯·µs³.©¶

®²Ã¬»X²A¯·µsÁ@ÚmÛ°C©"º±¯·¶±¹C¾¯·¹*¶·©µA¼m¯·°C©´¶·©º±¹C¬¯·ÁC¸Pß65mÛzä87T9 ¶·©ìb¹C¶±©³.©Áb¯±º«³Jµb»C©¬a¾µs¶·¶·©3º·½XµÁC»Cº´¯·µJ¯·°C©´º·¯±¶·¹C¾3¯·¹C¶±©

Û°C©´¾µÁC¾3¶·©¯±©Hº±ÄbÁf¯u²AíÔ°*¾u°Ôë©©3³.½C¬µAÄ.Á¯·°C©µsªØu©¾¯Õµ¶·©Áb¯±©»~¶·©ìb¹C¶±©³.©Áb¯±º«³Jµb»C©¬%ÁC¾µ¶±½5µs¶t²Ã¯·©º¯±°C©

¼cµ¬¬µAÔÁ*¸-

ß_³J©¾u°5²AÁCº±³Q¼0µs¶'¶·©½*¶·©º±©Áb¯·ÁC¸.²º±©¯ëµÃ¼@µ½X©¶t²Ã¯·µÁ*ºg²Ãº·º·µb¾Ï²Ã¯·©»JÔ¯±°©[²A¾u°J¾¬Ï²Aº·º!ébÔ°C©¶±©©[²Ã¾t°Jµ½X©¶t²Ã¯·µÁ

²Aº·º±µb¾Ï²A¯·©3ºµÁC©Õµ¶³.µs¶·©¾¬Ï²Aº±º·©ºµÃ¼ë©Áb¯·¯ÄPÔ¯·°Â²M¶·©º±¹C¬¯·ÁC¸P¾¬Ï²Aº±ºµA¼'©Áb¯·¯ÄbÚ:QÁµ¯±°C©¶Ôëµs¶·»Cº!é@²³J©[²AÁ*º

µA¼«¶±©¾µs¶·»CÁC¸~¯±°C©P©íb¯·©¶±Á5²A¬Áb¯±©¶¼×²Ã¾©PµA¼²¾¬Ï²Ãº·ºº·µ~¯±°5²A¯²A¬¬mµ½X©¶t²Ã¯·µÁ*ºçÏµÁq¾¬Ï²Aº±º³.©³ªX©¶·ºuè¾!²AÁÙªX©

ß ³J©[²AÁ*ºµA¼"»C©O¿5ÁCÁC¸Ù¯±°C©~ªX©°5²!®bµ¹C¶P²Aº·º±µb¾Ï²A¯·©3»_Ô¯·° ©[²A¾u°;µ½X©¶t²Ã¯·µÁ@Ú QÁ µ¯·°*©¶PÔëµs¶·»Cº!é«²Üº·©¯µÃ¼

ß;¼×²A¾¬¯Ä¼cµ¶»C©u¿XÁCÁC¸"µsÁC©¾¬Ï²Ãº·ºµA¼%ª5©3°5²!®bµs¹C¶Á.¯±©¶·³JºµA¼µs¯·°C©3¶¾µs³.½XµÁC©Áb¯m¾¬Ï²Aº±º·©ºµA¼ªX©°5²!®bµ¹*¶[Ú

QÁC¾¬¹Cº·µsÁH½Xµ¬Äb³.µs¶·½C°*º±³ðçº·¹CªX¾¬Ï²Aº±º·ÁC¸fè3Ú

¼cµ¶´¶·©ìb¹C¶·©3³.©Áb¯·º´¾[²Ã½C¯·¹C¶±©n-P²AÁ5²Ã¬Äbº±¯·º´³¹Cº·¯¯±¶·Äq¯·µ»C©Áb¯±á¼cÄÙ²AÁC»~¶±©¾µ¶±» @Ò*ÌÍ'º´¶·©ìb¹C¶±©» ¶t²A¯±°C©¶¯±°5²AÁ ÒCÎ

¯±°C©º±©¶·©ìb¹C¶·©3³.©Áb¯·º²Ã¶·©¯±µHªX©´³.©¯!Ú µAÔm©®©3¶[é@²Mº·©¯µA¼m¶·©ìb¹C¶·©3³.©Áb¯·º³¹Cº±¯²A¬Ô²!Äfº¾3µÁb¯t²ÃÁÆº·µ³J©º·¯±¶·¹C¾3¯·¹C¶±©

(12)

²ÃÁC».¶±©ìb¹C¶·©³J©Áb¯·ºm¾[²A½*¯·¹C¶±©«©3ÁC¾µ¹*¶t²A¸s©º¯±°C©¶±©¾µs¶·»CÁC¸µÃ¼@¾©¶·¯u²AÁPº·¯±¶·¹C¾¯±¹C¶t²Ã¬@²Aº±½5©¾3¯·ºµÃ¼¯±°C©½C¶±µªC¬©³ »Cµ³P²AÁ@Ú

Û°*ºP²A»CºJ¹CÁC»C©¶±º·¯u²AÁC»CÁC¸²ÃÁC»¸®s©º.¯±°C©Â»*©º·¸Á*©¶·ºÂ²ÃÁÁC¯·Ï²A¬º±¯·¶±¹C¾¯·¹*¶·©Ù¹*½5µsÁÔ°C¾u°¯·°C©»C©º±¸Á;¾[²AÁªX©

»*©®©¬µs½5©»>Ú'QÁ~¯±°CºÔg²!Ä²¼cµ¶·³P²A¬%º·¯u²A¯±©³.©Áb¯µA¼µsªØu©¾¯Õµ¶·©Áb¯±©»~¶·©ìb¹C¶±©³.©Áb¯±ºº¹Cº·©O¼0¹C¬mÁ¬Ï²A¯±©¶º·¯u²A¸s©º"µÃ¼

»*©®©¬µs½C³.©Áb¯µsÁ¯ÔëµP²A¾¾3µ¹CÁb¯·º-¯¹CÁ5²Ã³ªC¸¹Cµs¹Cº·¬Ä»C©u¿XÁC©ºÔ°5²A¯ºÁC©©3»C©»Ù²AÁ*»H¯½C¶·µA®b»C©º²º·¯±¶·¹C¾3¯·¹C¶±©´¼0µ¶

Q¯%º%¾¬©[²Ã¶%¯·°5²Ã¯¯Äb½X©²AÁC»´¾¬Ï²Aº±º'º·°*µ¹C¬»ÁCµs¯'ªX©ë¾µsÁb¼0¹Cº±©»e)[&·éAªC¹*¯Ôm©»Cµª5©¬©®s©¯·°5²Ã¯¯Äb½X©º'¾[²ÃÁ"ªX©¹Cº±©»¯·µ

³J½C¬©³.©Áb¯X¯·°C©mº·©3³H²AÁb¯±¾3ºµÃ¼5¯·°*©ë¾¬Ï²Ãº·º%ÁCµ¯±µÁ@ÚaÛmÄb½5©3ºë²A¶±©ë³Jµ¶·©8¸©ÁC©3¶t²A¬*¯·°5²ÃÁ¾¬Ï²Aº±º·©º!ÚQÁ"µs¹C¶%»C©®©3¬µs½C³.©3Áf¯>Ôë©

¸s©ÁC©¶u²A¯±©«¯Äb½X©º·½X©¾À¿5¾[²Ã¯·µÁCºm¼c¶·µ³k²¼0µ¶±³H²Ã¬C³.µb»C©¬XµA¼@µsªØu©¾¯µs¶·©Áb¯·©3»H¶±©ìb¹C¶·©³J©Áb¯·º!Ú%Û°C©º±©¯µA¼%ª5©°X²!®fµs¹C¶·º

¯±°5²A¯¾[²AÁªX©"º±½5©¾3á¿X©»~ÁH¯±°CºÔg²!ÄJº³¹C¾u°Pº·³P²A¬¬©¶m¯·°5²ÃÁÂ¯±°C©º·©3¯µA¼ë²A¬¬>ª5©°X²!®fµs¹C¶·ºÔ°C¾u°¾[²ÃÁÂªX©º·½X©¾À¿5©3»

¹*º·ÁC¸´ßT@Û%º[Ú%Û°C©»Ca©¶·©Á*¾©ºª5©3¯Ôë©©3Á¯Äb½5©º²AÁC»J¾¬Ï²Aº±º·©º´çÏº·¹*ªC¯Äb½5©º²AÁC»Pº±¹Cª5¾3¬²Ãº·º±©ºtè²A¶·º±©¼c¶·µ³ ¯·°C©Ô²!ÄÁ

Ô°*¾u°¯·°C©J¯·©¶±³.ÁCµs¬µs¸ÄJº²Ã½C½C¬©»Â¶u²A¯±°C©¶¯±°5²AÁ¼0¶±µ³ »Cà©¶±©ÁC¾©3º"Á¯·°C©¹CÁ*»C©¶·¬ÄbÁC¸½C¶±ÁC¾½C¬©º[ÚMÛ°C©¯·°C¶±©©

¶±µ¬©ºµÃ¼¯Äb½5©3º[éXÁ5²A³J©¬ÄÞ²ÃªCº·¯±¶t²Ã¾¯·µÁ>éb¶·©uÖ¹Cº·©²AÁ*».®²A¬»5²Ã¯·µÁ@és²A¶·©Õ©ìb¹5²A¬¬Ä.²A½C½*¬¾[²ÃªC¬©¯±µ"¾¬Ï²Ãº·º·©3º-

c _ MNba

H _`Ha

MZ^OMIP a µsªØu©¾¯µs¶·©Áb¯·©3»_º±Äfº±¯·©³Jº.¾[²ÃÁ_ªX©~º·¯u²A¯±¾!²A¬¬Ä ²AÁX²A¬Äbº·©»;¯·µq¸¹5²Ã¶t²AÁb¯±©©Â¯±°5²A¯²Ã¬¬º±©¶·®b¾©

¶·©ìb¹C©º±¯·º¯±µ©[²A¾u°~µsªØu©¾¯´ÁÂ¯±°C©.º±Äfº±¯·©³é@Ô°*¾u°³H²!ÄPµb¾¾¹C¶´Á~¯·°C©º±Äbº·¯·©3³ ¬á¼c©¯·³.©séà²Ã¶·©.²!®²Ã¬Ï²ÃªC¬©"²Aº

ã ¶·µª*¬©3³.º«²Ã¶·º·©ÕÁÆ¾µÁC¾3©½C¯·¹X²A¬¬ÄH¶±©¬Ï²A¯±Á*¸.¾¬Ï²Aº±ºÔ¯±°¯Äb½5©ÕÔ°C©Á¯Äf½X©´º¯t²l©Á¯±µP¶·©½C¶±©º·©3Áf¯´²½C¹C¶±©¬Äº·¯u²A¯±¾

º±ÄbÁf¯u²A¾¯±¾Áb¯±©¶¼×²Ã¾©Ú/Q¯ºÁC©¾©º±ºt²Ã¶·ÄÙ¯±µP¾µÁCº±»C©¶´¯·°C©ªX©°5²!®bµ¹C¶µlà©¶±©»ÙªbÄ¯Äb½X© ÷³.©3³ª5©¶±º *¯·°C¶±µ¹C¸s°~¯·°C©¶

Áb¯·©3¶¼×²Ã¾©º[Ú´ßªCº·¯±¶t²A¾3¯»5²A¯u²¯Äb½X©º½C¶±µA®f»C©´ªXµ¯·°º·ÄbÁb¯t²Ã¾¯·¾²AÁC»º·©3³H²AÁb¯±¾Õ®f©ÔºµÃ¼ëÁf¯±©¶¼²A¾©Ú%5mµÁCº±©ìb¹C©Áb¯·¬Äbé

Ôm©º·¹C½*½5µs¶·¯¯±°C©®b©3Ô_¯±°5²A¯¾¬Ï²Ãº·º·©3º«²AÁ*»Hß:@Ûºm¾[²ÃÁHªX©¹Cº±©u¼0¹C¬¬Ä¶·©3¬²Ã¯·©»ÆÁP²Õ¼0µ¶±³H²Ã¬b¼0¶t²Ã³.©Ômµ¶oaÚ

[ f ZrYO ¾+ ¸

Û°*©ëº±¯·©½´¼0¶±µ³z²ÃÁ5²A¬Äbº@¯·µ»C©º±¸sÁ"¶±©ìb¹C¶·©ºm²AÁ´©íb¯·©ÁCº±µÁ´¯·µ¯·°C©m¶·©3ìf¹*¶±©³.©3Áf¯±º%³.µb»C©¬b¯·µÁC¾µ¶±½5µs¶t²Ã¯·©mº·©³P²AÁb¯·¾º

¼cµ¶µªØO©¾¯¾µ³J³¹CÁCÀ¾[²A¯±µsÁ.²AÁC»P¾µsÁC¾¹C¶±¶·©Á*¾ÄfÚßQ½C¶±µf¾3©º·º"²Ã¬¸©ªC¶u²´½C¶·µA®b»C©º²Mº·¹C¯u²AªC¬©¼0µ¶±³H²Ã¬5³Jµf»*©¬X¼0µ¶¯±°C©

º±½5©3¾À¿5¾[²A¯±µÁµÃ¼«¯·°*©º·©½C¶·µs½5©3¶·¯·©º!ÚQê@äÛäåaémÔ°C¾t° ¾µs³ªCÁC©º´ß65mÛ ä87:9 ²AÁC»²Æ½C¶·µb¾©3º·º²A¬¸©3ªC¶t²Á µÁC©

¾3µ°C©¶±©Áb¯º±©³H²ÃÁf¯±¾³.µb»C©3¬×és½C¶±µA®f»C©3º²´³.©[²ÃÁCºëµÃ¼¾µsÁCº·¯±¶·¹C¾3¯·ÁC¸.µsªØu©¾¯µ¶±©3Áf¯±©»P»C©º±¸sÁPº·©³P²AÁb¯·¾º!Ú

Û°C©»C©º±¸ÁÙ½*°5²Aº±©.µA¼µs¹C¶»C©3®©¬µ½*³.©Áb¯º±¯t²A¶±¯·º´Ô¯·°~¯·°*©.¯·¶u²AÁCºï¼0©¶´µA¼«²ÃÁ~ßT@ÛÝº·½X©¾À¿5¾[²Ã¯·µÁqÁb¯±µÂ²J¼0¹C¬¬

ê>äÛä«åÜº·½X©¾À¿5¾[²Ã¯·µÁ>Ú QÁÙ¯·°*ºÕÔg²!ÄbéaÔm©.¾[²ÃÁ~º·¯t²Ã¶·¯´¯·µ¶±©[²Aº±µÁ~Á~¯·©3¶·³.ºÕµA¼°C¸°*©¶¬©®©3¬ë¾µsÁCº·¯±¶·¹C¾3¯·ºº·¹*¾t° ²Aº

¾3µ³.³¹*ÁC¾[²A¯±Á*¸"½C¶±µb¾©º·º±©º[Ú¹C¯·©»C©3¬ªX©¶t²Ã¯·©¬ÄbéXÁµ¹*¶«³J©¯·°*µf»>éa°C¸°bÖ¬©®©3¬»*©º·¸ÁÆ¼0©[²Ã¯·¹C¶±©º"²Ã¶·©.²Aª*º·¯·¶u²A¾¯±©»

²!Ô²!Ä´¼0¶±µ³ »C¹*¶·ÁC¸¶·©3ìf¹*¶±©³.©3Áf¯±º¾[²Ã½C¯·¹*¶·©ÚmÛ°C©¶·©3ìf¹*¶±©³.©3Áf¯±º³Jµf»*©¬5ºu²!Äbº @Ò*ÌÍX¶t²Ã¯·°C©¶¯·°5²ÃÁÂÒCÎ'Ú%ßT@Û%º»Cµ

½*¬²!Ä²³H²3Øuµ¶>¶·µ¬©mÁÞê>äÛäåÕ»C©º±¸sÁCº-%¯±°C©Ä³P²AÁb¯t²ÃÁ¯±°C©¹CÁC»C©3¶·¬ÄbÁ*¸«²Aª*º·¯·¶u²A¾¯mªX©°5²!®bµ¹C¶%Ô°C¬º·¯>¯·°C©½C¶±µb¾©º·º

®©ÁÙ²Tº·©¯´µA¼º±Äfº±¯·©³ ¶·©3ìf¹*¶±©³.©3Áf¯±º"º±½5©3¾À¿5©» Á~ß65mÛðä87T9é>¯·°C©3¶·©²A¶±©H²ÆÁf¹*³ª5©¶ÕµA¼»Ca©¶·©Áb¯´Ôg²!Äbº

Á~Ô°C¾u°~¯·°*©º·©P¶·©3ìf¹*¶±©³.©3Áf¯±º¾[²ÃÁÙªX©.¯·¶u²AÁCº±¬Ï²A¯·©3»~¯·µÂ²ÃÁ~Á*¯±Ï²A¬ë²ÃªCº·¯±¶t²A¾3¯Þê>äÛäåÜ»C©º·¸sÁ@ÚäªØu©¾¯´µ¶±©3Áf¯±©»

»*©º·¸Á*©¶·º³¹*º·¯ÁC¯±²Ã¬¬Ä»C©3Áf¯±À¼0ÄP¯·°C©¾µs³.³¹CÁ*á¾[²Ã¯·µÁP²Aº·½X©¾¯±ºµA¼¯·°*©"Ô²!ÄPÁÔ°C¾u°¯·°*©¹CÁC»C©¶±¬ÄfÁC¸JµªØu©3¾¯

µs¶·©Áb¯·©3»ÙªX©°5²!®bµ¹C¶º´¯·µªX©¼c¹C¬À¿5¬¬©3»@ÚPÛ°C©.»*©º·¸Á*©¶·ºµÃ¼«²Pº·Äbº·¯±©³ ³¹Cº±¯»C©¾3»*©.°CµAÔÝ¯·°*©.ªX©°5²!®bµ¹C¶´º¯·µ

ªX©µlà©¶±©»Q²A¯.¯±º©íb¯·©¶±Á5²A¬Áb¯·©¶ï¼×²A¾© ç0²ÃÁC» Ô°5²A¯J¯·°CºJ©íb¯·©¶±Á5²A¬Áb¯·©¶ï¼×²A¾©Æº·°Cµs¹C¬» ¬µbµq¬s©[èÚ;Û°Cºº±³J½C¬©

»*©¾º·µÁÆ¾[²AÁ~²Ea©¾¯¯·°*©"¶±©º·¯µA¼m¯·°C©´»C©º±¸sÁ½C¶±µf¾3©º·º!ÚQ»C©Áb¯±á¼cÄfÁC¸.²ÃÁµªØO©¾¯µ¶±©3Áf¯±©»¾µ³J³¹CÁC¾[²A¯±áµsÁ³.µb»C©¬

²ÃÁC»º·½X©¾À¼0ÄbÁC¸¯·°*©¯·¶t²ÃÁCº·¬Ï²Ã¯·µÁÆ¼0¶·µs³ ää ß65mÛä87T9é>ºÁCµ¯º±³.½C¬©ÚÕÛ°C©¶·©P²A¶±©.².Áb¹C³ªX©¶µA¼²A¬¯±©¶·Á5²Ã¯·®©

POTS: An OO LOTOS Specification

HAL Id: inria-00098729

https://hal.inria.fr/inria-00098729

Submitted on 26 Sep 2006

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.

POTS: An OO LOTOS Specification

Jean-Paul Gibson, Yassine Mokhtari

To cite this version:

Jean-Paul Gibson, Yassine Mokhtari. POTS: An OO LOTOS Specification. [Intern report] 98-R-013

|| gibson98b, 1998, 27 p. �inria-00098729�

Multi-Connection

Caller

Single-Connection

Called Controller

POTS System

Global Constraints user,talk

user,talk Caller

Single-Connection

Called Controller

A

B

A A C

B

Non-modular Extensions Modular Extensions

C

E

E

E

Original System

B C

A _A _C