A Performance Engineering Case Study: Software Retrieval System

(1)

"+,$.-/ 01$!234 56"7(+8$!9;:

<>=>?A@

BDCEBF

?

BHGJIABHFHK

<ML,NPO

BHFQ LJRTSU=M?

K

LJVXWYZW

I L F WA=

CEB VXL

[]\>^`_JaMbJcdfeJgh_Hi`j*k

l

^`mon

l

c]dpeMqrcseMmocsitk

ul

b>cv mowx^`ctj

l

wty>z{e>m}|rcsi`w~m^f_Hg8

l il qr_H

l

yXv \

l

m}e

tMrJ~rsJJUfMHJ,HJ 2 >2 rf

tt 2¡P¢Hr£ ¤¦¥ m}w!n ¥ l

\>^`c§i\>i`ctw~cse ^`w

l n l

w~c]wx^`¨Pb moe\©csi~gh_i`j

l

eMnsc]cteMqHmoeMctcsi~ª

moeMqJa ¤¦¥ c«n

l

w~cTwx^`¨MbJEnt_HeMw~mowx^`w _Hg

l

vJ_Hg¬^f

l

i`cT®Zcs^~i`moct|

lH¯

v Jwx^`ctj±°

l

w~cb²_He

l

qrcte^`wta ¤¦¥ cwx>wx^`csj±mow j _ b>c

¯}¯

cbEmoe

l

\Ji

l

qrj

l

^`mon

l

E¨>w~moeMq7^¥ c«z³eMm´Pctb

µ«_ bJc

¯

m}e>q²¶

l

e>qr¨

l

qrc

l

ePb·moe

l

g¸_Hi`j

lH¯

l

·¨Mw~moeMqwx^`_n

¥ l

wx^`monº¹cs^~i`mZ»{c§^`wta

¼ e>ntc ^¥ cwxJwx^`ctj ¥ l

w°©ctcteEj _ bJc

¯o¯

cbXy.\©csi~gh_i`j

l

eMnsc´Mqr¨>i`csw

l

i`c_H°>^

l

moe>cb

g¬i`_rj/^

¥

c9gh_Hi`j

l¯

j _ bJc

¯

aU½m}e

lH¯o¯

y.w~_Hj c4nt_HeMn

¯

¨PbJmoeMqi`csj

l

i`¾ w

l

i`c _H°>^

l

moe>cb

g¬i`_rj¿_r¨JicsÀJ\©csi`mocteMntcmoe«^ ¥ c]w~_Hg¬^f

l

i`c\©csi~gh_i`j

l

e>ntc\>i`_ntcsw~wta

Á ÂMÃZÄ©ÅAÆÇ9ÈÉ.ÄAÊ`ÆZÃ

Ë]Ì

BÍ

=JRTRT=JVEÎtLJ?§ÏP?= Ð

FsB Î F OB

NPO¸V

G

L VUWEO¬VU?`ÎtL Ñ¸Ñ¬O¸V

G

?§= ÐÒÎ`Ó]L

FsB I

?§O¬V

G+Ô VMÎ

BHF V B

ÎDL

F§B S F

=JÕ

NMOhW

B

WTÖM×«?

B N BHF

LJÑA?ØO¬Î

B

?Ù

B>ÚGUÚ¬K

Ë

IUÍ

=Ó?ÛÜ,Ý

K>Þ

=ÓVAÑ¬=MLJW

ÚÍ

=>R±Û¬ßÝ

K

L VUW7à4L R

B,Q³B V>Î

BF Ûá,Ýãâ

Ú

ä F

=JRåL

I ? BF

SU=>O¬VMÎ=JÐNPO

B Ó K ÎsÌ

B S F = Í2B

?§?= Ð?

B Ñ BrÍ

ÎsO¬V

G

L VXWæWA=ÓVAÑ¬=MLJW©O¸V

G

?§= ÐÒÎ`Ó]L

FsB

Í = I Ñ¸WçÖ

BHÍ

=>R

B²Í

=M?`ÎsÑ¬×çL VXWè?§=JR

B

ÎsO¬R

B

?+?ØÑ¸=Ó

K

Î§Ì

BFsB Ðã=

FsB Î§Ì

B S BHF

Ðã=

F

R%L V

Í2B

= ÐDÎ§Ì

B ? B

ÏMO¸VXWº= Ð¦?

BHF NPO

Í2B

?]Ö

BrÍ

=JR

B

?é2êëXéìíî

Ú

Ë]ÌAO¸?

Í

ÌXL S©Î

BF W B ?

Í2F O¬Ö

B

?4ÎsÌ

B S BF

Ðã=

F

R%L V

ÍB

?`Î

I

W©×·= ÐLðïP= ÐÒÎ`Ó]L

FsB%ñB Î F OB

NLJÑ{ïP×©?ØÕ

Î B RòÙfï

ñ

ï+Ì

BFsB L ÐÒÎ

BHF âS

F

=>SU=M?

B

W%O¸V*Û¬ßJß2Ý

Ú

Ë]ÌAOh?]ï

ñ ï K LJ?ZÎ§ÌA=M?

B R B

VMÎ§O¸=JVºL Ö.=N

B>K L Ñ¸Ñ¸=Ó?

Ô

V>Î

BF V B Î I ?

BF

?9Î§=?

B Ñ BrÍ

ÎL VXW*W©=ÓVAÑ¸=>L>WEV

B

ÓóSAO

BHÍ2B

?D= Ð³?§= ÐÒÎ`Ó]L

FsBJÚ Ë]Ì

B

R%L O¸V*W©O¬ô

BHF

Õ

B V ÍB

?{Ö

B

Î`Ó

BHB

VõO}ÎL VXW7Î§Ì

B

= ÎsÌ

BF

?]L

FsB ÎsÌXLÎ{Î§Ì

B ï ñ ï+ÌXL>?ZÖ

BB VºW

B

?ØO

G V B W%Ðã=

F

ÓO

FsB ÑB

?s?

V B Î`Ó{=

F

ÏE?Ø×©?ØÎ

B

R%?TÙÒÎs=º?sLÎsO¸?ØÐã×ERT=JÖAO¸Ñ

B«Í

=JRTS

I Î BF4I

?

BF

?sâ9L VXW²O}Î ÌXL>?DÖ

BHB V*W

B N B Ñ¬=>S

B W

I

?ØO¸V

G

RT=JÖAO¸Ñ

B L GJB

VMÎs?³Î

BrÍ ÌAVA=JÑ¸=

G

×ðÛ}ßrö,Ý

Ú

Ë]Ì

BºÍ ÌUL S©Î

BF O¸?«=

FsG LJVAOh?

B

WæLJ?Ðã=JÑ¸Ñ¬=Ó?

Ú¦Ô Vçï

BrÍ Î§O¸=JVèá

K

Î§Ì

B ï ñ ïæOh?«?§S

BHÍ O¬÷

B W ÚÔ

V

?

BrÍ Î§O¸=JV7Ü

K

ÎsÌ

B ï ñ

ïTO¸?ZRT=PW

B

Ñ¸Ñ

B W I

?§O¬V

G

Î§Ì

BEø!ù

ìú{ûsüý²þrüJûîoì

ùMÿ

í

ùMÿ ëXí

ÿ

ûÙ

C

âLJVXW

ûfêì

ù

û 7Ù Dâ

ÚAÔ Vð?

BHÍ

Î§O¸=JV7LTS

BF Ðã=

F

RTLJV

Í2B

LJVXL Ñ¸×©?ØOh?]= Ð!Î§Ì

B

?Ø×©?ØÎ

B

R±O¸?LJWAW

FsB

? B W Ú

ä O¸VXLJÑ¬Ñ¸×

K

?§=JR

B Í

=>V

Í ÑI W©O¸V

GTFsB R%L

F

Ï©?{L

F§BDG O¸N

B V Ú

>Ä 8ÉÊ4É !Ä©ÊØÆZÃ

C

=JÖAO¸Ñ

B L G>B

VMÎs?9L

FsB O¸VMÎ

B

Ñ¸Ñ¸O

G>B

VMÎDLJVXWðL

I

Î§=JVX=JRT=

I

?9?Ø=JÐÒÎ`Ó{L

F§B RT=©W

I ÑB

?9ÎsÌXLÎ

Í

L V²R«=N

B

Î§Ì

B

RT?

B

Ñ¸N

B

?{Ð

F

=>R =JV

B"!

î¬íJétûÎ§=%L VA=JÎ§Ì

BHFHK©Í

L

FsF

×PO¸V

G

ÓO¬Î§ÌºÎ§Ì

B R ÎsÌ B OF

ÓÌA=JÑ

B

?`ÎtLÎ

B ? Ú$#

SAÑ¸L

Í2B Oh?L

Í

=JVMÎ

B&%

Î K

ÓO¬Î§ÌXO¬V LJV L

G>B VMÎ?Ø×©?ØÎ

B R K('

ÓÌ

BHF§B

L V L

G>B VMÎ

Í

LJV

B%©BHÍI Î B

Û}ß*)rÝ

Ú

+

¤¦¥ mow.!_Hi`¾ ¥ l

w.°©cscteb>ct|,c

¯

_H\©cb{m^ ¥ moe^¥ c\>i`_,xctn§^ ¤ - ¹.0/2ª102*3&.³_g>^¥ c!v \

l

eMmow¥"4 d465¤ a

7 - e l

qrcte^.wx>wx^`csj mow

l \

¯}l

^~g¸_Hi`j ^¥ l

^Xn

l

en§i`c

l

^`crytm}e^`csi`\Ji`cs^ytc§À>csnt¨>^`cry§^~i

l

e>wxghcsi

l

ePbbJmow~\©_rw~c

qHcte^`wta

(2)

8 9;: i`n m^`ctn§^`¨>i`c{g¸_Hi^ cv _Hg¬^f

l

i`c®³cs^~i`moct|

lH¯

v Jwx^`ctj

ïP=JR

B

= Ð Î§Ì

B

LJWAN,LJVMÎsL

G>B

?³= Ð Î§Ì

B I

? B

= Ð RT=>ÖAO¬Ñ

B L G>B

VMÎs?

KPF§B Ñ¸L Î

B

W7Î§=%L

ÍHÍ2B

?§?§O¬V

GFsB RT= Î

B

O¬V©Ðã=

F

R%L Î§O¸=JV

K L F§B

Î§Ì

B

Ðã=JÑ¸Ñ¬=ÓO¸V

G?>

@

Ë]Ì

B × B V Í L SX?

I

ÑhLÎ

B4Í

=JRTR

I

VAO

Í

LÎsO¬=>V+S

F

= Îs=

Í

=JÑh?

Ú

@

Ë]Ì

B

×ºW©=TVA= ÎV

BB Wº?§×MV

Í Ì F

=>VA=

I ? FsB

RT=JÎ

B Í

=>R«R

I

VAO

Í

L Î§O¸=JVX?³Î§=%Ó{=

F Ï Ú

@

Ë]Ì

B × Í L VL

Í Î I

Îs=JVA=>RT=

I

?8Ó{L,×4L VXW

Í L FsF

×ÏPVA=ÓÑ

B W G>B

Î§=9S

BHF Ðã=

F

RÑ¸=

Í

L Ñ>O¬V©Õ

Î

BHF L Í

Î§O¸=JVU?!L ÎÎ§Ì

B ? BF

N

BHF

?§×©?`Î

B

R¿O¸VX?ØÎ

B

LJW= ÐS

BHF Ðã=

F

RTO¸V

G

?§=JR

B]FsB RT= Î

B S F = Í2B

W

IAFsB

Í

LJÑ¬Ñh?

Ú

@

Ë]Ì

B × Í

LJV R%L Ï

BEI

?B

=JÐ

F§B R«=JÎ

B

ÐL

Í

O¸Ñ¬O¬Î§O

B

?õL VXWèS

BF Ðã=

F R ?§S

BrÍ O¬÷

Í L Í Î§O¸NPO}ÎsO

B

?+L Î

W©O¬ô

BHF§B V>ÎÑ¸=

Í

L Î§O¸=JVX?

Ú

Ë]Ì

B

RTLJO¬V

Í

=JRTSU=>V

B

VMÎt?DÎ§ÌXL Î L

F§B O¸VPNJ=JÑ¸N

B

WðO¸V·Î§Ì

B ï ñ ï K

ÓO}ÎsÌ

B

RTSAÌXL>?ØOh?4=JV·Î§Ì

B

L

GJB VMÎs? W

B

÷XV

B

WæLJVXW ÌA=ÓóÎ§Ì

B

×²O¸VMÎ

BF L Í Î K L

F§B

?§ÌA=ÓV O¸V ä!O

GJIAFsB

ß

Ú8Ô V Î§Ì

B

Ðã=>Ñ¬Ñ¸=ÓO¸V

G

Ó B Ö F O

BA

×·W

B ? ÍF

O¸Ö

B

ÌA=ÓÎ§Ì

B ? B L G>B

VMÎs?O¬VMÎ

BF L Í

ÎÓÌ

B

VæÎsÌ

B+I

?

BHF

Ó]L VMÎs?Î§=

FsB Î F OB N B

?Ø=JÐÒÎ`Ó{L

F§BB>

ß

ÚDC îEtê§ûtü

K

LJV L

GJB VMÎ«?§S

BrÍ OhL Ñ¸O;F

B W O¸V I ?

BF O¬VMÎ

BHF L Í

ÎsO¬=>V

K

LJÑ¬Ñ¸=Ó? ÎsÌ

B+I

?

BF Î§=

B%

S

FsB

?s?

Ì

BFG ÌXO¸?]O¸V©Ðã=

F

R%LÎsO¬=>VõV

BHB WA?

Ú©Ô

Î

FsB

?§O¸W

B

?]O¬VºÎsÌ

B

ý²þIHìÒî¬û

ø ù ìJLKfý

ø?M SAÑhL

Í2B>Ú

á

Ú#

Ñ¬Ð

F§B W Í

=>RTR

I

VAO

Í

L Î

B

?ÓO}ÎsÌTÎ§Ì

BON

þPEQRZí ê§û9ý²í

ù í ÿ ûê í

ÿ û ù K>F§B

?ØOhW©O¸V

G

O¬V7Î§Ì

B

ï©= ÐÒÎØÕ

Ó{L

F§B SAÑhL

ÍBJK ÓÌAO

Í

Ìº=JÖ©ÎtL O¸VX?L

Í

LÎtL Ñ¸=

G

ÓO}ÎsÌºÎ§Ì

B

L,NL O¸ÑhL ÖAÑ

B

?Ø=JÐÒÎ`Ó{L

F§B>Ú

Ü Ú Ë]Ì

B

ïP= ÐÒÎ`Ó]L

FsBC LJVXL

G>BF³ÍF§B LÎ

B

?ZLTSêsþURV û2êí

ÿ û ù K L?ØS

BHÍ

O¸LJÑ¬Oh?ØÎ{O¸V7Ì

B

Ñ¬SAO¸V

G«I

?

BF

?

Î§=º?

B Ñ BrÍ

ÎD?§= ÐÒÎ`Ó]L

FsBJÚ Ë]ÌAOh?9L

GJB VMÎRT=N

B

?Îs=7ÎsÌ

BC

óSAÑhL

ÍBÍ

L

F§F

×PO¬V

G L Í

L ÎsLJÑ¬=

G

= Ð

?Ø=JÐÒÎ`Ó{L

F§B Ù?

BB Û¬ßrá,ÝÐã=

F

RT=

FsB W B

ÎtL O¸Ñ¸?tâ

Ú

Ú Ë]Ì

BW{F

=Ó?

BF O¸V>Î

BF L Í

Îs?TÓO¬Î§Ì

#

Ñ¬Ð

FsB WçO¬Vè=

F W BHF

Î§= ? B Ñ

BHÍ ÎTÎsÌ

B

Ó{LJVMÎ

B W SAO

BHÍB

= Ð

?Ø=JÐÒÎ`Ó{L

F§B>Ú Ë]Ì

BDI

?

BHF]Í L V

F§B0XMIAB

?ØÎ]L

FsB

÷XV

B R B VMÎ= ÐÎsÌ

B Í LÎtL Ñ¸=

G=Y O¸VõÎ§ÌXL Î

Í

LJ?

BJK Î§Ì

B

W{F

=Ó?

BF ÓO¸Ñ¸ÑXÎ

F

L,N

B

ÑAÖXL

Í

ÏÎs=ÎsÌ

B[Z íU~û&RZíU\

N ë

!I!

þê]^þHü>ûTÙpà ïDâ=

FHK W B S B

VUW©O¬V

G

=JV*Î§Ì

B%Í

=JV

ÍF§B

Î

B«F§B

÷XV

B R B V>Î

K

O}Î ÓO¸Ñ¬Ñ

FsB_XMIAB

?`ÎDÎ§Ì

B

O¸V©Ðã=

F

R%LÎsO¬=>VðÎs=+ÎsÌ

B

ïP= ÐÒÎ`Ó]L

FsB

C

L VUL

GJBHFHÚ Ë]ÌAOh?%S

F = Í2B

?§?TOh?

FsB S B

LÎ

B W I VMÎ§O¸ÑÎsÌ

BEI

?

BF

? B Ñ

BHÍ Ît?TÎ§Ì

B

VXL R

B

= ÐDÎ§Ì

B

?Ø=JÐÒÎ`Ó{L Î§ÌULÎ? Ì Ó]L VMÎs?{Îs=«O¸VX?ØÎsLJÑ¬Ñ=>VõÌ ÌAOh? =>R«S Î

(3)

User

Service Software Retrieval

8`9a: £&bX£ z{w~c 4 l w~cb>m

l

qi

l j

) Ú Ë]Ì

B V K Î§Ì

BDW{F

=Ó?

BFÍ2FsB L Î

B

?L

N

í î¬û] ]c%í

ù í ÿ û ù

X=>V«Î§Ì

B

à ï$

K

ÓÌXO

Í

Ì%Oh?=JV

Í

ÌUL

FsGJB

= ÐS

BF Ðã=

F

RTO¬V

G

L Ñ¸ÑÎ§Ì

B

ÎsL>?ØÏ©?S

F§B NPO¬=

I

?4Î§=*O¬VU?`ÎtL Ñ¸Ñ¬O¸V

G

ÎsÌ

B

?§= ÐÒÎ`Ó]L

FsB

=JVæÎsÌ

B+I

?

BHF

VA=©W

BJK OÚBJÚ¸KAB

ÕÍ

=>RTR

BHFsÍBJK

W©=ÓVAÑ¸=>L>W©O¸V

G

=JÐ ÎsÌ

B

?§= ÐÒÎ`Ó]L

FsBJKMB

Î

ÍJÚ

ä O¸VXLJÑ¬Ñ¸×

K

ÎsÌ

B

R%L O¸V+Ð

B

LÎ

IAF§B

?]= Ð!Î§Ì

B ï ñ ïºL

FsB S.=JO¸VMÎ

B

Wº=

I Î >

@

#I Îs=JR%LÎsO

Í7GJB

V

BF

LÎ§O¸=JVèÙãÓO¬Î§ÌX=

I Î I ? BHF

O¬VMÎ

BF N B

VMÎsO¬=>VUâD= ÐL

Í

L ÎsL Ñ¸=

G

=JÐ]L,NL O¸ÑhL ÖAÑ

B

?Ø=JÐÒÎ`Ó{L

F§B Û¬ßrárÝ

Ú

@

Ë]Ì

B

Ñ¬=

Í

L Î§O¸=JVºL VXW7L

ÍÍB

?s?ZR

B

ÎsÌA=©W7Îs=

FsB Î F OB N

BFsB RT= Î

B

?§= ÐÒÎ`Ó]L

FsB

L

FsB Î F

LJVX?§SXL

FsB VMÎ

Î§=

I ? BF

? Ú

@

Ë]Ì

B

?§×©?`Î

B

RåR%L O¸VMÎsL O¸VX?

I

SæÎ§=·WALÎ

B

ÎsÌ

B

O¸V©Ðã=

F

R%LÎsO¬=>V

F§B Ñ¸L Î

B

W·Îs=ðÎsÌ

B

L,NL O¸ÑhL ÖAÑ

B

?Ø=JÐÒÎ`Ó{L

F§B>Ú

@

Ë]Ì

B

?Ø×©?ØÎ

B R Oh?9LJÖAÑ

B

Î§=õÌ

B

Ñ¸SðÎsÌ

B«I

?

BHF

?Î§=+÷XVXW²?§= ÐÒÎ`Ó]L

FsBB N B

V²O}ÐÎsÌ

B

×ðL

F§B O¸V

B&%

Õ

S

BHF OB V

Í2B W I ?

BF

? Ú

d e ÆÇDfPf§ÊØÃhg Ä$ihj{Æ`ksÄmln¦Å$poqÄPÅUÊrtsVufTvh>Ä

ÔV Î§Ì

B

GXK

Ó B L

F§B%G

=JO¸V

G

Î§=²R«=©W

B

ÑÎsÌ

B ï ñ ï LJ?LES

F§B NMO¸=

I

??`Î

B S Îs=ð=JÖ©ÎtL O¸V

S

BHF Ðã=

F

R%L V

Í2B

÷

GJIAFsB

? Ú ä!O

F

?ØÎ

K

O¬ÎÓO¬Ñ¸ÑÖ

B

RT=©W

B

Ñ¬Ñ

B W I

?§O¬V

G CK

Ö I ÎLJ?]Ó

B4B%

SAÑhL O¸VõO¸V

?

BrÍ

Î§O¸=JVn)7O¬Î O¸?DVA=JÎDS.=>?s?§O¬ÖAÑ

B

Î§=º=JÖ©ÎtL O¸V²S

BF Ðã=

F

RTLJV

Í2B

÷

G>IAF§B

?Ð

F

=JRw

C

W©OhL

GJF L R%?

Ú

Ë]Ì

BFsB Ðã=

F§B>K

O¬V ÎsÌAOh??

BHÍ ÎsO¬=>V

K Ó B

ÓO¸Ñ¬Ñ³R«=©W

B

ÑÎ§Ì

B

?§×P?ØÎ

B R I

?§O¸V

G

9?

K

ÓÌAO

Í

ÌæÓO¸Ñ¸ÑZÖ

B

=JÖ©ÎtL O¸V

B

WèÐ

F

=JR;ÎsÌ

B

C

WAO¸L

GJF L R%?

Ú

9?+ÓO¸Ñ¬Ñ4L Ñ¸Ñ¸=Ó

I

?7Îs= =>Ö©ÎsLJO¬V S

BF Ðã=

F

R%L V

ÍB

÷

GJIAFsB

?{Ðã=

F

Î§Ì

B

?§×©?`Î

B R Ú

xzy{ |~}6_6|~

Ë]Ì

B ÷ F

?ØÎ¦?ØÎ

B

SO¸VÎsÌ

B S BHF

Ðã=

F

R%L V

Í2B

?ØÎ

I

W©× = ÐAÎsÌ

B ï ñ ï Í

=JVPN

B

×©?O¸VÎsÌ

B W B N B Ñ¸=JSAR

B

VMÎ!= Ð

Î§Ì

B C

ÛÝXWAO¸L

GJF

L R%? Î§ÌXL Î¦RT=©W

B

ÑPÎ§Ì

B

?§×P?ØÎ

B R Úm#

ë 2û9étí* û9ü ìí

ÿ

ê§íUc

K

LO ûQ2ëXû

ù

étûü ìJ

í ÿ

ê§íUc/L VXWT?

B N BF

L Ñ ]xímxûtéQAí ê]ü ìí

ÿ

ê§íUc

K

=>V

B

Ðã=

FB L Í

ÌTL

G>B VMÎS

FsB

? B VMÎO¬VTÎsÌ

B

?Ø×©?ØÎ

B R K

ÓO¬Ñ¸ÑÖ

B

R«=©W

B

Ñ¬Ñ

B W Y L Ñ¸ÑÎ§Ì

B R FsB

S

FsB

? B VMÎ]Î§Ì

B

W©×PVXL RTO

Í

NPO

B

Ó= Ð!Î§Ì

B

?§×©?`Î

B R Ú

ÔV = F W BF

Î§=

B%

S

FsB

?s? Î§Ì

B

?§×P?ØÎ

B

RåÑ¬=MLJW

K

Î§Ì

B

W©OhL

GJF

L R%? ÌUL,N

B Ö BB

V B V F OÍ Ì B W·Ðã=>Ñ}Õ

Ñ¬=ÓO¸V

G

ÎsÌ

B

VX= ÎsL Î§O¸=JV S

F§B

? B V>Î

B W O¸VÛ¬ß&

K

ßHÜÝ

Ú¦Ô ÎTR

I

?ØÎÖ

B

VX= Î

B W Î§ÌULÎ«Ðã=

F

ÎsÌAOh?

Í

LJ?

B

?`Î

I

W©×%L Ñ¸ÑAÎsÌ

B

?§×©?`Î

B

R/Ñ¬=MLJW

Í

L V%Ö

BFsB

S

FsB

? B VMÎ

B

WTO¬VTÎsÌ

B

W©×PVXL RTO

Í

NPO

B

Óç=JÐÎ§Ì

B

?Ø×©?ØÎ

B R K

L,NJ=JOhW©O¸V

G

ÎsÌ

B V

BHÍB

?s?ØO¬Î`×·Î§= W B N B

Ñ¸=JS L*?`ÎtLÎ§O

Í

NMO

B Ó K ÓÌAO

Í Ì Í = I ÑhW Ö B

L SAS

F

=JS

F

OhLÎ

B

Ñ¸×

F§B

S

F§B

? B VMÎ

B W I

?§O¬V

G L Í

Ñ¸L>?§?W©OhL

G>F LJR

Ú

ä O

GJIXF§B

áT?§ÌA=Ó?{Î§Ì

B

=JVAÑ¸×

I ? BÍ

L>?

B V BB

W B WõÎ§=7W

B ? ÍF

O¸Ö

B

Î§Ì

B

WA×MVUL RTO

Í Ö B ÌUL,NMO¸=

IXF

= Ð.Î§Ì

B

?§×©?`Î

B R Úm·BÍ

LJV«?

BB O¸VTO}ÎÎsÌ

BI VAO

XMIAB L Í

Î§=

F

ÓÌAO

Í

ÌTO¸VMÎ

BF L Í

Îs?¦ÓO¬Î§ÌTÎsÌ

B

?Ø×©?ØÎ

B R K

Î§Ì ? Ë]Ì ? LJ? O¸?W ? O¸Ö WºO¬VºÎsÌ Ðã=JÑ¸Ñ¬=ÓO¸V

(4)

show_catalog_GUI(c1)

BrowserAgent select_sw_service(info)

{prob}

{0.1}

[not satisfied]

select_sw(name)

c i+1

[info_need] more_information(refinement2, ci) [satisfied]

refine_catalog(refinement_plus) 1..n

{1K..100K}

{1K}

{0.9}

{100K}

{1K}

{1K..100K}

{1K}

select_sw(name) {1K}

delete_browser Salesman create_salesman(info_sale) ^{1K}

get_catalog(info_plus) SwManager Alfred

electronic_commerce request(info_sale) create_catalog(info_plus)

info_sale_plus refine_catalog(refinement) {1K}

observe_GUI_catalog(c1)

create_browser(c1) c1:Catalog {100K}

{1K}

8`9a: £X£ vJc]¨McseMntcbJm

l

qHi

l

jgh_i³^ ¥ cvJ_g¸^f

l

i`c®Zcs^~i`moct|

l¯

vJwx^`ctj

}U [¡_*¡¢$$ z£ __¤¥_§¦$0¨_©I*ª60} y

@ F

O¬V

Í

O¸SXL Ñ

B N B VMÎ

A

=Ó

>

ÎsÌ

BI

?

BFFsB_XMIAB

?`Ît?

#

Ñ¬Ð

F§B WÐã=

F

Î§Ì

B W B

?§O

FsB

WT?§= ÐÒÎ`Ó]L

FsBJÚU#

Ñ¬Ð

F§B

W

? B VXWA?Î§Ì

B«FsB_XMIAB

?ØÎÎs=7Î§Ì

BW{F

=Ó?

BHFHK

ÓÌX=+=JÖAÎsL O¸VX?DL

Í

L ÎsLJÑ¬=

G

ÓO}ÎsÌðÎsÌ

B

L,NL O¸ÑhL ÖAÑ

B

?Ø=JÐÒÎ`Ó{L

F§B>Ú Ë]Ì

B«W{F

=Ó?

BF³G O¸N

B

?ÎsÌ

BDÍ LÎtL Ñ¸=

G

Îs=

#

Ñ}Ð

FsB W K

ÓÌA=T?§ÌA=Ó?O¬Î]Î§=ÎsÌ

B4I

?

BFrÚ

Ô

Ð9ÎsÌ

BI

?

BF

Oh?%?§L Î§Oh?`÷

B W ÓO¬Î§ÌçÎ§Ì BðÍ

LÎtL Ñ¸=

G

Î§Ì

B

Vè?

G Ì B ?B Ñ BHÍ

Îs?«Î§Ì

B

?§= ÐÒÎ`Ó]L

FsBJK O¸V

= ÎsÌ

BFÍ LJ?

B ? G Ì B Í

LJVL>?ØÏ+Ðã=

F L FsB

÷UV

B R B VMÎ

Ú

Ë]ÌAOh?S

F = ÍB

?s?

Í = I ÑhWõÖ

BFsB S B

L Î

B

WL>?

R%L VP×%Î§O¸R

B

?L>?]V

BHÍB

?s?§L

F× I V>ÎsO¬ÑÎ§Ì

B I

?

BF

? B Ñ

BHÍ Îs?L

Í

=>V

Í2FsB Î B

SAO

BrÍ2B

= Ð?§= ÐÒÎ`Ó]L

FsBJÚ

Ë]Ì

B

ûQëXû

ù

ésû+üìí

ÿ

ê§ímcòÐã=

F

ÎsÌ

B ï ñ ï K

ÎsÌXLÎW

B ? ÍF

O¸Ö

B

?O¸V W B

ÎtL O¸Ñ ÎsÌ

BTI

?

BTÍ LJ?

BJK O¸?

?ØÌA=ÓVçO¸Vçä!O

GJIAFsB Ü Ú

Ë]Ì

B

W©OhL

G>F LJR

F§B

S

F§B

? B VMÎs?Î§Ì

B R B

?s?sL

GJB

?T?

B

V>Î7LJR«=>V

G L

GJB VMÎs?

K

Î§Ì

B OF

Ñ¸=>L>W+LJVXWõÎ§Ì

B S F

=JÖUL ÖAO¸Ñ¬O¬Î`×7LJ?s?§=

Í

O¸L Î

B

W7Îs=ÎsÌ

B GJI L F

WA?

Ú¬

#

? O¬ÎÌXL>?4Ö

BHB V Î§=>Ñ¸W

K

L ]xímxûtéQAíê]4ÌXL>? Ö

BB V W B N B

Ñ¬=>S

B

W*Ðã=

F B L Í

ÌæL

GJB VMÎ4O¸V Î§Ì

B

?Ø×©?ØÎ

B R Ú Ë]Ì

B × FsB

S

FsB

? B VMÎ]Î§Ì

B

Ñ¬O¬Ð

B

= Ð!Î§Ì

B L GJB

V>Ît?]LJ?Ó

B

Ñ¸ÑLJ?{ÎsÌ

B

Ñ¬=MLJWõ= Ð!Î§Ì

B O FB

N B VMÎs?

K

Î§Ì

B

Î§O¸R

B

?§S

B

VMÎ{ÖP×TÎ§Ì

B OF L Í Î§O¸NPO}ÎsO

B

?]L VXWTÎsÌ

B S F

=>ÖXL ÖXO¬Ñ¸O}ÎsO

B

?³L>?§?§=

Í

OhLÎ

B

WTÎs=Î§Ì

B9G>I L F

WA?

Ú

Ô

V+ÎsÌ

B

G

LTW

B

ÎtL O¸Ñ

B

WW

B ? Í2F

O¬SAÎ§O¸=JVº= Ð8ÎsÌ

B

?ØÎsLÎ

BHÍ ÌXL

F

Ît?{O¸?

G

O¬N

B V >

®

dp^j9¨Mwx^¦°©c{\©_rmoe^`cb_H¨>^^ ¥ l

^^ ¥ csw~c]|

l¯

¨Mctw ¥ l

|rc{°©ctcte_r°J^

l

moeMcbg¸i`_Hj _r¨>i¾ e>_2

¯

cbJqrc]_g

(5)

{0.9}

show_catalog_GUI(ci)

[not ^user.satisfied]refine_catalog(refinement)

^browser.refine_catalog(refinement_plus) {0.1}

{1K}

{100K}

{1K}

^browser.select_sw(name)

^user.observe_GUI_catalog(ci)

Do:add_info3 Do:add_info2

Do:add_info1

Do:create_GUI(c)

[^user.satisfied]select_sw(name)

<<more_services>>

WAIT

select_sw_service(info) ^SwManager.get_catalog(info_plus)

{1K}

{1sec.}

{1K}

{100K}

{1K}

{1sec.}

¾

l*¿

wait_Alfred P36

P4 P3

P5

P6

P7 P8

P9

show_GUI_catalog

add_info3 add_info1

user.observe_GUI_catalog Sw_Manager.getcatalog

add_info2 create_GUI

browser.select_sw_browser

browser.refine_catalog refine_catalog select_software

select_sw_service

¾° ¿

8`9a:

£]ÀU£ ¾

l0¿

v ^

l

^`csn

¥ l

i~^gh_i - ¯

g¸i`cbAy

¾° ¿

vmÁæ» gh_i

- ¯

g¬i`cb

Â U _0©0Ã*

#

Ñ¬Ð

F§B

W%Oh?{LJÑ¬Ó]L,×©?S

FsB

?B VMÎ³O¸V%ÎsÌ

B

?§×©?`Î

B R K VA=

ÍF§B LÎ§O¸=JV

B N B V>Î{O¸?

F§B ÑB

N,LJVMÎÐã=

F = IAF

S

IAF S.=>?

B ? Ú Ô

Îs?ZÖ

B

ÌXL,NPO¬=

IAF Oh?¦Î`×PSAO

Í

L Ñ©Ðã=

F

L ?

BF

N

BHF

=JÖÄ

BrÍ

Î

ÚJÔ

ÎZÓ{LJO}Ît?Ðã=

F

L V

B N B VMÎ

F§B0X>IXB

?ØÎ§O¸V

G

Lõ?

BHF NPO

Í2B

ÙÅPÆmÇÆ0È]É ÅPÊ ÅPÆIË;ÌIÍÈÆ

K

Å&Î0Ï*Ê È_Ð0ÉPÐ¡ÇÏIÑ ÒvÓvÔ

K

Ë½ÆÕtÖ*Æ È&Ð0ÉPÐ¡ÇÏBÑ

= F

Å·ÆmÇÆ0È]É ÅrÊâ

Ú

äA=

FB L Í Ì

F§B0X>IXB

?ØÎZO}Î{S

BHF Ðã=

F

R%?Î§Ì

B V BHÍB

?s?§L

F

×L

Í

ÎsO¬NPO¬Î§O

B

?ZLJVXW%O¬Î

FsB

Î

IAF VU?

Î§=«O}Ît?³Ó]L O¬Î?`ÎtLÎ

B

Î§=T?

BF N B

LJVA= ÎsÌ

BF{F§B0XMIAB

?ØÎ

Ú

ä!O

G>IAFsB

UÙpL>â³?ØÌX=Ó?

#

Ñ}Ð

FsB Wt×?]?`ÎtLÎ

BHÍ ÌXL

FÎ Ú

Ë]Ì

B

?ØÎ

BFsB

=JÎ`×PS

B

WºÎ

F

L VX?§O}ÎsO¬=>V§ØÚÙÛ*ÜUÝ Þ0Ý_Ü*ß¡àáÝUÞãâ R B

LJVX?ÎsÌXLÎ

#

Ñ}Ð

FsB

WðRTL,×LÎ§Î

B

VXW

= Î§Ì

BF

?

BF NMO

Í2B

?³Î§ÌXL ÎL

FsB

VX= Î= Ð¦O¬VMÎ

BFsB

?ØÎ]Ì

BFsBJÚ

ä0¡

0_©*Ã*

Ô

Væä!O

G>IAF§B )AÙpL>â

K

Î§Ì

B Ö B ÌXL,NPO¸=

IAF

=JÐ{L

I ? BF

Oh?

F§B

S

F§B

?B VMÎ

B W Ú Ë]Ì

B

I ? BHF

O¸?]O¸VºÎ§Ì

B

Ê ÐIÍÉ³?ØÎsL Î

B4I VMÎ§O¸Ñ8?

G Ì B L Í Î§O¸N,L Î

B

?LOÅ·ÆmÇÆ_ÈÉ ÅrÊ Å·ÆmËaÌmÍÈ&Æ

B N B VMÎ

Ú

Ë]ÌAOh?

B N B VMÎ

?B Îs?¦ÎsÌ

BI

?

BF O¸VTÎ§Ì

B

Ê ÐIÍÉÍµÖ0Ñ åæÏË È&Ð0ÉPÐ¡ÇÏBÑ?`ÎtLÎ

BJÚ Ë]Ì

B

Ï$ç*ÅPÆmËaÌ*Æ ÒvÓ Ô È&Ð0ÉPÐ¡ÇÏBÑ

B N B VMÎ

K

Î§ÌXL Î

= Ñ¸WõÖ ? VMÎÖP× Ñ¬Ð W LJÑ¬Ñ¸=Ó?ÎsÌ ? Î§= LJRTO¬V ÎsÌ LÎtL Ñ¸= O¬Vº= W Îs=TÑ¬=P=JÏ

(6)

[not satisfied]^Alfred.refine_catalog(refinement)

^Alfred.select_sw(name) {1K}

WAIT

{1K}

Do:observe

observe_GUI_catalog(c1) {100K}

{0.9}

^Alfred.select_sw_service(info)

catalog Waiting for {1K}

¾

l*¿

P15 R P7

R wait_for_service

m1 R

wait_UserforCatalog R

P4 R

P6 R

observe_GUI_catalog alfred.select_sw_service

alfred_refine_catalog

alfred.select_sw

electronic_commerce end_ec

begin_ec

<x> <x>

<x>

<x> <x>

<x>

R:c request:c

S:m m1:m

¾° ¿

8`9a: £&èA£

¾

l0¿

v ^

l

^`ctn ¥ l

i~^gh_i^ ¥ c¨Mw~c§iy

¾° ¿

vmÁæ» gh_i³^ ¥ c]¨Mw~csi

Ðã=

F

Î§Ì

B W B

?§O

F§B

W7?Ø=JÐÒÎ`Ó{L

F§B>Ú Ô

Ð8O¬Î{Oh?³O¬V+Î§Ì

B4Í L ÎsL Ñ¸=

GUK ÎsÌ

BI

?

BF

? B VXWA?ZÎ§Ì

B

Å·ÆmÇÆ_ÈÉ ÅrÊ

B N B VMÎ

Î§=

#

Ñ¬Ð

FsB W K

O¸V= Î§Ì

BFÍ L>?

B ? G Ì B ? B VXWX?{Î§Ì

B

Ë½ÆÕtÖ*Æ È_Ð0ÉPÐ¡ÇÏIÑ

B N B VMÎ

Ú

}Uq|j$6?=¡ 0_©*Ã6$0

O¸Ï

Bé#

Ñ}Ð

FsB W K

Î§Ì

B

ïP= ÐÒÎ`Ó]L

FsB%C L VXL

GJBHF Ö B

ÌXL,N

B ?

LJ?LD?

BHF

N

BF

=JÖÄ

BrÍ

Î

ÚÔ

Î¦Oh?¦Ó]L O¬Î§O¸V

G

Ðã=

F L F§B0X>IXB

?ØÎ

B N B

V>ÎÙê"ÏËaÆ ÍµÖ_åæÏËê"Ð0ÉÍÏ$Ö

K

ÑIÆ&É È_Ð0ÉPÐ¡ÇÏIÑ

K

ËaÆ0ë$ì*Æ&ÅPÉ§â

Út

Ì B V·=>V

B

= Ð³Î§Ì

B R L

FsF O¬N

B ? K O¬Î S

BHF Ðã=

F

R%?DÎ§Ì

B V BHÍ2B

?§?sL

F

×ðL

Í

Î§O¸NPO}ÎsO

B

?DÎ§=EL

Í Õ

Í

=JRTSAÑ¸Oh?ØÌ·O}Î

Ú

ä!O

GJIAFsB

öXÙLMâD?ØÌA=Ó?4O¬Îs? ?ØÎsL Î

BrÍ ÌXL

F

ÎW©O¸L

GJF L R

ÚÔ ÎO¸?O¬VMÎ

BHF§B

?`ÎsO¬V

G

Îs=VA= Î

B

Î§Ì

B L Í Î§O¸=JVX?{S

BF Ðã=

F R B W%Îs=

F§B

?ØS.=JVXW7Î§Ì

B

ÑBÆÉ È&Ð0ÉPÐ¡ÇÏBÑ

FsB_XMIAB

?`Î

> ÷ F

?ØÎ

K

ÎsÌ

B Í LÎtL Ñ¸=

G

ÓO}ÎsÌ

Î§Ì

B

L,NL O¸ÑhL ÖAÑ

B

?§= ÐÒÎ`Ó]L

FsB O¸?

ÍF§B LÎ

B W K L ÐÒÎ

BF ÎsÌXLÎ

K

Î§Ì

B Ö F

=Ó?

BF Oh?

Í2FsB L Î

B W Ú

$_¤í? 0_©*Ã6$0 Ë]Ì

B

ï©LJÑ

B

?ØR%LJVz×? G

=>LJÑOh?Î§=

G

O¬N

B B ÕÍ

=>R«R

BHFsÍB

?

BHF NPO

Í2B

? K L>?

Ó

BÍ LJV?

BB O¸V«ä!O

GJIAFsBDî ÙLMâ

ÚU#

ÐÒÎ

BF O¬Îs?

ÍF§B

LÎsO¬=>VO¬ÎL>?ØÏ©? Î§Ì

B

ï©= ÐÒÎ`Ó]L

FsB{C LJVXL

G>BF Ðã=

F

?sL Ñ

B

O¬V©Ðã=

F

R%L Î§O¸=JV

Ú¡

O}ÎsÌ7ÎsÌAO¸?³O¸V©Ðã=

F

R%LÎ§O¸=JV7Î§Ì

B9B Õ Í

=JRTR

BFtÍ2B9Í L Võ?`ÎtL

F Î Ú

Ë]ÌXO¸?{Oh?³L

Í

=JRTSAÑ

B%

ÎsLJ?§Ï%ÎsÌXLÎR

I

?`ÎÖ

B W B ? ÍF

O¸Ö

B

WºÓO}ÎsÌºO¬Îs?=ÓV

I ? BÍ

L>?

B

LJVXW?

B0X>IXB

V

ÍB WAO¸L

GJF

L R ÓÌAO

Í Ì

O¸?=

I

Î= Ð!Î§Ì

B ? Í

=>S

B

=JÐ8Î§ÌXO¸?

Í

LJ?

B

?`Î

I

W©×

Ú

ï

U}ð_¡

_0¡©*Ã*

Ë]Ì

B

?ØÎsL Î

BHÍ ÌUL

F

ÎW©OhL

G>F

LJR O¸Vä!O

GJIAFsBíñ ÙpL>âºW

B ? ÍF

O¸Ö

B

?Î§Ì

B

W³F

=Ó?

BF

×?Ñ¬O¬Ð

BJÚÔ

Î%Oh?«L>?Ðã=JÑ¸Ñ¬=Ó?

>

=>V

Í2B Î§Ì

BW{F

=Ó?

BHF Oh?

Í2FsB L Î

B W O}Î%R

I

?`Î

G

=²Î§=·Î§Ì

B

C SXÑ¸L

Í2BJK ÓÌ

BHF§B

O}Î O¸VMN>=JÏ

B ? # Ñ}Ð

FsB

Wt×?LÅÎ*Ï*ÊvÅ È_Ð0ÉPÐ¡ÇÏIÑ ÒvÓvÔ.R

B

Î§ÌA=©WEÎs=õNPOh?

I

L Ñ¸O;F

B

Î§Ì

B

S

F§B NPO¬=

I

?ØÑ¸× =>Ö©ÎsLJO¬V

B W Í

LÎtL Ñ¸=

GUÚ`#

Î7Î§ÌAOh?+?ØÎsL Î

B

O¬Î

Í

LJV LÎØÎ

B

VXWçÎ`Ó{=æW©O¬ô

BHF§B V>Î

B N B VMÎs?

K

ËaÆ&ÕtÖ0Æ È_Ð0ÉPÐ¡ÇÏIÑE=

F

ÅPÆmÇÆ0È]É ÅrÊ

ÚÔ Ð{Î§Ì

B ÷ F

?ØÎ

B N B V>Î=

ÍHÍ2IAF

?9Î§Ì

BHF§B

L

F§B

Î`Ó{=WAO}ô

BFsB VMÎS.=>?ØÕ

?ØO¸ÖAO¸Ñ¬O¬Î§O

B ? > ÷ F

?`Î

K

O}ÐDÎ§Ì

BW³F

=Ó?

BF ÌXLJ?«ÎsÌ

B V BrÍ2B

?s?sL

F

×·ÏPVA=ÓÑ

B W GJB

Î§=æ?§=JÑ¸N

B

Î§Ì

B

ÎtLJ?§Ï

K

L

FsB

÷UV

B R B VMÎ7L

Í

Î§O¸=JV O¸?%W©O

FsBHÍ ÎsÑ¬× S

BHF Ðã=

FR B W Y ? BrÍ

=JVUW

K

O}Ð4O}Î

ÍIAF§FsB

VMÎsÑ¬×æÌXL>?TVA= ÎTÎsÌAO¸?

ÏMVX=ÓÑ W Î§Ì =Ó? R ?ØÎ=JÖ©ÎtL O¸VæO¬VAÐã= RTL Î§O¸=JV Ð =JR Î§Ì ïP= ÐÒÎ`Ó]L LJVXL

(7)

WAIT

request(info_sale)

Do:add_info4

^salesman.reply(info_sale_plus)

^browser.reply(catalog) {100K}

{0.5sec..50sec}

{1K}

{1sec}

get_catalog(info_plus) [info_need] more_information(refinement2,ci) {prob} {1K..100K}

Do:get_info

{1K}

Do: create_catalog

Do: create_browser

^browser.create_browser(ci) {1K}

^catalog.create_catalog(info_plus)

{1sec}

{1 min}

{1K}

¾

l*¿

wait

P3

P4

P5 P6

P7

P8

add_info4

request salesman.reply

get_catalog browser.reply

more_information_remote

browser.create_browser

create_catalog get_info

more_information_local

¾° ¿

8`9a: £&òX£

¾

l0¿

v ^

l

^`csn ¥ l

i~^gh_iZ^¥ cvJ_g¸^f

l

i`cµ

l e l qHcsiy

¾° ¿

vmÁæ» gh_i³^ ¥ cvJ_g¸^f

l

i`c9µ

l e l qHcsi

ÖM×ð?

B

VUW©O¬V

G

LêDÏËaÆ ÍµÖ_åæÏËê"Ð0ÉÍÏ$Ö

FsB_XMIAB

?ØÎ9=

F

ÖP×Î

F

L,N

B

Ñ¸Ñ¬O¸V

G

Îs=+ÎsÌ

B

?§= ÐÒÎ`Ó]L

FsB SAÑhL

ÍBJÚÔ

Ð

Î§Ì

B

Å·ÆmÇÆ_ÈÉ ÅrÊ

B N B VMÎ=

ÍÍ2IXF

? K Î§Ì

BhW{F

=Ó?

BHF R I

?ØÎ

Í2FsB LÎ

B

L ï©LJÑ

B

?ØR%LJVO¸VX?ØÎsL V

Í2B L VXWTW©O

BJÚ

xzyJó |~}6_6

_}z©*Ã$__©ô"B_Uõ¡0

Ë]Ì

B C

W©O¸L

GJF L R%?S

F§B NMO¸=

I

?ØÑ¸×*RT=©W

B

Ñ¬Ñ

B W L

FsB+B%

S

FsB

?s?§O¬N

B7B VA=

IAG

Ì Î§= L

ÍÍ

=JRTSAÑ¸O¸?§Ì

ÓO}ÎsÌºW©O¬ô

BFsB

VMÎO¬RTSAÑ

B R B

V>ÎtLÎsO¬=>VX?

Ú

äX=

FB%

LJR«SXÑ

B>K O¸VõÎ§Ì

B

?§×©?`Î

B R ?§S

BrÍ O¬÷

Í

L Î§O¸=JVºÓ

B

W©OhW

VA= Î?ØS

BHÍ

O}Ðã× ÌX=ÓæRTLJVP×DR%LmÄ`=

F

W©=JRT=>? ?ØÌX=

I

ÑhWLÎ§Î

B

VXW

FsB_XMIAB

?`Ît?

K

ÌA=ÓæR%L VP×

Í

=>V

Í2IAFsFsB VMÎ

I ? BHF

? Í L V

I ? B ÎsÌ

B

?§×P?ØÎ

B R KAB

Î

Í Ú ï B N

BHF LJÑ?§O¬Î

I

L Î§O¸=JVX?

Í

L VL

F

O¸?

BJK

?

IXÍ ÌLJ?

>

ß

ÚDö

V

B4I

?

BFFsB_XMIAB

?ØÎ?

BHF N B

WõÖP×7=JV

B

R%LUÄ`=

F

WA=JRT=ºÙVA=

Í

=>V

Í2IXF§FsB V Í

×Aâ

Ú

á Ú ï B N

BF L Ñ

I ?

BFFsB_XMIAB

?`Ît??

BHF N B

W7ÖP×õ=JV

B

R%LUÄ`=

F

W©=>RT=

Ú

Ü ï N L Ñ ? ?`Ît?? N W7ÖP×õRTLJVP×7R%LUÄ`= W©=>R«=M? =JV S ?ØÎ

(8)

create_salesman(info) {1K} {1K}

^SwManager.request(info_sale)

^User.end_electronic_commerce

^User.begin_electronic_commerce

Do: electronic_commerce Do: add_info_sale

{1sec}

¾

l*¿

P1 R m1

R P2

begin_add_info_sale R end_add_info_sale R

P5 R

P6 R

SwManager.request create_salesman user.electronic_commerce

add_info_sale

user.end_ec

user.begin_ec

<x>

R:c request:c

S:m m1:m

¾° ¿

8`9a: £_÷©£

¾

l0¿

v ^

l

^`csn ¥ l

i~^gh_i³^¥ cv

l¯

ctw~j

l

eXy

¾° ¿

vmÁæ» gh_i³^ ¥ cv

l¯

csw~j

l e

Ë]Ì

B ? B

ÏPO¸VXW7=JÐ

XMIAB

?ØÎ§O¸=JVX?

Í

LJV7Ö

B

?sLÎsO¸?ØÐL

Í

Î§=

F

O¸Ñ¬×T?Ø=>Ñ¬N

B W I

?ØO¸V

G

LÐã=

F

R%L Ñ.Ñ¸LJV

GJI

L

GJB>K

?

IXÍ

ÌLJ?v?

K

Î§=%RT=©W

B

ÑÎ§Ì

B

?§×©?`Î

B R Ú

Ë]Ì

BFsB Ðã=

F§B>K

=JV

Í2B L9?`ÎtLÎ

BHÍ ÌXL

F

Î8ÌULJ? Ö

BHB VRT=©W

B

Ñ¬Ñ

B W K L" 6Ù

Í

=>V

Í2FsB Î B

Ñ¸×4L9?`Îs=

Í

ÌXLJ?ØÎ§O

Í

Ó B Ñ¬ÑXÐã=

F R B W Í

=>Ñ¬=

IAFsB WT

B Î F OAV

B

ÎDÙfï

9â9Û),ÝãâOh?=JÖAÎsL O¸V

B

W«Ð

F

=>RO¬Î9Ù

Í

L Ñ¸Ñ

B

W²étþUc

! þ ù û ù

ù

û&§â

ÚAÔ Î9R

I

?ØÎÖ

B

VA= ÎsO

ÍB

WºÎ§ÌULÎÎ§Ì

B

?`ÎtLÎ

BHÍ ÌXL

F

ÎLJVXWºO}Ît?

Í

=>R«S.=JV

B

VMÎV

B

ÎS

F

=NPOhW

B

Î§Ì

B

?§LJR

B

O¬VAÐã=

F

RTL Î§O¸=JV

Ú

Ë]Ì

BFsB

L>?Ø=>VX?¦Îs=R%L O¸VMÎsL O¸V7Ö.= ÎsÌ7Ðã=

F

R%L Ñ¸O¸?§R%?ZL

F§BG O¬N

B

V%O¸V+?

BHÍ ÎsO¬=>V

) Ú

Ë]Ì

B«Í

=JRTS.=JV

B

V>Î V

B

WEÐã=>Ñ¬Ñ¸=ÓO¬V

G

ÎsÌ

B

pê§í

ù

æE2þê]c%íUfìþ

ù

êë©î¬û]

G

O¸N

B

V²O¸V

Û}ß_Ý

Ú

Ë]Ì

B

RT=>?ØÎ]O¸RTSU=

F

ÎtL VMÎ]ÐL

Í

Îs?L

F§B Î§Ì

B

G?>

@

YZL

Í

Ì+Îs=JÏ

B

VõO¸VõÎ§Ì

B

v

F§B

S

F§B

? B

VMÎs?]L Vº=JÖÄ

BrÍ Î Ú

@

YZL

Í

Ì7?`ÎtLÎ

B

= ÐÎ§Ì

B

ï©Ë

Þ

O¸?

F§B

S

FsB

? B VMÎ

B

WTÖM×TL SAÑhL

ÍBJK ÓO}ÎsÌ%Î§Ì

B

?§LJR

B

VXL R

B>K O¸V%Î§Ì

B

Ú

@

äA=

FB L Í

Ì·Î

F

L VX?§O}ÎsO¬=>V O¬V ÎsÌ

B

ï©Ë

Þ L

FsF O¸NPO¬V

G

L ÎLE?ØÎsLÎ

BJK Î§Ì

BHF§B ÓO¸Ñ¸ÑZÖ

B

L V O¸VAS

I Î

Î F

L VX?§O¬Î§O¸=JV O¸VÎ§Ì

B

Ðã=

F

Î§Ì

B

SAÑhL

Í2B ÓÌAO

Í Ì F§B

S

F§B

? B VMÎs?ÎsÌ

B

?ØÎsL Î

B>Ú Ë]Ì

B

VXL R

B

= Ð©Î§Ì

B

Î F

L VX?§O¬Î§O¸=JV+O¸VõÎ§Ì

B

ÓO¸Ñ¬ÑÖ

B

ÎsÌ

B

?§LJR

B

L>?ÎsÌ

B4B N B

VMÎ³ÎsÌXLÎÑhL Ö

B

Ñh?ZÎsÌ

B Î F L VX?§O¬Î§O¸=JV

O¬VºÎsÌ ï©Ë

(9)

Do:goto_Sw_place

[not info_need]

Do: refine

Do:goto_MU_Place

^alfred.show_catalog_GUI(ci+1)

^salesman.create_salesman(info_sale)

[not info_need or info_need_local]

refine_catalog(refinement_plus)

{100K}

{1K..100K}

{100K..200K}

{1K}

{100K}

Do:goto_MU_Place WAIT

[info_need_travel]

[info_need_local]

reply {prob}

{prob}

^SwManager.more_informa create_browser(c)

delete_browser

select_sw(name)

^alfred.show_catalog_GUI(ci)

[info_need_travel]

{1K..100K}

tion(refinement2, ci)

{1K}

{1sec}

{1K}

{100K} {100K}

¾

l*¿

P1 m1 R

P2

R P3 R

wait R

R P5

P6 R

P7 R

P8 R

P9 R

P10 R

R P11

P12 R

P13 R P15 R

P16 R P17 R

P18 R

P19 R P20

R SwManager.more_information_remot

reply_local reply_remote goto_MU_Place2

create_browser_agent

alfred.show_catalog_GUI

refine_catalog_browser

select_sw_browser salesman.create_salesman

goto_Sw_Place

refine goto_MU_Place

not_info_need_or_local

info_need_travel1

SwManager.more_information_local info_need_local

info_need_travel

not_info_need delete_browser

<x>

<x> <x>

<x>

<x> <x>

<x>

<x> <x>

<x>

<x> <x>

<x>

<x> <x>

<x>

<x> <x>

<x>

<x> <x>

<x>

R:c request:c S:m m1:m

¾° ¿

8`9a: £_øX£

¾

l0¿

v^

l

^`ctn¥ l

i~^gh_i³^ ¥ cù i`_w~csiy

¾° ¿

vmÁæ» gh_i³^ ¥ cù i`_w~csi

@

äA=

F{B L Í

Ì%Î

F

LJVX?§O}ÎsO¬=>V+O¸V7Î§Ì

B

ïAË

ÞB%

O}ÎsO¬V

G ÐF

=JR L?`ÎtLÎ

B>K Î§Ì

BHF§B ÓO¬Ñ¸ÑÖ

B

LJV7=

I

Î§S

I Î

Î F

L VX?§O¬Î§O¸=JV·O¬V·Î§Ì

B

Ð

F

=JR1ÎsÌ

B

SAÑhL

Í2B ÓÌXO

Í Ì F§B

S

FsB

?B VMÎs?DÎsÌ

B

?`ÎtLÎ

BJÚ Ë]Ì

B

VXLJR

B

= ÐÎsÌ

B Î F

L VX?§O}ÎsO¬=>V O¸V ÎsÌ

B

v ÓO¸Ñ¸Ñ{Ö

B

Î§Ì

B

?§LJR

B

L>?ÎsÌ

BõB N B

V>Î«Î§ÌULÎTÑ¸LJÖ

B

Ñ¸?Î§Ì

B

Î F

L VX?§O¬Î§O¸=JVºO¬VºÎ§Ì

B

ï©Ë

ÞÚ

@ à I L F

WA?{O¸V+ÎsÌ

B

ï©Ë

Þ L

FsB Î F

LJVX?ØÑhLÎ

B

W+O¬VMÎ§=TL«?

I

ÖXV

B

ÎO¸V

Í ÑI W©O¸V

G

O¬RTR

B

WAO¸L Î

B

ÙÒ÷

F

O¬V

G

O¬VF

BF

=ÎsO¬R

B

â³Î

F

L VX?§O}ÎsO¬=>VX?

Ú

Ë]Ì

BÍ

=>R«S.=JV

B

VMÎ8V

B

Îs?

Í = FsF§B

?ØS.=JVUW©O¬V

G

Îs=

#

Ñ¬Ð

F§B W K

ÎsÌ

BI

?

BFrK ÎsÌ

B

ïP=JÐÒÎ`Ó{L

F§BC LJVXL

G>BFrK

Î§Ì

B

ï©L Ñ

B

?§R%L V7L VUW«Î§Ì

BLW³F

=Ó?

BF

?ØÎsLÎ

BHÍ ÌXL

F

Ît?L

FsB

?§ÌA=ÓV%O¸V7ä O

GJIXF§B

?`UÙÖUâ

K

)AÙÖUâ

K

öXÙÖUâ

K

î

ÙãÖ.â]L VXW

ñ

ÙÖUâ

Ú

ä F

=JR¿ÎsÌ

BÍ

=JRTSU=>V

B

VMÎZV

B

Îs?

K

LJVXW

Í

=>VX?§O¸W

BHF O¸V

G

Î§Ì

B ? B_XMIAB

V

Í2B W©OhL

G>F LJR

K

L7ésþmc

!

î¬û&xû

(10)

B G>IAF§B«úAÚ B4Í B B BHB B Í F

VAO;FHO¬V

G

ÎsÌ

BÍ

=>RTSU=>V

B

VMÎV

B

Îs?L VUW+Ðã=>Ñ¬Ñ¸=ÓO¸V

G

ÎsÌ

B

fê§í

ù

JE2þ ê]cTímpìþ

ù

êë©î¸û]

G

O¸N

B

VõO¸VæÛ}ß_Ý

Ú

C = FsB

=N

BFrK O}ÎDR

I

?ØÎ9Ö

B

VA= ÎsO

ÍB WÎsÌXLÎ

K

Ðã=

FB

N

BF

×ºR

B

?§?sL

G>B O¸VEÎ§Ì

B ? B_XMIAB

V

Í2B W©OhL

G>F LJR

K

Î§Ì

BHF§B

L

F§B Î`Ó³=%Î

F

LJVX?§O}ÎsO¬=>VX?ÓO¬Î§ÌEÎsÌ

B

?sL R

B

VUL R

B

BFsB VMÎ

Í

=JRTS.=JV

B

V>ÎDV

B

Ît?

K

Î§Ì

B V B Î F§B

S

F§B

? B VMÎ§O¸V

G

ÎsÌ

B ? B VXW

BHF L VXW+Î§Ì

B V B Î FsB

S

FsB

? B VMÎ§O¸V

G

Î§Ì

B FsBHÍB O¸N

BHFHÚW LJ?§O

Í

L Ñ¸Ñ¬×

K

Î§Ì

B Î F LJVX?`Ðã=

F

R%L Î§O¸=JV

FsI ÑB

??ØÎsL Î

B

Î§ÌXL Î

>

@ Ô

ÐÎ§Ì

B R B

?s?sL

GJB

ÌULJ?VA=²Ó]L O¬Î«?

B

R%L VMÎsO

Í

?õÙÌXL Ñ¬ÐL

FsF

=ÓÌ

B

LJW·O¸V ÎsÌ

B ?

B_XMIAB

V

Í2B W©O}Õ

L

G>F LJR%â

K

Î§Ì

B V L V B&%

Î F L SXÑ¸L

Í2B

ÓO¸Ñ¬ÑDL SAS

B L F O¸VèÎ§Ì

B²Í

=JRTSAÑ

B Î B V B

Î+Î§=æRT=©W

B

ÑDL

Í

=>R«R

I

VAO

Í

L Î§O¸=JVºÖ

I ô BF

Ö B Î`Ó

BB V+ÎsÌ

B

Î`Ó³=

Í

=JRTSU=>V

B

VMÎV

B

Îs?

Ú

@ Ô

ÐÎ§Ì

B R B

?s?§L

GJB

ÌULJ?Ó]L O¬Î{?

B

R%LJV>ÎsO

Í

?ÙãÐ

I

Ñ¬ÑL

F§F

=ÓÌ

B

L>W«O¬V%ÎsÌ

B ? B0X>IXB

V

ÍB W©OhL

GJF L R7â

K

Î§Ì

B V =>VAÑ¬×æ=>V B Î F

LJVX?§O}ÎsO¬=>V L SAS

B L F

?O¬V Î§Ì

BÍ

=>RTSAÑ

B ÎB V B Î K Î§ÌXL Î

FsB

S

FsB

? B VMÎs?Î§Ì

B

ÐI

?§O¬=>Vº=JÐ8ÎsÌ

B Î F

L VX?§O¬Î§O¸=JVX?]O¸VºÎ§Ì

B

Î`Ó{=

Í

=JRTS.=JV

B

VMÎ]V

B

Îs?

Ú

û üÅ$ktÆÅ=ýÃ9É ÿþ ÃDVfrhMÊ·æÆ`k%Ä$iDjo

ö V Í2B

ÎsÌ

B

?§×©?`Î

B

RÌXLJ?Ö

BB V7RT=©W

B

Ñ¸Ñ

B W K ÎsÌ

B S BF

Ðã=

F

R%L V

ÍB

Í

L V%Ö

B

LJWXW

F§B

?§?

B W Ú

Ô

ÎO¸?L

ÍÍ

=>RTSAÑ¬Oh?§ÌõO¸VºÎ§ÌAOh??

BHÍ ÎsO¬=>V

Ú

Â

0¤ª_}=

Ô

ÎÓO¬Ñ¸Ñ!Ö

B

=JÐO¬VMÎ

BHF§B

?`ÎÎs=+?ØÎ

I

W©×õÎ§Ì

B

?§×P?ØÎ

B R ê§û

! þ ù ûfìJcTû

Ú

Ë]Ì

BHF§B

L

F§B

Î`Ó{=%S.=>?s?ØO¸ÖAÑ

B

ÖU=JÎØÎ§Ñ

B V BHÍ

Ï©?Î§ÌXL Î

Í

L VçW

BHÍF§B LJ?

B

Î§Ì

B

?§×©?`Î

B R S

BF Ðã=

F

RTLJV

Í2B>Ú ä!O

F

?ØÎ

K

ÎsÌ

B Î F

O¬SX?«=JÐÎ§Ì

B

W³F

=Ó?

BF ÐF

=>R1Î§Ì

B7C

/SAÑhL

Í2B Îs=ºÎ§Ì

B

ïP=JÐÒÎ`Ó{L

F§B SAÑhL

ÍB

ÙL VUW*Ó]L,×ðÖXL

Í

ÏAâO¸V = F W

BF Îs=

=JÖ©ÎtL O¸VV

B Ó Í LÎtL Ñ¸=

G ? Ú ï BHÍ

=>VXW

K

Î§Ì

B V I RÖ

BF

= Ð

I ?

BHF FsB_XMIAB

?`Ît?Ðã=

F¦Í L ÎsLJÑ¬=

GF§B

÷XV

B R B V>Ît?

Ú

ÔV = F W BHF

Î§= W B N B Ñ¸=JS Î§Ì

B S BF

Ðã=

F

RTLJV

Í2B Î B

?`Ît?«Î§Ì

B

G*FsB LJÑ¬Oh?ØÎ§O

Í ? Í2B

VXL

F

O¬=M?

ÌXL,N

B Ö BHB

V Í

=>VX?§O¸W

BHF§B W >

ß

Ú

Ì B

V§JXûDSê§þURV ûê

ù

ûsûtüU Dí

ù

û&Rèétímxí î¬þ

ÿ ÙI VUW

BF{F§B0XMIAB

?ØÎZ= Ð8Î§Ì

B9I

?

BHF âÎ§Ì

BHF§B

L

FsB

? B N

BHF

LJÑ.S.=>?s?§O¬ÖAO¸Ñ¸O}ÎsO

B ? >

@

Ë]Ì

BW{F

=Ó?

BF ÌXL>?

B

VA=

IAG ÌõO¬V©Ðã=

F

R%L Î§O¸=JV7Îs=%L

ÍÍ

=JRTSAÑ¸O¸?§ÌõÎ§Ì

B

ÎsL>?ØÏ+=

F

O}ÎV

BHB WA?

Î§=ðL>?ØÏÐã=

F V B ÓO¸V©Ðã=

F

R%LÎ§O¸=JV

Ú.Ô ÎOh? R

B

L>?

IXF§B WðÖP×EÎ§Ì

B

Ö0ÏIÉ ÍµÖ0åæÏ Ö*Æ&ÆºÎ

F

L VX?§O¬Õ

Î§O¸=JV

Ú=·B ÌXL,N

BÍ

=>VX?§O¸W

BHF§B WL V

O¬VMÎ

B

Ñ¬Ñ¸O

GJB VMÎ

W{F

=Ó?

BHF

ÓÌAO

Í

Ì²W©=

B

?VA= ÎDV

BB

W

O¸V©Ðã=

F

R%LÎ§O¸=JVõÎ§Ì

Bî

= Ð!Î§Ì

B

ÎsO¬R

B

?Î§ÌXL Î{ÎsÌ

B I

?

BF L>?ØÏ©?{Ðã=

F L FsB

÷XV

B R B VMÎ

Ú

@ Ì B V ÎsÌ

BW{F

=Ó?

BF

V

F

R%LÎsO¬=>V Îs=æS

BHF Ðã=

F R Î§Ì

B

ÎtLJ?§Ï

K

O¬Î7R%L,× Ö B

FsB_XMIAB

?ØÎ

B

W7ÖP×%L7ê§û&c%þU~û

!

ñ Q

âDÙ

FsB

S

FsB

? B VMÎ

B

WTO¸V+ÎsÌ

B V B Î?Ø×©?ØÕ

Î B R/ÖM×Î§Ì

B

ÍµÖ_åæÏ Ö0Æ_Æ ÇÏÈ_Ð¡ÇHÎ

F

LJVX?§O}ÎsO¬=>VUâ!=

F

O¬Î³R%L,×Î

F

L,N

B

ÑPÎsÌ

F = IAG

ÌTÎ§Ì

B V B ÎÎs=

Î§Ì

B

ïP=JÐÒÎ`Ó{L

F§B SXÑ¸L

Í2B

Ù

F§B

S

FsB

? B VMÎ

B

WTO¬V%ÎsÌ

B

R/ÖP×ÎsÌ

B

ÍµÖ_åæÏ Ö*Æ&Æ É]ËJÐ0Ì*ÆmÇ

Î F

L VU?ØO¬Î§O¸=JVUâ¦Î§=

G>B ÎÎsÌ

B

O¸V©Ðã=

F

R%LÎsO¬=>V7L VXW«ÎsÌ

B

V%Î

F

L,N

B

Ñ©ÖXL

Í

ÏÎs= Î§Ì

B9C

SXÑ¸L

Í2BJÚ

Ô

VÎsÌAOh?

Í

LJ?

BJK Ó B

ÌUL,N

BZÍ

=JVX?§O¸W

BFsB WDÎ`Ó{=9?

Í2B VUL

F

O¬=M?

Ú

ä!O

F

?ØÎ

K

Î§Ì

B Ü

= Ð©Î§Ì

B

ÎsO¬R

B ?

Î§Ì

BTW{F

=Ó?

BHF

S

BF Ðã=

F

RT?DL

ñ

Q9K Î§Ì

BFsB Ðã=

FsB ÎsÌ

Béî

=JÐÎ§Ì

B

Î§O¸R

B

?DO¬ÎDÎ

F

L,N

B

Ñh?

Î§Ì

F = IAG

ÌõÎ§Ì

B V B Î Ú ï BrÍ

=>VXW

K

Î§Ì

B

=>SAS.=>?§O}Î

B

?§O¬Î

I

L Î§O¸=JV

K

ÎsÌ

BOî

=JÐ8ÎsÌ

B

Î§O¸R

B

?O¬Î

S

BF Ðã=

F

RT?4L

ñ

Q9K ÎsÌ

BFsB Ðã=

F§B Î§Ì

B Ü

= Ð³Î§Ì

B

Î§O¸R

B

?DO¬ÎDÎ

F

L,N

B

Ñh?ÎsÌ

F = IAG

ÌðÎ§Ì

B

V Î

(11)

P1 R wait_SwManager P5 R P6 R

P7 R

P8 R wait_UserforService R m1

wait_UserforCatalog R

P15 R

P16 R P17 R P18 R

P19 R m1

P20 R begin_add_info_sale R P22 R P23 R end_add_info_sale R

P25 R m1

P26 R P27 R wait_Browser R

P29 R P30 R

P31 R

wait_Alfred

P35 R

P36 R

P37 R P38 R

P39 R P40 R P41 R P42 R

P43 R

P46 R

P44 R

P45 R P47 R

P49 R

P48 R

P50 R

P51 R

P52 R

P53 R P54 R

P55 R

P56 R browser.reply_remote goto_MU_Place2 get_info observe_GUI_catalog

more_information_remote

goto_MU_Place goto_Sw_Place add_info_sale

show_catalog_GUI create_catalog

add_info4 create_salesman add_info3

add_info2 add_info

refine

create_BrowserAgent create_GUI browser.reply_local info_need_travel

info_need_local select_sw refine_catalog

not_info_need

salesman.reply request select_sw_browser

refine_catalog_browser select_sw_service get_catalog

t38 t37 t36

electronic_commerce

not_info_need_or_local info_need_travel1 more_information_local

delete_browser begin_ec end_ec <x> <x> <x> <x> <x> <x> <x> <x>

<x> <x> <x> <x>

<x> <x>

<x> <x> <x> <x> <x> <x> <x> <x>

<x> <x>

<x> <x> <x>

<x> <x>

<x> <x> <x> <x> <x>

<x>

<x> <x>

<x> <x> <x>

<x> <x> <x> <x>

<x>

<x> <x> <x> <x> <x> <x> <x>

<x>

<x> <x> <x>

<x>

<x> <x> <x>

<x> <x> <x> <x> <x>

<x> <x> <x> <x>

<x> <x> <x>

<x>

<x> <x>

<x> <x> <x> <x> <x>

<x> <x>

<x> <x> <x> <x>

R:c request:c S:m m1:m

8`9a: £X£X¤¦¥ c¹cs^~i`mUe>cs^gh_i³^¥ c{ ¥ _ ¯ cwxJwx^`ctj

A Performance Engineering Case Study: Software Retrieval System

User

Service Software Retrieval

show_catalog_GUI(c1)

BrowserAgent select_sw_service(info)

{prob}

{0.1}

[not satisfied]

select_sw(name)

c i+1

[info_need] more_information(refinement2, ci) [satisfied]

refine_catalog(refinement_plus) 1..n

{1K..100K}

{1K}

{0.9}

{100K}

{100K}

{1K}

{1K}

{1K..100K}

{1K}

{1K}

select_sw(name) {1K}

delete_browser Salesman create_salesman(info_sale) {1K}

get_catalog(info_plus) SwManager Alfred

electronic_commerce request(info_sale) create_catalog(info_plus)

info_sale_plus refine_catalog(refinement) {1K}

observe_GUI_catalog(c1)

create_browser(c1) c1:Catalog {100K}

{1K}

{1K}

{0.9}

show_catalog_GUI(ci)

[not ^user.satisfied]refine_catalog(refinement)

^browser.refine_catalog(refinement_plus) {0.1}

{1K}

{100K}

{1K}

{1K}

^browser.select_sw(name)

^user.observe_GUI_catalog(ci)

Do:add_info3 Do:add_info2

Do:add_info1

Do:create_GUI(c)

[^user.satisfied]select_sw(name)

<<more_services>>

WAIT

select_sw_service(info) ^SwManager.get_catalog(info_plus)

{1K}

{1sec.}

{1K}

{100K}

{1K}

{1sec.}

{1sec.}

{1sec.}

wait_Alfred P36

P4 P3

P5

P6

P7 P8

P9

show_GUI_catalog

add_info3 add_info1

user.observe_GUI_catalog Sw_Manager.getcatalog

add_info2 create_GUI

browser.select_sw_browser

browser.refine_catalog refine_catalog select_software

select_sw_service

[not satisfied]^Alfred.refine_catalog(refinement)

^Alfred.select_sw(name) {1K}

WAIT

{1K}

Do:observe

observe_GUI_catalog(c1) {100K}

{0.9}

^Alfred.select_sw_service(info)

catalog Waiting for {1K}

P15 R P7

R wait_for_service

delete_browser Salesman create_salesman(info_sale) ^{1K}