ISSN 0105-8517
Petri Nets 2000
21st International Conference on Application and Theory of Petri Nets
Aarhus, Denmark, June 26-30, 2000
Workshop Proceedings
Software Engineering and Petri Nets
Organised by Mauro Pezz´ e Sol M. Shatz
DAIMI PB – 548
June 2000
Preface
This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. This workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are also available in electronic form via the web page: www.daimi.au.dk/pn2000/proceedings
The aim of the workshop was to bring together researchers and practitioners with inter- ests in Petri nets and/or software engineering, with the goal of exploring more closely the potential impacts and pitfalls in applying net-based formalisms to software development problems.
All submitted papers were refereed and evaluated under the direction of a program com- mittee with the following members:
Jonathan Billington, University of South Australia (Australia) Ugo Buy, University of Illinois at Chicago (USA)
Robert France, Colorado State University (USA) Dino Mandrioli, Politecnico di Milano (Italy) Mauro Pezze, Politecnico di Milano (Italy)
Sol Shatz, University of Illinois at Chicago (USA)
The program for the workshop included ten selected papers and two invited talks. The invited speakers were: Professor Michal Young (Oregon State University, USA) and Pro- fessor Manfred Broy (Technishe Universitat Munchen, Germany).
Mauro Pezze and Sol Shatz
Co-organizers, SEPN-2000
Table of Contents
J. Merseguer, J. Campos, E. Mena
Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach 1 A. Chandler, A. Heyworth, L. Blair, D. Seward
Testing Petri Nets for Mobile Robots Using Gr¨ obner Bases . . . . 21 M. C ˇ eˇ s ka, V. Janouˇ s ek, T. Vojnar
Generating and Exploiting State Spaces of Object-Oriented Petri Nets . . . . 35 H. Giese, G. Wirtz
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling . 55 S. Philippi
Seamless Object-Oriented Software Development on a Formal Base . . . . 75 N. C. Narendra, I. P. Pal
An Architecture for Adaptive Planning and Scheduling of Software Processes Using Timed Colored Petri Nets . . . . 95 A. Burns, A. J. Wellings, F. Burns, A. M. Koelmans, M. Koutny, A. Romanovsky,
A. Yakovlev
Towards Modelling and Verication of Concurrent Ada Programs Using Petri Nets . 115 J. Vachon, N. Guelfi
COALA: A Design Language for Reliable Distributed Systems Engineering . . . 135 M. Lemmon, K. X. He
Supervisory Plug-ins for Distributed Software . . . 155 K. El-Fakih, H. Yamaguchi, G. v. Bochmann, T. Higashino
Protocol Re-synthesis Based on Extended Petri Nets . . . 173
* ' +)-,/.&0132546&708&:9 * ;0=<>; *@?A? B#6C
DFEFGIH
JKAJL
G
JNM!OIJNLNP DRQTSVU
JNLW Q!XZY[ERG
P
Q!\^]_B]
O Q L ]IE
KAJ
\^Q
`;aFbdc!eRf!ghji!klcNmdnpo
q
bdrts
q
g;huiRvwgxiRrtgxmyo
zq
fFg{rt|}bdgyn
q
|y~F:iFrwgxmd|rbj cNk7
q mq vwcN
q
~^{a
q
ri
yRw!wx!![jRN!TN!(F(w-j
¡ y¢y£(¤V¥N¢w¦ {cNk§bu¨
q
mdg©f!gy|rtvwi
q
iVfrtnaRªtgyngxib
q
bdrtcwi«F|rtiRvncw¬Frtªg
q
vwgyibd|
q
mdg
iFc(¨
q f q
!|rtiTcNªwgfrti
q
|sygya!bdrtsyrt|n®
q
ªtcFeF¯®Rgxmdg
q
mdgBmdgy|g
q
mds°®Fgxmd|¨®Rc8±«Rgy|}²
bdrtcwi³rbd|8«!bdrtªrbu5¬´gys
q
«F|grbsycw«Fªµf6¬´g
q
iFgx¨¶bdgys·®RiFcwªtcwv6bd®
q
b8f!cgy|aFmdc(rfFg
iFgx¨A|¸rtªªt|¬F«Fb/rtb/sycw«FªfrtibmdcfF«Fsyg7iRgx¨Aa!mdcw¬Fªgxn|ye{!gysx«Fmdrbj
q
iVf;a´gxmk§cNmdn
q
iRsyg
q
mdg;bd®Rg;ncN|}bsxmdrbdrts
q ª q
|a´gysxbd|k§cNmbd®Rrt|iRg°¨=¸rtiVfcNk|cNk§bu¨
q
mdgweVhui bd®Fr|a
q
a´gxm
¨0g)aFmdgx|gyib
q
klcmdn
q ª q aRaFmdc
q
s·®Abdc
q i q
ªt!|g a´gxmklcmdn
q
iFsyg k§cNmbd®Frt|syª
q
||cNk
|}!|}bdgyn|ye[¹:«!m
q
aFaFmdc
q
sᨼrt|;rtibdgyvNm
q
bdgf³rti5bd®Rg8g
q
mdª6|}b
q
vNgy|cNk»bd®Rg|ck§bu¨
q
mdg
f!gyTgyªtcwaFngyibaFmdcsxgy||yeVhuibd®Rrt|¨
q
~Frbrt|Ba´cN||rt¬RªtgbdcaFmdgf!rtsxbbd®Rg;¬´gx®
q
rcN«Fm
¨rbd®RcN«Fb;bd®Fg+iFgysygy||rbu¼bdcs
q
mm5cw«!b:bd®Rg+sycwnaFªtgxbdg+rtnaFªgxngyib
q
bdrtcwi¼aF®
q
|gNe
¯/c|®Rc¨½bd®Rg
q
aRa!mdc
q
s°®^~^¨0gncfFgxª
q
|cNkµbj¨
q
mdgmdgxbmdrtgy
q
ª7|gxmdrsxg|}!|}bdgyn¾rti
q
a!m
q
vNn
q
bdrts;¨
q
~!ª
q
bdgxm~Fbd®Rg;sycmmdgy|a´cwiRfFrtiRvk§cNmdn
q
ª[ncf!gyªIr|cN¬Fb
q
rtiFgf
q
iRf
q i q
ª!|gf)rtiZcm·fFgxmbdc|}bd«Rf!a´gxmk§cNmdn
q
iRsygwe
¿AÀFÁ¡ÂÃ^ÄÅ0Æ!Ç^ÈVE!ÉËÊdÌ:Q
L°J
Y
JL ÉÍE
L
X¼Q\^Î
J!P´ÏJ Ê L
U¡\
J
ÊxG
P^Ð8KÒÑP XZE!Ó^UµÔ
J Q M!J
\RÊ
Õ ÖR×BØ´ÙIÚÛ+Ü8Ý/ØIÞdÚB×
ß\5Ê°à
J
ÔlQ!G·Ê©á
J Q L G P ]´UlGdÊ
L
U§Ó
O Ê J
]³G·E!ÉËÊdÌ:Q
L°J
Q!YIYIÔ§U§ÎNQÊxUµEF\^GBà[QTS
J
U§\^Î
LxJ QFG
J
]ZÊ°à
J UL
Y/EFGxG°UµÓIU§Ôµâ
UÊxU
J
GX¼QãVU§\
M¼O G J
EÉß\RÊ
JL
\ J
Ê8ÎQY[QÓIU§ÔµUµÊ°U
J G P
Y/EFG°UµÊ°U§E!\IU§\
M
]´UlGdÊ
L
U§Ó
O Ê J
]AG°EÉËÊdÌ;Q
LxJ ] J S J
﵉
E!YIX
J
\RÊQ!G;QS
JL áZUµ\RÊ
JNL°J GdÊxUµ\
M
Q!YIY
L
EFQ!Îyà7äFå;à
J
Î(Ô§U
J
\RÊæG
JNL
S
JL XZE´]
J
Ô¡à[Q!G:Ó
J
Î(EFX
J
Ê°à
J
ã J áÒY^Q
L
Q!]´U
M
XçÊxEAG
O
Y^Y[E
L
Ê]´UlGdÊ
L
U§Ó
O Ê J
]èG°EÉËÊdÌ;Q
LxJ ] J S J
Ô§E!Y^X
J
\RÊNä¡ß}ÊU§GÌU§]
J
﵇
L°J Î(E
M â
\IU§G
J
]6Ê°à[QÊ;Ê°à
JNL°J
Q
L°J ÉÍE
OIL X¼QU§\³Ê
J
Îyà^\IE!Ô§E
M UJ
GBÌàIUlÎyàQ!]´SFEVÎNQÊ
J
ÉÍE
L
ÎÔµU
J
\RÊ(æG
JL
S
JL ] J â
S J Ô§E!Y^X
J
\RÊxGNÇ
L°J
Ô§QÊ°U§E!\^Q!Ô7]IQÊxQÓ[Q!G
J
XZQ!\^Q
MFJ X J
\RÊ8G°á´GdÊ
J
X¼Géê8ë+ì
K
ÈIí
P å Ï
X)EF\IUµÊ°E
L G P
M!L E O
YVÌ;Q
LxJ
Q\^]î]´UlGdÊ
L
U§Ó
O Ê J ]pE!Ó´ï
J
ÎÊyGäß}ÊU§GÌ
J
Ô§ÔQ!ÎNÎ
J
Y´Ê
J
]AÊ°à[QÊ]´UlGdÊ
L
U§Ó
O Ê J ]pE!Ó´ï
J
ÎÊxG
Uµ\AÎ(EF\ï
O
\^Î(Ê°U§E!\ÌUµÊ°àèðZñFò(óËô§õ)öN÷Fõø^ùuú5ûüTý
P
üFüþ-Ê
J
ÎyàI\IEFÔµE
M
á5Q
LxJ Q)S
JL á5U§\RÊ
JLxJ G·Ê°U§\
M
QYIâ
Y L
ERQ!Îyà Ê°EQ!]^]
L°J G°GÎ
JL
ÊxQ!Uµ\)ãVUµ\^])E!ÉG°EÉËÊdÌ;Q
LxJ
]IE!X¼QU§\^GÔ§Uµã
J:J â}ÎE!XZX
JL
Î
JFP Uµ\´ÉÍE
L
X¼QÊ°U§E!\
L°J Ê L UJ
STQ!Ô-Q\^]³\
J
ÊdÌ©E
L
ã¼X¼Q\[Q
M!J X J
\RÊQ\^]ºQ!]´XZU§\IUlGdÊ
L
QÊ°U§E!\-ä
ÿ ԵʰàIE
OIM àÊxà
JLxJ
Q
LxJL°J GJ Q L
Îyà
JL G:ÌàIE
OIJ
GdÊxUµEF\ºXZEFÓIUµÔ
J
G°EÉËÊdÌ;Q
LxJ!P UµÊ8ÊyQã
J
GG
J
\^G
J
Uµ\A]´UlGdÊ
L
U§Ó
O Ê J ] J
\VSVU
L
E!\^X
J
\RÊxGûþ-Ó
J
ÎQ
O GJ
UµÊU§GQÊ
J
ÎyàI\IEFÔµE
M
á¼ÌUµÊ°àQYIY
L
EFY
L
UlQÊ
J \ J Ì
G·ãVU§ÔµÔlG;ÉÍE
L
Ê°à
J G J
ãVU§\^]EÉG°á´GdÊ
J
X¼Gä/ì
O
Ê8UµÊ+Î(E
O
Ô§]ºU§\RÊ
L
EV]
O Î J \ J Ì Y L E!ÓIÔ
J
X¼GQFG;Ê°à
J
Uµ\´â
QYIY
L
E!Y
L
UlQÊ
J+O G J
EÉ0Ê°à
J \ J Ê LxJ
G°E
O^L Î J
GNäRß\ºÊxàIU§G8Ì:QTáZÊxUµX
J
ÎE!\^G
O
XZU§\
M
Î(E
O
Ô§]ºÓ
J
Î(EFX
J
QY
L
EFÓIÔ
J
X¾ÉÍE
LO
G
JL GNä´È´E
P Ì J Q L°J
Î(EF\^Î
JNL
\ J ]¼ÊxEZ]
J S J ÔµEFY6\
J
̽Ê
J
ÎyàI\IU
OIJ GQ!\^]³X
J
Ê°à´â
EV]^G+Ìà^U§Îyà XZU§\IU§X)U
J
Êxà
J G J Y L E!Ó^Ô
J
XZGNä/ß\ Ê°à^U§GÎ(EF\RÊ
J Ê P
úñ yùBö°õ^õ(ñðZöøyõ ûµüTþ
QYIY
J Q L
GQ!G Qp]´UlG°ÎUµYIÔ§U§\
J
U§\^G°U§]
J
G·E!ÉËÊdÌ:Q
L°J¼J
\ M U§\
JNJL Uµ\
M
Ê°Ep]
J
QÔ©ÌUÊxà XZE´]
J
Ô:Y
JL ÉÍE
L â
XZQ!\^Î
J
EF\AG·E!ÉËÊdÌ:Q
L°J G·á´G·Ê
J
XZG8]
J
G°U
M
\-ä
Ñ
Uµã
J
X¼Q!\Rá³Y
J
E!YIÔ
J
Î(EF\^Î
JNL
\ J ]QÓ/E
O
Ê8G°EÉËÊdÌ;Q
LxJ
¯®Rrt|/¨0cNmd¸;®
q
|/¬´gxgyi8fFgyTgxªcNa´gf:¨rbd®Rrtibd®Rg-aFmdc}gys°b-¯(² "!#©ckFbd®Fg0{a
q
iRrt|®$0h%$'&¯:e
JNL L J!P J J J J J JL L J8J O O J J
]
OIL Uµ\
M
Êxà
JJ Q L
Ô§á6G·ÊxQ
MFJ G:EÉ0Ê°à
J
G·E!ÉËÊdÌ:Q
L°J ] J S J
Ô§E!YIX
J
\RÊY
L
E´Î
J
GxGNä
(»ø^ó):õ+*-,Òñ*!õôtóËøR÷/.7öøR÷10^ö÷Rõé
Ð8KÒÑ
íû2þ0UlG8ÌUl]
J
ÔµáAQ!ÎNÎ
J
Y´Ê
J ] Q!GQ5G·ÊxQ\[]IQ
L
]A\IE!â
ÊxQÊxUµEF\ Ê°EîXZE´]
J
ÔG°EÉËÊdÌ;Q
LxJ G·á´G·Ê
J
X¼GNä
Ð
\´ÉÍE
L Ê O
\^QÊ
J
龜
PÐ8K Ñ
ÔlQ!Îyã´GE!ÉÊ°à
J \ J Î J GxGxQ
L á
J
Y
LxJ GxG·U§S
J \ J
GxG+Ê°EAQ!ÎNÎ
OIL QÊ
J
Ô§áÒ]
J
GxÎ
L
U§Ó
J Y JL
ÉÍE
L
XZQ!\^Î
J
G°ãVUµÔ§Ô§GNä7å;à
JNL°J à^QTS
J Ó JNJ
\ G J SRâ
JL QÔ»Q!YIY
L
EFQFÎyà
J
G;ÊxE³G°E!Ô§S
J
ÊxàIUlG+ÔlQ!Îyãèûµü
P
23
P
ü4Tþjä65+\
J
EÉÊ°à
JM
EFQÔlGE!ÉÊ°àIUlG+Y^QY
JL U§G
Ê°à
J
G·Ê
O
]Iá5EÉ0Ê°à
J Y JL
ÉÍE
L
X¼Q\^Î
J
U§\^]´UlÎ
J
G;Uµ\XZE!Ó^UµÔ
J Q M!J
\RÊG°á´GdÊ
J
X¼G
P
Ê°à
O G P Ì J Y L E!Y/EFG
J
Q7(,/.8óËù:9;^õ(ñðZöøyõöø[ø/ñù}öùuóñøIú éÍY[Qâ
Ð8K Ñ í0Ê°E ]
J
QÔ[ÌUÊxà5Y
JL ÉÍE
L
XZQ!\^Î
J
G°ãVUµÔ§Ô§G
E!\pÊ°à
J G J
ãVUµ\[]pE!É:G°á´GdÊ
J
X¼Gä'5
O^L QYIY
L
EFQFÎyàAÊ°EAG°E!Ô§S
J
Ê°à
J Y L EFÓIÔ
J X UlGQ!GÉÍE!Ô§Ô§EÌGÇÌ
J
X)E´]
J
ÔÊ°à
J Y L E!Ó^Ô
J X ]´E!X¼QU§\
O
G·U§\
M
Y^Qâ
Ð8K ÑBP ] J
GxÎ
L
UµÓ^Uµ\
M
G·ÊxQÊxU§ÎQ\[]6]´áV\^Q!X)UlÎ+SRU
J
ÌG
Ìà
J
\Z\
J Î J GxGxQ
L
á!äTY^Qâ
Ð8KÒÑ XZE´]
J
Ô§GÌU§ÔµÔ
M
U§S
J:O GÊ°à
J \ J Î J GxG°Q
L
áÓ^QFÎyã
MFL E O
\^]Ê°EE!Ó´ÊyQU§\
Ê°à
J
Î(E
L°LxJ G°Y[EF\^]´U§\
M
ÉÍE
L
X¼QÔ/XZE´]
J Ô J
Y
LxJ GxG
J
]5QFG=<õù>ó0øõ(ùuúûµü?Tþ}äA@
L
E!X Y^Qâ
Ð+K ÑP Ì J
]
JL UµS
J
QÊ°U§X
J
Uµ\RÊ
JL
Y
L°J
ÊxQÊ°U§E!\ZEÉ
ÏJ Ê L
U´\
J
ÊxGBÔ
J
Q!]´U§\
M
ÊxECB
J \ JNL
Q!ÔµU
J
]¼ÈRÊ°E´Îyà^QFGdÊxU§Î
ÏJ Ê L U
D J ÊyGé>BÈ
Ï
Dí ûµüþ}ä¡å;à
O G P Ì J
UµXZYIÔ§U§ÎUÊxÔµá
M
UµS
J
Q5G
J
X¼Q\RÊxU§ÎNGÉÍE
L
Y^Qâ
Ð+K Ñ U§\AÊ
JNL X¼G+EÉ
ÏJ Ê L
U¡\
J
ÊxGNä
ÏJL ÉÍE
L
X¼Q\^Î
J
U§\^]´UlÎ
J
GXZQTá6Ó
J
ÎE!XZY
O Ê J ]³ÉÍE
L
BÈ
Ï D ÓVá6QY^YIÔµáVU§\
M O Q\Iâ
Ê°UµÊxQÊxUµS
J
Q\^Q!Ôµá´G°U§G©Ê
J
ÎyàI\IU
OIJ GQ!Ô
LxJ QF]´á5]
J S J Ô§E!Y
J
]³U§\³Êxà
J
Ô§UÊ
JL QÊ
O^L°J
ä
å;à
JAL°J GdʼE!É+Êxà
J
Y^QY
JL U§G¼E
L°M Q\IUlG
J ] QFG)ÉÍE!Ô§ÔµEÌGNäß\¶G
J
ÎÊxUµEF\E2
P Ì J ] J GxÎ
L
UµÓ
J Q
G·á´G·Ê
J X P Ó^Q!G
J ] E!\ Q MFJ
\RÊxG
P
Ìà^U§Îyàpà^Q!G8Ó
JNJ
\ ÊyQã
J
\É
L
E!X>ûü"2wþ}ä[ß\îG
J
ÎÊ°U§E!\F?
P Ì J M
UµS
J
E
OIL Y L
EFY[ERG°Q!ÔÊ°EÒQ!\I\IE!ÊxQÊ
J
G·á´G·Ê
J
X%Y
JL ÉÍE
L
X¼Q\^Î
J
Q!G°Y
J
ÎÊxG Uµ\
Ð+K Ñ éY^Qâ
Ð8KÒÑ íQ!\^]
Ì J ] J S J Ô§E!Y6Ê°à
J
Y^Qâ
Ð+K Ñ X)E´]
J
Ô§G©ÉÍE
L
Êxà
J
G°áVG·Ê
J X Y LxJ
G J
\RÊ
J
]5U§\ºG
J
Î(Ê°U§E!\G2Iä^È
J
Î(Ê°U§E!\/H
U§G]
J
]IU§ÎNQÊ
J
]ºÊ°E6Ê
L
Q\^G·ÉÍE
L X Y[Qâ Ð8K Ñ
]IU§Q
M!L
QX¼GU§\FÊxE
ÏJ Ê L
U-\
J
ÊyG8U§\ E L ]
JNL
ÊxE6Q!ÎyàIU
J S J
Ê°à
J ] J G°U
LxJ ]¼ÉÍE
L
XZQ!Ô^XZE´]
J
ÔjäI@»U§\^Q!ÔµÔ§á
P
G·EFX
J Y JNL
ÉÍE
L
X¼Q!\^Î
JLxJ GO
ÔµÊxG©Q\^]5ÎE!\^ÎÔ
O
G·U§E!\^G©Q
LxJ
Y
L°J GJ
\RÊ
J
]-ä
J K¶×MLONQPSRUTVWLYX Ø[Z\L^]:Ú`_xØa7PÙ[LcbdL¡Ø´Ù^ÞWLOefPSVG]L7ÙAeÞ·ÝL¾Þ·×@ØAZgL
KEhjikKdbdlmipÖAlmKonqp\nFØIL'R
ß\AÊ°àIUlGG
J
ÎÊ°U§E!\ÒÌ
J Ó L U Jr
áºY
LxJ G J
\RÊ ÿ D8å ÿ ê W å;ß
W
ÿts äå;à
J
G°áVG·Ê
J
Xçà^Q!G8Ó
JNJ
\ ÊyQã
J \
ÉL
EFX¾ûµü2TþVQ!\^]UµÊ0ÌU§ÔµÔRÓ
J©O G J
] Q!G7Q!\
J Q!X)Y^Ô
J
QÔ§E!\
M
ÊxàIUlG7Y^Q!Y
JNL ÊxE+G·Ê
O
]IáY
JL ÉÍE
L
X¼Q\^Î
J
E!\ºX)EFÓIU§Ô
J Q M!J
\RÊG°áVG·Ê
J
X¼Gä
å;à
J5M
ERQÔE!ÉÊ°à
J
G·á´G·Ê
J
X%UlGÊxE Y L ESVU§]
J
XZEFÓIUµÔ
J
ÎE!XZY
O Ê JLO
G
JNL
G ÌUÊxà ]´Uvu
JNL°J
\RÊ
G
JNL SVUlÎ
J
GÊxà^QÊ
J
\Ià^Q!\^Î
J
Êxà
J
ÎQ!Y^QÓIU§Ô§UÊxU
J
GEÉ:Ê°à
J UL Î(E!XZY
O Ê JL
äw5+\
J
E!É©Êxà
J G J G JNL
SVUlÎ
J G
U§GÊ°à
J
È´EÉËÊdÌ;Q
LxJ ê J Ê LUJ
SQÔ0È
JL SVU§Î
J!P
Êxà^QÊQÔ§ÔµEÌG
O G JL
G;ÊxE6G
J ÔJ
ÎÊ+Q!\^]]´EÌ\IÔ§EFQF]³\
J Ì
G·E!ÉËÊdÌ:Q
L°J U§\ÒQ\
J
QFGᇼQ\^]
J#x Î(U
J
\RÊ8Ì;QTá!ä^å;àIUlG8G
JL SVU§Î
J
à^Q!GÓ
JNJ
\AÊxàIE
OIM
àRÊÊ°E5Ì:E
L
ã6U§\
QÌU
LxJ ÔJ
GxG;\
J
ÊdÌ:E
L
ã¼X
J
]´UlQZQ\^]ºY
L
ESVU§]
J
G;G
J S JL
QÔU§\RÊ
JLxJ G·Ê°U§\
M ÉJ QÊ
OILxJ GNÇ
y
å;à
J
G°áVG·Ê
J X X¼Q\[Q M!J
G»Ê°à
J
ãV\IEÌÔ
J ] MFJ
\
JJ ] J
]Ê°E
LxJ Ê L UJ S J
G°EÉËÊdÌ;Q
LxJ ÌUµÊ°à^E
O Ê O G JNL
Uµ\RÊ
JL S J
\RÊxUµEF\
P´O G°Uµ\
M
Q!\³EF\FÊxE!Ô§E
M
á!ä
y
å;à
J
Ô§EVÎNQÊxUµEF\ºQ!\^]³QFÎÎ
J
GxG;X
J
Ê°àIE´]³Ê°E
LxJ XZEÊ
J
G·E!ÉËÊdÌ:Q
L°J U§G:Ê
L
Q!\^G°Y^Q
LxJ
\RÊ:Ê°E
O G JL
Gä
y
å;à
JLxJ
U§G8Q{zxÎQÊxQÔ§E
M}|
Ó L EÌG°Uµ\
M ÉJ QÊ
OILxJ Ê°E¼à
J
ÔµY
O G JL
U§\AG·E!ÉËÊdÌ:Q
L°J GJ ÔJ
ÎÊxUµEF\-ä
y
å;à
J
G°á´GdÊ
J X X¼QU§\RÊxQU§\^G
O Y Ê°Eî]IQÊ
J
Êxà
J
U§\´ÉÍE
L
X¼QÊxUµEF\
L°J Ô§QÊ
J
]îÊxE Êxà
J
QTSQU§ÔlQÓIÔ
J
G·E!ÉËÊdÌ:Q
L°J
ä
ß\³Êxà
J
ÉÍE!Ô§Ô§EÌUµ\
M[P Ì J Ó L U
Jr áº]
J
GxÎ
L
U§Ó
J
Êxà
J
G·á´G·Ê
J X Y^QTáVU§\
M
QÊ·Ê
J
\RÊ°U§E!\U§\UÊyG8Î(EFX)â
Y[EF\
J
\RÊxGNäFå;à
JLxJ
U§G:Q~z°XZQïdE
L
]´E!XZE
|
\[QX
J
]+ô+xõ*
P
Ìà^U§Îyà5UlGBQ!\5Q
MFJ
\RÊ©G°Y
J
Î(UlQÔ§U§G
J
]ZU§\
©«!bdcwiRcNncw«F|
q
vwg+:¯ ¬}©|gf
q
$0®Rrbdgys°bd«Fmdgklcm;sy«F|d¯/cwnrtygfncw¬Rhuªtgg$0cwnaR«!bdrtiRv©||rt|}²
b q iFsygwe
O JNL JL JLxJ M!J J LxJ J
ÎQÊyQÔ§E
M
ÌàIUlÎyàAÌUµÔ§Ô7à
J
Ô§YÊ°à
JO
G
JNL Ê°E5G
J ÔJ Î(ÊÊ°à
J L°J O U LxJ
]ºG·E!ÉËÊdÌ:Q
L°J ä ÿ
\IE!Ê°à
JNL
Q
M!J
\RÊ
P
Ê°à
J{
°ñúõ#ÒÌU§ÔµÔ8à
J
Ô§Y Ê°à
JAO
G
JL U§\¶G
J ÔJ ÎÊxUµ\
M
Êxà
J
G·E!ÉËÊdÌ:Q
L°J
äS@»U§\^Q!ÔµÔ§á
P
Q öôµõ(úyð¼öø
Q
M!J
\RÊUlGU§\ Îyà^Q
LxM!J EÉY
JL ÉÍE
L
XZUµ\
M
Q!\RápQ!ÎÊxUµEF\èY
L°J SVUµE
O
GÊ°EÊxà
J
U§\^GdÊyQÔ§Ô§QÊ°U§E!\îEÉ;Ê°à
J
GJ ÔJ ÎÊ
J
]G·E!ÉËÊdÌ:Q
L°JFP Ô§Uµã
JJ âÎ(EFX)X
JNL Î J ä
å;à
J
G°áVG·Ê
J
XÌ;Q!G-Y
L
EFY[ERG
J
]Uµ\5ûµü2Tþ
O
G°U§\
M
]´Uvu
JNL°J
\RÊ-Ê
J
ÎyàI\IE!Ô§E
M UJ G P
\^QX
J
龜
W
5êì ÿ
ûüHþ
P}
åå
Ï
Q!\^])X)EFÓIU§Ô
J Q M!J
\RÊyGä!ÈVEFX
J Y JNL
ÉÍE
L
X¼Q\[Î
J Ê J GdÊyGÌ
JNL°J Q!YIYIÔ§U
J
]Ê°E]´Uvu
JNL°J
\RÊ
UµXZYIÔ
J X J
\RÊyQÊ°U§E!\[G
P
U§\èE
L ] JL
Ê°EAG
J ÔJ Î(ÊÊ°à
J Ó J
G·ÊÌ:QTá E!É:QFÎÎ
J
G°G°U§\
M³LxJ XZE!Ê
J
G·E!ÉËÊdÌ:Q
L°J
ä
W
E!\^ÎÔ
O
G°U§E!\^G;Ì
JLxJ Êxà
J
ÉÍE!Ô§Ô§EÌUµ\
M Ç
y
å;UµX
J
ÎE
LxL°J G·Y/E!\^]IUµ\
M
Ê°E
W
5ê8ì ÿ Q!\^]X)EFÓIU§Ô
J
U§X)Y^Ô
J X J
\RÊxQÊxUµEF\^G Q
L°J
QÔ§XZEFG·Ê
U§]
J
\RÊ°UlÎQ!Ô¡ÉÍE
L
Q)ÌUl]
JL Q!\
M!J EÉ'^Ô
J
G;ÊxE)Ó
J
]´EÌ\IÔ§EFQF]
J
]-ä
y K E!Ó^UµÔ
J Q MFJ
\RÊ+Q!YIY
L
EFQ!Îyà
J
GQ
LxJ ÉQ!G·Ê
J
\IE
OIM
àÊ°E6ÎE!XZY
J Ê J
ÌUÊxàÒÎ(Ô§U
J
\RÊæG
JNL
S
JL QYIâ
Y L EFQ!Îyà7ä
ÿ
ԵʰàIE
OIM
àAÎ(EF\^G°U§]
JNL U§\
M
Ê°à
J
UµXZY/E
L
ÊxQ\[Î
J
Q\^]³Êxà
JL°J ÔJ
SQ\^Î
J
E!É»Êxà
JLxJ G O
ÔÊyGEÉ0Ê°à
J
Ì©E
Lã ûµü2Tþ P Ì J
Ì:E
O
Ôl]pÔµU§ã
J
Ê°EAG·Ê
LxJ GxG8Êxà
JZJ
\IE
L
XZE
O
GÎ(EFG·ÊEÉ©U§XZYIÔ
J X J
\RÊ°U§\
M
]´Uvu
JNL°J
\RÊ
Y L E!Ê°E!ÊdáRY
J
GZU§\ E L ]
JL ÊxE
J
SQÔ
O
QÊ
J
Êxà
J Y JL
ÉÍE
L
X¼Q\^Î
J
E!É+Êxà
J
]´Uvu
JNL°J
\FÊ5Q!ÔÊ
JL
\^QÊxUµS
J
GNä
ß\ Ê°à
JºLxJ
G·ÊEÉÊxàIUlG Y^Q!Y
JNLNP Ì J
XZE´]
J
Ô©Ê°à
J
G°áVG·Ê
J X Uµ\ QÒY L Q M
X¼QÊ°UlμÌ:QTá
O
G°Uµ\
M
Y^Qâ
Ð8K ÑBP
Q\I\IE!ÊxQÊ°U§\
M
ÎE!\^G°UlGdÊ
J
\RÊ°Ô§áÊ°à
J
G°á´GdÊ
J X Ô§EFQF] éÍÌ
J
à^QTS
J
Q\I\^EÊxQÊ
J
]AÊ°à
J
G°á´GdÊ
J X
ÔµERQ!]=ÊxQ!ãRU§\
M
QFG5Q Ó^QFG·UlGZÊxà
J J
Y
JL UµX
J
\FÊyG6Q!\^]
J
Y
JL UJ
\^Î
J
E!ÉÊxà
J Q O Ê°à^E
L
G¼EÉÊ°à
J
Î(UµÊ
J ] Y^QY JL
íä ÿ ÉËÊ
JL Ê°à^QÊ
P Ì J
ÎNQ\AU§\RÊ
JL
Y
LxJ Ê+Ê°à
J
Y^Qâ
Ð8K Ñ X)E´]
J
Ô»U§\AÊ
JL XZG8EÉ
ÏJ Ê L U
\ J
ÊyG¼Q\^]=]
JL UµS
J
Êxà
J
Î(E
LxLxJ G°Y[EF\^]´U§\
M Y JL
ÉÍE
L
X¼Q\^Î
J
XZE´]
J
ÔÌàIUlÎyà ÌU§Ô§ÔÓ
J Y L E!Y
JL ﵇
Q\^Q!Ôµá´G
J
]¡äIå;àIUlGQ\[QÔ§áVG°UlG©UlG
O G J ]6Ê°E
J
SQÔ
O
QÊ
J
Êxà
J
G°áVG·Ê
J
Xä
>ÚÛgLV V°Þ·×\ Ø[Z\Ln1p\nFØALR ÜnVÞ·×\UTgP'
ß\=Êxà
J Y LxJ
SVU§E
O
G¼G
J
Î(Ê°U§E!\
P Ì J à^QTS
JJ#
Y^Ô§Q!Uµ\
J
]=Ê°à
JAMFJ
\
JNL Q!Ô©É
J
QÊ
OIL°J G¼EÉÊ°à
J
ÊxQ
LxM!J
Ê
G·á´G·Ê
J
XäD8EÌ
P Ì J ÉÍE´Î
O
GE!\èXZE´]
J
Ô§Ô§Uµ\
M
UµÊ
O
G°Uµ\
M
Y^Qâ
Ð8K Ñ
\^EÊxQÊ°U§E!\-äO
J
à^QTS
J
Î(E!\Iâ
G·Ul]
JLxJ
]
Ð+K Ñ
Q\[]è\IEÊÊxà
J
\IE!ÊxQÊ°U§E!\èEÉ;X
J
Ê°à^EV]IE!Ô§E
M UJ G G
O
Îyà QFGC5
K
åçûwþ
P
5;5È´_
ûü3TþE
L @ O
G°U§E!\û4þÓ
J
ÎNQ
O GJ
E!É8UµÊxG)ÌU§]
JL Q!ÎNÎ
J
YIÊxQ\[Î
J
Uµ\ Ê°à
J
G°EÉËÊdÌ;Q
LxJ5J
\ M Uµ\
JJL U§\
M
Î(E!XZX
O
\IUµÊdá!ä
å;à
J
G°áVG·Ê
J X ] J GxÎ
L
UµY´ÊxUµEF\¼Uµ\
Ð8K Ñ
Q!ÎÎE!XZYIÔ§U§G°à
J
GÌUÊxà6G·ÊxQÊxU§Î+Q\^]¼]IáR\[QXZU§ÎSRU
J
ÌG
Uµ\E
L ] JNL
ÊxE
M
U§S
J
Q)ÎE!XZYIÔ
J Ê J ] J GxÎ
L
UµYIÊ°U§E!\ºEÉ7Êxà
J
G°áVG·Ê
J
Xä[@IE
L
Êxà
J
G°Q!ã
J
EÉG·U§XZYIÔ§U§ÎUÊdá
Q\^] ÉÍE
L
Ê°à
J
Î(EF\VS
J
\^U
J
\^Î
J
EÉBE
OIL Y L
EFÓIÔ
J X P Ì J
E!\IÔ§á ] J GxÎ
L
U§Ó
J
Ê°à
J
]´áV\^Q!X)UlÎSRU
J Ì EÉ
Ê°à
J
G°á´GdÊ
J
Xä
@»U
M!O^L°J
ü¼G·à^EÌGÊ°à
J¼O G J
ÎQFG
J
G\
JJ ] J
]pÊxE ] J GxÎ
L
UµÓ
J
Ê°à
J
]´áV\^QXZUlÎÓ
J
à[QTSRU§E
O^L EÉ
Ê°à
J
G°á´GdÊ
J
Xä6
J ] J
QÔÌUµÊ°àèÊxà
L°JNJ ]´Uvu
JNL°J
\FÊ
O G J ÎNQ!G
J G P
z°G°àIEÌ G
JL SVU§Î
J G
|IP
z°G°EÉËÊdÌ;Q
LxJ
L°J Ê L UJ
STQ!ÔBG
JL SRUlÎ
J|
Q\^]jz
J
âÎ(E!XZX
JL
Î
J|
ä ÿ Ô§G°E
P Ì J ÎNQ\ G
JJ Êxà
J5O
\IU
OIJ QFÎÊ°E
L
ÌàIUlÎyà
Uµ\RÊ
JNL
QFÎÊyGBÌUµÊ°à³Ê°à
J
G°áVG·Ê
J X P Êxà
J z O G JL+|
äRå;à
J+O GJ
ÎQFG
J
G©Q
L°J ] J
GxÎ
L
UµÓ
J
]6Uµ\6Ê°à
J
ÉÍE!Ô§Ô§EÌ;â
Uµ\
M ä
6 ÃVÂ@ÆwÀFÄ"6!ÀVÆk»ÆwÀF1^ÆNÀ Å0ÀVÆ!Äw ᣢ
y
ÏL Uµ\[Î(U§Y^QÔ
J S J
\RÊ
r
EÌÇÊ°à
J)O G J
ÎQFG
J)M
ERQÔUlGÊ°EAG·à^EÌ Ê°EºÊxà
JZO
G
JNL Ê°à
J
QTSQU§ÔlQÓIÔ
J
G
JNL SVUlÎ
J
G-Êxà^QÊÊ°à
J
G°á´GdÊ
J X E1u JNL
GNäå;à
J
ÈVEÉËÊdÌ;Q
LxJ ê J Ê L UJ
SQÔIÈ
JNL SVUlÎ
J
U§G0E!\
J
E!ÉIÊ°à^EFG
J
G
JNL SVUlÎ
J
G:Q!\^]ºUÊUlGQÔlG°EZ]
J
GxÎ
L
UµÓ
J
]ºQ!GQ
O G J ÎQFG
J ä
Electronic User
Commerce Retrieval Software Service Services
Show
¤Y¥v¦ ¦"§V¦ :|gQ$
q
|gy|
è> xÂC´ÄÀ ÄÀ} ÄÀ}[[©;ÆwÀFÄ"6!À~0ÆNÀFqIÆwÀ Å»ÀVÆÄw uê¡£¢
y
ÏL Uµ\[Î(U§Y^QÔ
J S J
\RÊ
r
EÌÇ/Êxà
JO
G
JNL+LxJ OIJ GdÊyG8Êxà
J
G·á´G·Ê
J
XçÉÍE
L
Êxà
J ] J G°U
LxJ
]pG·E!ÉËÊdÌ:Q
L°J
ä
å;à
J ì L EÌG
JLMFJ
ÊxGBQÎNQÊyQÔ§E
M
Q\^]Êxà
J
X¼QïdE
L
]´EFX)E
P ÿ ÔµÉ
L°J ] P
G°àIEÌGUµÊÊ°EÊ°à
JO
G
JLwP
ÌàIE¼G
J ÔJ ÎÊyG;Ê°à
J
G°EÉËÊdÌ;Q
LxJ Gyæà
J \ JJ
]^Gä
y _ Î J Y´Ê°U§E!\[QÔ
J S J
\RÊ
r
EÌÇUµÉ[Êxà
JO
G
JL
UlG\IEÊBGxQÊxU§G
J
]ÌUµÊ°à)Ê°à
J
ÎNQÊyQÔ§E
M Y L°J
G J
\RÊ
J ] P
Gyæà
J
ÎNQ\¼Q!G°ã ÉÍE
L Q LxJ
^\
J X J
\RÊNäRå;àIUlGY
L
E´Î
J
GxGÎE
O
Ôl]ZÓ
J+L°J Y J
QÊ
J
]¼Q!GXZQ!\Vá ÊxUµX
J G
Q!G;\
J Î J G°GxQ
L á O
\RÊ°U§Ô¡Ê°à
JO
G
JNL G J ÔJ
ÎÊyGQ)ÎE!\^Î
L°J Ê J
YIU
J Î J
EÉ0G°EÉËÊdÌ;Q
LxJ
ä
«©uÀ}1 Äá'/Fê¬8¬ ÀFÄFÀG0ÆwÀ~1IÆwÀ Å0ÀRÆÄ' áY¢
y
ÏL Uµ\[Î(U§Y^QÔ
J S J
\FÊ
r
EÌÇIÊ°à
JM
EFQ!Ô¡U§G;ÊxE5Y
L
ESVU§]
J
Êxà
JO
G
JL Q!\
J
â}ÎE!XZX
JL Î J
Q!Î(Ê°U§SVUÊdá
Q\^]³Êxà
J
]´EÌ\IÔ§EFQF]5Eɻʰà
J
G°EÉËÊdÌ;Q
LxJ G J ÔJ
ÎÊ
J
]¡ä
ÈVàIEÌ G
JNL SVUlÎ
J
GQ!\^]
J
âÎ(EFXZX
JNL
Î
JO GJ
ÎQ!G
J
G8Q
LxJ E O
ÊE!É0Êxà
J
GxÎ(EFY
J
E!ÉÊ°àIUlG8Q
L
ÊxU§ÎÔ
JFP
Ê°à
O G P Ì J ÎE!\^Î
J
\RÊ
L
QÊ
J
EF\³Êxà
J
ÈVE!ÉËÊdÌ:Q
L°J ê J Ê L UJ
SQ!Ô7È
JL SVU§Î
J ä
ÏL Q M
X¼QÊ°UlÎ8EFÓ´ï
J
Î(Ê·â}E
L UJ
\FÊ
J
]³X
J
Ê°à^EV]IE!Ô§E
M UJ G8G
O
ÎyàAQFGû4 P P
ü3Tþ]´E¼\IEÊ8]
J
QÔ7ÌUÊxà
Y
JNL ÉÍE
L
X¼Q\[Î
J
G°ãVUµÔ§ÔlGäÈVE
P Ì J
ÎNQ\G°QTá=Ê°à^QÊÊ°à
JNL°J
U§Gº\IE!ÊQ!\Q!ÎNÎ
J
Y´Ê
J ] ð¼õ(ù9Iñ* ÊxE
X)E´]
J
Ô©Q!\^] GdÊ
O
]´áèG·á´G·Ê
J
X@Y
JL ÉÍE
L
XZQ!\^Î
J
U§\èÊ°à
J
E!ÓIï
J
ÎÊ°âjE
L UJ
\RÊ
J
]îG·E!ÉËÊdÌ:Q
L°J ] J S J
Ô§E!YIâ
X J
\RʳY
L
E´Î
J
GxGNä:å;àIUlG³Ô§QFÎyã=U§XZYIÔµU
J
G6Ê°à[Qʺʰà
JNL°J
U§G³\IEÊQ Ì J Ô§Ôâ]
J
^\
J ] ÔlQ\
M!O
Q
M!J E L
ø/ñùöùjóñøÊxE)Q!\I\IE!ÊxQÊ
J
G°á´GdÊ
J X Ô§EFQF]
P
G°á´GdÊ
J X ] J
Ô§QTá´G:Q\^]
L E O Ê°U§\
M)L QÊ
J
Gä[5+\5Êxà
J
Î(E!\Iâ
Ê L Q L á P ÉÍE
L
X¼Q!ÔFG°Y
J
Î(Uv[ÎQÊ°U§E!\ÔlQ\
MFO
Q
MFJ G P G O
ÎyàQ!G
Ñ
5åg5ÈZûµü"Nþ
P E L»ÏJ
Ê L U!\
J
ÊxG:ûü?Tþ
P
à^QTS
J
Î(E!\[G·Ul]
JLxJ
]ºQ\[]ºG·Ê
O
]´U
J
]³Ê°à
J Y L EFÓIÔ
J X U§\]
J
Y´Êxà-ä[å;à
O G P Ê°à
JLxJ
Q
LxJ G J S
JL QÔY
L
E!Y/EFGxQÔlG
Ìà
JLxJ Ì J
ÎQ!\Ô
J Q L
\5É
L
E!Xä
ÿ G0Ì
J;LxJ X¼Q
L ã J ] P UÊUlG»E
OIL E!Ó´ï
J
ÎÊxUµS
J
ÊxE+Y
L
E!Y/EFG
J Q
Ð+K ѺJ Ê J
\^G·U§E!\ºéÍY^Qâ
Ð+K Ñ í7ÊxE
] J
Q!Ô[ÌUµÊ°àºY
JNL ÉÍE
L
X¼Q!\^Î
J
EF\5Êxà
J
G°EÉËÊdÌ;Q
LxJ ] J S J
ÔµEFYIX
J
\RÊ©Y
L
E´Î
J
G°G:QÊ©Ê°à
J ] J G·U
M
\6G·ÊxQ
M!J
ä
J Î(EF\^G°U§]
JNL Ê°à^QÊ;E
OIL Y L
E!Y/EFGxQÔ/X
O
G·ÊQ!ÎNÎ(E!XZYIÔ§UlG·à³ÌUÊxàºÓ/EÊxà
P
Ê°à
J X J
Ê°àIE´]Q\^]6Ê°à
J
\IEÊyQÊ°U§E!\7ä1@0U
L
GdÊ
P
Êxà
J X J
ÊxàIE´]ZÌUµÔ§Ô
M
UµS
JO GÊxà
J Y L E´Î
J
GxGÊxEX)E´]
J
ÔIÊxà
J
G°áVG·Ê
J X Q!\^])Ê°à
J
L°J ÔJ
STQ!\RʻY^Q
L
Q!X
J Ê JNL
G-Ê°E8Ó
J
ÊxQã
J
\U§\RÊ°EQ!ÎNÎ(E
O
\FÊwä
J
Q!]´SFEVÎNQÊ
J
ÉÍE
L
QY^QÊ·Ê
JL
\´âjE
L UJ
\RÊ
J ]
QYIY
L E
UµX¼QÊ°U§E!\-ä
Ñ
QÊ
J
龜
P ] J G·U
M
\³Y^QÊ°Ê
JNL
\^GûTþ-à^QTS
J8M Q!Uµ\
J ] LxJ
ÔJ SQ!\^Î
J
Uµ\ºG·E!ÉËÊdÌ:Q
L°J ] J â
S J Ô§E!Y^X
J
\RÊ0]
OIJ Ê°E8Ê°à
J UL
G·U§XZYIÔ§U§ÎUÊdáQ!\^]
r^J#
U§ÓIU§ÔµUµÊdá!äTì
O
Ê0Ê°àIUlG7ÌU§Ô§ÔFÓ
J G O Ó´ï
J
ÎÊ0EÉIÉ
O Ê OILxJ
L°J G J Q L
Îyà-äIÈ
J
ÎE!\^]
P
ÎE!\^Î
JL
\IU§\
M
Êxà
J
\IE!ÊxQÊxUµEF\
P
UµÊÌUµÔ§Ô-Ó
J Ê LxJ
QÊ
J
]ºU§\6ÊxàIU§GÌ©E
L
ãä
ß\)E
L ] JL
Ê°Eà^QTS
J
QÎE!XZYIÔ
J Ê J Y JNL
ÉÍE
L
X¼Q\[Î
J
\IEÊyQÊxUµEF\
P
Ê°à
J+Ð8K Ñ Ó J à^QTSVU§E
OIL QÔ´Q!\^]
GdÊ
L°O Î(Ê
OIL QÔ¡XZE´]
J
Ô§G8X
O
G·ÊÓ
J
Î(E!\[G·Ul]
JLxJ ]-ä ÿ ÔlG·E
P Y JNL
ÉÍE
L
X¼Q!\^Î
J
ÌU§ÔµÔ»YIÔ§QTáºQ)Y
L
EFXZUµ\
J
\RÊ
L
EFÔ
J
U§\ Êxà
J
UµXZYIÔ
J X J
\RÊyQÊ°U§E!\=]´U§Q
M!L
QX¼GNä7ß\ ÊxàIUlG Y^Q!Y
JNLNP Ì J Q
LxJ U§\RÊ
JNL°J GdÊ
J ] EF\IÔµáèU§\
Ó J à^QTSVUµE
OIL Q!ÔIQ!G°Y
J
ÎÊyG
P
ÎE!\^Î
L°J Ê J
ÔµáUµ\)Ê°à
J G J OIJ
\^Î
J
]´UlQ
M!L
QX Q\^])Êxà
J
GdÊyQÊ
J Ê L Q\^G°UµÊ°U§E!\
]´U§Q
M!L QX¼GNä1@
O Ê OILxJ
Ì:E
L
ã´GÌUµÔ§Ô]
J
Q!Ô[ÌUµÊ°à¼Êxà
J8LxJ G·Ê©E!É¡Ê°à
JÐ8K Ñ ]´UlQ
M!L
QX¼GÊ°E ]
J
G°Î
L
U§Ó
J
Ó J à^QTSVUµE
OIL éO G J
ÎQFG
J
]IU§Q
M!L QX¼G
P
QFÎÊ°U§SVUÊdá)]´UlQ
M!L QX¼G
P
Î(EFÔµÔlQÓ/E
L
QÊxUµEF\]´UlQ
MFL Q!XZGyí
P
G·Ê
LxO Î(â
Ê
OIL QÔ-QFG·Y
J
Î(ÊxG
P
Q\^]ºU§X)Y^Ô
J X J
\RÊxQÊxUµEF\A]´U§Q
M!L QX¼GNä
JºÐ+K Ñ J J J JO J JLxJ L
Ê°U§E!\^GNäå;àIUlG
LxJ G·Ê
L
UlÎÊ°U§E!\[GîQ
L°J J
Y
LxJ GxG
J ] QFGÒÊxUµX J ÉO
\[ÎÊ°U§E!\[GèE!\ X J G°GxQ
MFJ
\^Q!X
J G P
J äM ä Pg®
éÍX
J
GxG°Q
M!J 5+\
J ä L°J
Î J UµS
J
å;U§X
J
âZX
J
GxG°Q
M!J 5+\
J äG J
\^]Iå;U§X
J
í°¯>üpG
J
Î!ä²±Rä£
J
Î(E!\Iâ
G·Ul]
JL XZE
LxJL°J
QÔ§U§G·Ê°UlÎ;ÊxEQ\^\IEÊyQÊ
J
Ê°à
J X J G°GxQ
MFJ G·U
J
äFß\5Ê°àIUlGBÌ;QTá
P Ì J Î(E
O
Ô§]5ÎNQÔlÎ
O
ÔlQÊ
J
Y
JNL ÉÍE
L
X¼Q\[Î
J
ÉÍE
L
]´Uvu
JLxJ
\RÊ\
J
Ê8G°Y
JNJ ]IGNä
³ ¢´ ÀIµO»ÀI¡w!À Åw[¶[Ä[¬ Æ
ß\6E
L ] JNL
Ê°E
O
\^]
JNL
G·ÊxQ!\^]ZÊxà
J Y L E!Ó^Ô
J X P UµÊ:UlGBU§\RÊ
JNL°J GdÊxUµ\
M
QXZE
LxJ ] J
ÊxQ!UµÔ
J
]³]
J
GxÎ
L
UµYIÊ°U§E!\
EÉ^Êxà
J
ÈVE!ÉËÊdÌ:Q
L°J ê J Ê L UJ
SQÔ^È
JL SRUlÎ
J;O G J
ÎQFG
J
äTå;à
O G P
Qúõ·#0^õøyõg*óö÷1°öðçû2þIà^Q!GÓ
JJ
\
] J S J Ô§E!Y
J
]6Ê°EZÊ
LxJ QÊQ!ÎÎ
OIL QÊ
J
ÔµáZÊxà
J X J
\RÊ°U§E!\
J ] O G J ÎNQ!G
J!P
G
JJ
MFOIL°J 2Iä
{1K}
{100K}
{100K}
{100K}
{1K}
{0.9}
{1K}
{1K}
{1K}
{1K}
{1K}
{1K}
{1K}
{1K..100K}
refine_catalog(refinement_plus) select_sw_service(info)
c1:Catalog create_catalog(info_plus)
observe_GUI_catalog(c1)
select_sw(name)
[info_need] more_information(refinement2, ci)
{1K}
{prob} {1K..100K}
[satisfied]
create_salesman(info_sale) [not satisfied]
1..n show_catalog_GUI(c1)
create_browser(c1) get_catalog(info_plus)
refine_catalog(refinement)
electronic_commerce
info_sale_plus request(info_sale)
delete_browser select_sw(name)
c i+1
Salesman BrowserAgent
SwManager Alfred
¤`¥¦
¦¸^¦
{!g±«FgyiRsyg;fFr
q
vm
q n klcmBbd®Fg8{!ck§bj¨
q
mdg
gxbmdrtgy
q
ª[{!gxmdrtsyg«R|gs
q
|g
ÿ G J O^J
\^Î
J
]´U§Q
M!L QX
LxJ
Y
L°J GJ
\FÊyGX
J
GxG°Q
M!J GG
J
\RÊBQXZEF\
M
E!Ó´ï
J
ÎÊyGä
Ð GO Q!ÔµÔ§á
P
QX
J
Gdâ
G°Q
M!J
U§GÎE!\^G°Ul]
JLxJ
]îQ!G\^E³ÊxUµX
J
ÎE!\^G
O
XZU§\
M
Uµ\îÊ°à
J
G°ÎE!Y
J
EÉ:Ê°à
J
XZE´]
J
Ô§Ô
J
]èG·á´G·Ê
J
Xºä
ì O
ÊUµ\AQ)XZE!ÓIU§Ô
J Q M!J
\FÊG°á´GdÊ
J X P Ì J ]´UlG·Ê°U§\
M!O UlG°àºÓ
J
ÊdÌ
JJ
\X
J
G°GxQ
MFJ G;G
J
\RÊÓRá6E!Ó´ï
J
ÎÊxG
E!\ZÊ°à
J
GxQX
J
ÎE!XZY
O Ê JL
Q!\^]ZX
J
GxG°Q
M!J GG
J
\RÊ:QXZEF\
M
E!Ó´ï
J
ÎÊyGE!\³]´U²u
JLxJ
\RÊ;Î(E!XZY
O Ê JL
G P
Ê°àIERG
J
ÌàIUlÎyàîÊ
L
QTS
J
ÔÊ°à
L E OIM
àÒÊxà
J \ J ÊNä»å;à
J L
G·ÊãVUµ\[]pE!É:X
J
G°GxQ
MFJ GÌU§ÔµÔÓ
J
ÎE!\^G°U§]´â
JLxJ
] Q!G \IEâjÊ°U§X
J
ÎE!\^G
O
XZUµ\
M
ä»å;à
J G J
Î(EF\^]èãVUµ\^] ÌUµÔ§Ô:ÎE!\^G
O X J ÊxUµX
J
QFG QÉ
O
\^ÎÊxUµEF\
EÉ;Ê°à
J X J G°GxQ
MFJ G·U
J
Q\^]îÊxà
J \ J ÊY
JL ÉÍE
L
XZQ!\^Î
J
éuG·Y
JJ ]^íä
JNL°J
Q!\ Q\I\^EÊxQÊ°U§E!\
P
Uµ\´â
G·Ul]
J Ó L QFÎ
J G P ÌU§Ô§Ô©Ó
J
X¼QF]
J
U§\^]´UlÎQÊ°U§\
M
Êxà
J X J GxGxQ
M!J G·U
J
äw@^E
L
U§\^G·ÊxQ!\^Î
JFP U§\@0U
M!OILxJ
P6¹»º¼º½¾ ¹W¿ ¹»ºÀÁ½#º J M!J J J ®qÃFÄYÅƾWº P J¹Ç"È"¿ ½#ɾ É}¼ÈqÊ Ë£ÌYÍ
L°J O U LxJ
G8Ê°à
J
XZES
J X J
\RÊ+EÉ
®qÃÎ1ÎFÄYÅƾWº#¹
±Rä
ÿ
Ô§G°E
P
UµÊÌU§Ô§Ô0Ó
J
Y[ERG°G°U§ÓIÔ
J
Ê°EQ\I\^EÊxQÊ
J Q
L
Q!\
M!J ÉÍE
L
Êxà
J
G°Uv
J
Uµ\îÊxà
J6Ð8KÒÑ
Î(E!XZXZE!\èÌ;QTá
P
Ô§Uµã
J
Uµ\ÐÏ
ÈIÀº ²ÑÒÈIÀ
Ï
ɾÂÈ[Ñ X J
GxG°Q
M!JFP
Ìà
JLxJ
Q
®}ÃqÄÓvÓvÃÎqÎÔÄ
±8ÔlQÓ
J
Ô7Q!YIY
J Q L Gä
ß\³Q)G
J O^J
\^Î
J
]´UlQ
MFL Q!X
P
Î(EF\^]´UµÊ°U§E!\^G
LxJ
Y
LxJ G J
\RÊ©Ê°à
J
Y[ERG°G°U§ÓIUµÔ§UµÊdáZÊ°à^QÊ:Êxà
J X J G°GxQ
MFJ
Ê°à^QÊ©Êxà
J
á¼à^QTS
J
QFG°G°E´Î(UlQÊ
J
]ZÌUÊxà³ÎE
O
Ôl]5Ó
J G J
\RÊwä
ÿ
\³Q!\I\IEÊyQÊxUµEF\
P
Q!Ô§G°EU§\^G°U§]
J Ó L Q!Î
J G P
J
Y
LxJ GxG·U§\
M
Ê°à
J J S J
\RÊY
L
EFÓ^QÓ^UµÔ§UÊdá³G
O
ÎNÎ
J
G°GÌU§Ô§Ô-Ó
J
Q!GxG·E´Î(UlQÊ
J
]6Ê°E
J
Q!ÎyàÎ(EF\^]´UµÊ°U§E!\-ä
ÿ
L
Q!\
M!J UlG»QFÎÎ
J
Y´Ê
J
]ÊxERE[äwÈ
JNJ!P ÉÍE
L
Uµ\^G·ÊxQ!\^Î
JFP Êxà
J Y L
EFÓ^QÓIU§Ô§UÊdá
®ÎªÓÕ
±BQ!GxG·E´ÎU§QÊ
J
]U§\Ö@0U
M!OILxJ
2Ê°EZÊ°à
J
Î(EF\^]´UµÊ°U§E!\
Ñ"Ⱦ ¹»É¾Â¹ ×[ºØ ä^ÈVE!X
J
ÊxUµX
J G P
UÊ8UlGY/EFGxG·U§ÓIÔ
J
Ê°à^QÊÊ°à
J Y L
E!Ó^Q!ÓIUµÔ§UµÊdá5U§G
O
\IãV\IEÌ\Ìà
J
\ XZE´]
J
Ô§Ô§Uµ\
M ä ÿ Ô§G°E
P
UµÊÎE
O
Ôl]Ó
J
Êxà^QÊ0Ê°à
J Y L
E!Ó^Q!ÓIU§ÔµUµÊdáQ8X
J
GxG°Q
M!J E´ÎÎ
OIL
G
U§GQ)Y^Q
L
Q!X
J Ê JNL
G O Ó´ï
J
Î(ÊÊ°E5G·Ê
O
]´áFäIß\E
OIL8J QXZYIÔ
J!P Êxà
J
Î(EF\^]´UµÊ°U§E!\
²ÑÒÈ ÑººØ
QFG°G°E´Î(Uµâ
QÊ
J
]Ê°EÊ°à
J Ï
ÈIÀº ²ÑÒÈIÀ
Ï
ɾÂÈÔÑ X J
G°GxQ
MFJ UlGÎ
L
UµÊ°UlÎQ!Ô´ÉÍE
L
Êxà
J
G°áVG·Ê
J X P Ó J ÎQ
O GJ UµÊ
LxJ S J
QÔlG
àIE̶X
O
Îyà³Uµ\RÊ
J
Ô§ÔµU
M!J
\FÊ:Ê°à
J ì L EÌG
JNL UlG#Ù´G°E
P Ì J
Ì:Q!\RÊ©ÊxE)G·Ê
O
]Iá¼UÊwäRß\G
O
Îyà6G°UÊ
O
QÊxUµEF\^G
P
Ì J
ÌU§ÔµÔ7Q!\I\IE!ÊxQÊ
J
Q\ºU§]
J
\RÊ°Uv
JLwP Î(E
L°LxJ G°Y/E!\^]´U§\
M
Ê°EZÊ°à
JO
\IãV\IEÌ\ºY
L
EFÓ^QÓ^UµÔ§UÊdáFä
³ ¢:Ú A wÀFÛ©Ä"Ô¡»Æ á ÅwÔ¶^Ä[¬ Æ
È J OIJ
\^Î
J
]´UlQ
M!L
QX¼G0G·à^EÌ àIEÌ EFÓ´ï
J
Î(ÊxG0Uµ\RÊ
JL Q!ÎÊ
P Ó O ÊÊ°E+ÊxQ!ã
J
Q+ÎE!XZYIÔ
J Ê J SVU
J Ì E!É^Ê°à
J
G·á´G·Ê
J X ]´áV\^QXZUlÎG
P
UÊ©U§GQ!Ô§G°EUµ\RÊ
JLxJ G·Ê°U§\
M
Ê°E
O
\^]
JL
GdÊyQ\^]Ê°à
J
ÔµUµÉ
J
EÉE!ÓIï
J
ÎÊyGäß\
Ð+K ÑP
Ê°à
J
úù}öù}õù>°öøIúóËùuóñø ]´UlQ
M!L
QX UlGBÊxà
J
Ê°EVE!Ô/Ê°à[QÊ]
J
GxÎ
L
UµÓ
J
GBÊ°à^U§G;Q!G°Y
J
ÎÊ;EÉ7Ê°à
J
G·á´G·Ê
J
Xºä
@IE
L:J
QFÎyà5Î(ÔlQ!GxGBÌUµÊ°à
L°J ÔJ
SQ\RÊ:]´áV\^Q!XZU§Î8Ó
J
à^QTSVUµE
OIL QGdÊyQÊ
J Ê L
Q\^G°UµÊ°U§E!\6]´UlQ
MFL Q!X X O
G·Ê
Ó J G°Y
J
Î(Uv
J
]-ä
ß\ Q5GdÊyQÊ
J Ê L
Q\^G°UµÊ°U§E!\A]´UlQ
M!L QX ÊdÌ©E
J ÔJ X J
\RÊxG+ÌUµÔ§Ô7Ó
J
ÎE!\^G°Ul]
JLxJ ] P
Ê°à
J
öq(ùjó:ÜwóËùuóõ(ú
Q\^] Ê°à
J
÷10^ö*Túä
ÿ
Î(Ê°U§SVUÊxU
J G L°J
Y
LxJ G J
\RÊÊyQ!G°ã´GY
JL ÉÍE
L X J
]=ÓVá Q\ E!Ó´ï
J
ÎʼU§\ Q M UµS
J \
GdÊyQÊ
J
äÈ
O
Îyà Q!ÎÊxUµSVUµÊ°U
J
GZÎ(EF\^G
O X J ÎE!XZY
O
ÊyQÊ°U§E!\ Ê°U§X
J
Êxà^QʼX
O
GdʼÓ
J X J Q!G
OILxJ ] Q!\^]
Q\I\IE!ÊxQÊ
J
]-äBå;à
J
Q\^\IEÊyQÊ°U§E!\ ÌU§ÔµÔ8Ó
J
U§\^G°U§]
J Ó L QFÎ
J
G¼G·àIEÌU§\
M
Ê°à
J
Ê°U§X
J \ JJ
] J ]=ÊxE
Y
JNL ÉÍE
L X UµÊNä»ß}É:UµÊUlG\
J Î J GxG°Q
L á P
Q³XZU§\IU§X
O X Q\^]îQX¼Q
U§X
O X SQ!Ô OIJ
GÎ(E
O
Ôl]ÒÓ
J
Q\Iâ
\IEÊyQÊ
J
]¡ä-È
JJFP ÉÍE
L+J#
QXZYIÔ
J!P
Ó[EFÔ§]ÒÔ§Q!Ó
J
Ô§GÓ
J
ÊdÌ
JJ
\ÒÓ
L
QFÎ
J
G8U§\@0U
MFOILxJ GH
P ý P
46Q!\^]{Vä
B O Q L
]IGBG°àIE̶Î(EF\^]´UµÊ°U§E!\^G©U§\6QÊ
L
Q\[G·UµÊ°U§E!\¼Êxà^QÊ:X
O
G·Ê©à^E!Ôl]¼Uµ\6E
L ] JL
ÊxE
LxJ Êxà
J
ÎE
LxL°J
â
G·Y/E!\^]IUµ\
MZJ S J
\RÊwä ÿ Y L
EFÓ^QÓ^UµÔ§UÊdá¼X
O
G·ÊÓ
J
Q!GxG°EVÎU§QÊ
J
]¼Ê°EZÊxà
J
XäIß}ÊÌU§ÔµÔ7Ó
J
Q!\I\IEÊyQÊ
J ]
Uµ\ Ê°à
J
G°Q!X
J
Ì;QTáèQFG
MFO Q L
]IG Ì
JNL°J
Q\I\IE!ÊxQÊ
J ] Uµ\ Ê°à J G J OIJ
\^Î
J
]´UlQ
MFL Q!X
P
Q\[] Ê°à
J
G°Q!X
J
ÎE!\^G°U§]
JL QÊ°U§E!\[G+X
O
G·ÊÓ
J
ÊyQã
J
\pU§\RÊ°E QFÎÎ(E
O
\RÊNä7È
JNJ!P ÉÍE
L
Uµ\[GdÊyQ\^Î
J!P ÔlQÓ
J Ô
®"ÎÔÓÕ ±
ïdE!U§\
J
]³Ê°E¼ÎE!\^]´UµÊ°U§E!\7Ý
Ñ"Ⱦ=Þß"¹ º1ÀàÓ¹»É¾Â¹ ×[ºØ1á Uµ\~@0U
MFOILxJ H[ä
KAJ GxG°Q
M!J G·U
J
X¼QTá¼Ó
J
EFX)UµÊ·Ê
J
]G°Uµ\^Î
J
Ê°àIUlG;Uµ\IÉÍE
L
XZQÊ°U§E!\ºQYIY
J Q L G:U§\6Êxà
J GJ OIJ
\^Î
J
]´U§Q
M!L
QXäß\ Ê°à
J:J Q!X)Y^Ô
JFP Ì J
à[QTS
J ] O YIÔµUlÎQÊ
J
]Ê°à^U§G0U§\´ÉÍE
L
X¼QÊ°U§E!\ Ê°E
M
QU§\
LxJ
QF]IQÓIU§Ô§UÊdáFä
J
\IEÌ Y
LxJ G J
\RÊÊ°à
J
G·ÊxQÊ
J Ê L
Q\^G°UÊxUµEF\p]´UlQ
MFL Q!X¼GÉÍE
L E OIL
G·á´G·Ê
J X O G·U§\
M
Ê°à
J
Y^Qâ
Ð8K Ñ
\IE!ÊxQÊ°U§E!\-ä
â³ÆwÀRÄ6Æ# A NÀF Ä[¡0Æ Ã¡ Å'[¶[Ä"Ô¬E¢8ß\m@»U
M!O^L°J
? P Ê°à
J Ó J à^QTSVUµE
OIL E!ÉBQ
O G JNL
UlG
LxJ YIâ
L°J GJ
\RÊ
J
]-äVå;à
J+O
G
JL UlG©U§\³Ê°à
J¿YÉ1¾ G·ÊxQÊ
J+O
\FÊxUµÔ¡GæTà
J
Q!Î(Ê°U§SQÊ
J
G;Q
¹ º1¼º½¾ ¹ ¿ ¹»ºÀÁ½#º
J S J
\RÊNäå;àIU§G
J S J
\RÊÒG
J
ÊxG Ê°à
J O G JNL
U§\ Ê°à
Jã¿YÉ1¾²Ñ"Ê ÒÈIÀ ½#ɾ É}¼È1Ê GdÊyQÊ
J
ä+å;à
JäÈ[Åå
¹ º1ÀvÁ"º Ë£Ì£Í ½É¾ É}¼È1ʼJ S J
\RÊ
P G J
\RÊÓVá
ÿ
ÔÉ
LxJ ] P
QÔ§ÔµEÌG:Êxà
JO
G
JL Ê°E
J#
Q!XZUµ\
J
Êxà
J
ÎNQÊ°â
QÔ§E
M
Ê°E¼Ô§EVE!ã¼ÉÍE
L
Ê°à
J ] J G°U
L°J
]³G°EÉËÊdÌ;Q
LxJ!P
UµÉ0UµÊ8UlGU§\³Êxà
J
ÎNQÊxQ!ÔµE
M^P Êxà
JO
G
JL GG
J ÔJ ÎÊxG
Ê°à
J;¹»º¼º½æ¾ ¹W¿ J S J
\FÊ
P
Uµ\E!Ê°à
JNL ÎQ!G
J
Gyæà
J G J ÔJ ÎÊxGÊ°à
JkÀº×OÑ"º ½#ɾ É}¼ÈqÊZJ S J
\RÊNä
ç ©¨jÄÀVŶÆ# A NÀF Ä[¡0Æ Ã¡ Å'[¶[Ä"Ô¬E¢+å;à
JAJ#
QXZYIÔ
J G O YIY/EFG
J
G)Êxà^QÊ ÿ ÔÉ
LxJ ]=U§G6QÔµâ
Ì:QTá´G+Y
LxJ G J
\RÊU§\pÊ°à
J
G°áVG·Ê
J X P
\^EºÎ
L°J QÊ°U§E!\
J S J
\RÊUlG
L°J ÔJ
SQ\RÊ+ÉÍE
L E OIL
Y
OIL Y/EFG
J
GNä
ÈVEèÊ°à
J
GdÊyQÊ
J Ê L
Q\^G°UÊxUµEF\ ]IU§Q
M!L QX Ó
JM Uµ\^G5Ìà
J
\¶Q
Á1º¿ ¹»ºÀÁ½#º#¹¼J S J
\RÊ5UlG5G
J
\RÊ
[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}
¤Y¥v¦ ¦#è^¦ {b
q
bdg:bm
q
iF|rbdrcNi5fFr
q
vm
q n k§cNmBbd®Rg;«F|gxm
Ê°EÒÊ°à
J³O
G
JNL ä ÿ ÔµÉ
LxJ ]OéG Ó
J
à[QTSRU§E
O^L
U§G ÊdáVYIUlÎQÔBÉÍE
L Q G JL
S
JL E!Ó´ï
J
ÎÊÓ
J
à[QTSRU§E
O^L ä»ß}Ê
Ì:Q!UÊyG+ÉÍE
L
Q\
J S J
\RÊ
LxJ OIJ GdÊxUµ\
M
QG
JL SRUlÎ
J é
¹»º¼º½æ¾ ¹W¿ ¹»ºÀÁ½#º!PO¹#ÇÈ"¿ ½É¾ É}¼È1Ê Ë£Ì£ÍµP
Àº#×OѺ ½#ɾ É}¼ÈqÊ
E
L=¹»º¼º½¾ ¹W¿
íäA@IE
L©J
Q!Îyà5E!É-Ê°à
J G JLxJ OIJ
G·ÊxG:UµÊ:Y
JL ÉÍE
L
X¼G©Q)Î(EF\^Î
LxJ Ê J
Q!Î(Ê°U§E!\
P
Q\^]ZÌà
J
\6UµÊ©UlG:Î(E!XZYIÔ
J Ê J ] P QX
J
GxGxQ
M!J U§G:G
J
\RÊÊ°E Ê°à
J
Î(E
L°LxJ G°Y[EF\^]´U§\
M
E!ÓIâ
ïJ Î(ÊUµ\E
L ] JNL
ÊxE5Î(EFX)Y^Ô
J Ê J Ê°à
J
ÊyQ!G°ãä ÿ ÉËÊ
JNL Ê°à
J X J G°GxQ
MFJ UlGG
J
\RÊ
P ÿ ÔÉ LxJ
]
LxJ
Ê
OIL
\[G
Ê°EUµÊxGÌ:Q!UÊBG·ÊxQÊ
J
ÊxEG
JNL S J
Q!\IEÊxà
JLBL°J O^J G·ÊNä1@0U
M!OILxJ
HG·à^EÌG ÿ ÔµÉ
L°J ]OéGÓ
J
à^QTSVUµE
OIL
ä
å;à
J
G·Ê
JNL°J EÊdáVY
J
]³Ê
L
Q\^G°UÊxUµEF\êìë°í"îï ðïî"ñqò%óïð;ô X J
Q!\^GÊxà^QÊ
ÿ
﵃
L°J
]XZQTá³QÊ·â
Ê J
\^]ºEÊ°à
JL
G
JL SRUlÎ
J
G:Ê°à^QÊQ
LxJ
\^EÊEÉ0Uµ\RÊ
JLxJ G·Ê;à
JLxJ
ä
{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)
Do:create_GUI(c)
^user.observe_GUI_catalog(ci)
Do:add_info3 Do:add_info2
Do:add_info1
[^user.satisfied]select_sw(name)
<<more_services>>
WAIT
select_sw_service(info) ^SwManager.get_catalog(info_plus)
{1K}
{1sg}
{1K}
{100K}
{1K}
{1sg}
{1sg}
{1sg}
¤Y¥v¦
¦æõ/¦
{b
q
bdg:bm
q
iF|rbdrcNi5fFr
q
vm
q n klcm£©ªk§mdgf
è> xÂC´ÄÀö÷[¡w[¶/ÀRÄ6Æ# A NÀF Ä[¡0Æ Ã¡ Å'[¶[Ä"Ô¬E¢
Ñ
Uµã
J ÿ ÔÉ
LxJ ] P
Êxà
J
ÈVEÉËÊdÌ;Q
LxJ
K
Q\[Q
M!JNL Ó J
à^QTS
J
GpQ!GÒQ!\ G
JL
S
JL E!Ó´ï
J
ÎÊwä+ß}ÊèU§GpÌ;QUµÊ°U§\
M
ÉÍE
L Q LxJ OIJ
GdÊ
J S J
\RÊ
é%Ï
ÈIÀº ²ÑÒÈIÀ
Ï
ɾÂÈ[ÑVPªÊqº¾ ½#ɾ É}¼ÈqÊ^P'Àºø[ß"º#¹ ¾ í8Ê°E
J
\^Q!ÓIÔ
J
Ê°à
J
QFÎÊxUµEF\^G+Ê°EQ!ÎÎE!XZYIÔ§U§G°à
Ê°à
J
ÊxQ!G°ãä1@0U
MFOILxJ
ýG·à^EÌGUÊyGBG·ÊxQÊ
J Ê L
Q\[G·UµÊ°U§E!\¼]´UlQ
MFL
Q!XGÙUµÊBUlGU§\RÊ
JLxJ G·Ê°U§\
M
ÊxE\IEÊ
J
Ê°à
J
QFÎÊ°U§E!\[GBY
JL ÉÍE
L X J ]ZÊxE
LxJ
G°Y[EF\^]¼Êxà
JtÊ1º¾ ½É¾ É}¼È1Ê)L°J O^J G·ÊNäI@»U
L
GdÊ
P
Q!\6EF\FÊxE!Ô§E
M á
U§G:Î(EF\^G
O
ÔÊ
J
]¼Q!\^]
P
QÉËÊ
JNL Êxà^QÊ
P
ÊdÌ:E ]´Uvu
JNL°J
\RÊ©E!ÓIï
J
ÎÊyGBQ
L°J
Î
L°J QÊ
J ] P Ê°àIERG
J
U§\VS!EFÔµS
J ]
Uµ\ºÊyQ!G°ã5X¼Q\^Q
M!J X J
\FÊwä
ù ÄÃV¼ÆNÀRÄ6Æ [ NÀ~ NÄ"Ô¡»Æ á ÅwÔ¶^Ä[¬E¢å;à
J
G·ÊxQÊ
J Ê L
Q\^G°UÊxUµEF\p]´UlQ
MFL
Q!X Uµ\ã@0U
M!OILxJ
4]
J
GxÎ
L
UµÓ
J
G©Ê°à
J ì L EÌG
JNL éG©ÔµUµÉ
J
ä´ß}ÊUlG:QFG©ÉÍE!Ô§ÔµEÌGNÇVE!\^Î
J
Êxà
J ì L EÌG
JL UlGÎ
LxJ QÊ
J
]5UµÊ
WAIT
request(info_sale)
Do:add_info4
^salesman.reply(info_sale_plus)
^browser.reply(catalog) {100K}
{0.5sg..50sg}
{1K}
{1sg}
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)
{1sg}
{1 min}
{1K}
{1K}
¤Y¥v¦
¦ú^¦
{b
q
bdg;bm
q
iF|rtbdrtcNi¼fFr
q
vm
q n klcmbd®Rg8{!ck§bu¨
q
mdggû
q i q vwgxm
X O G·Ê
M
E;Ê°EÊxà
Jgü/Ì ý¼É½#º!P Ìà
JLxJ
UÊ»Uµ\VS!EFã
J G ÿ ÔµÉ
L°J ]OéG
¹Ç"È"¿£¹ ½É¾ É}¼È1Ê Ë£Ì£Í X J
ÊxàIE´]
Ê°E¼SVUlG
O
Q!ÔµU
J
Êxà
J Y LxJ
SVUµE
O
G°Ôµá¼EFÓ´ÊxQ!Uµ\
J
]ÎQÊyQÔ§E
M ä ÿ ÊÊxàIUlGGdÊyQÊ
J
UµÊ8ÎQ!\AQÊ·Ê
J
\^]³ÊdÌ:E
]´Uvu
JNL°J
\FÊ
J S J
\RÊxG
PªÀº#×OѺ ½#ɾ É}¼È1Ê
E
L¹ º1¼º½æ¾ ¹ ¿ äVß}É-Ê°à
J L G·Ê
J S J
\RÊ:EVÎNÎ
OIL GBÊ°à
JNL°J
Q
LxJ
ÊdÌ©E³]´U²u
JLxJ
\RÊY[ERG°G°UµÓ^UµÔ§UÊxU
J
GÇÔ
L
GdÊ
P
UµÉÊ°à
J ì L EÌG
JL à^QFGÊxà
J \ J Î J G°GxQ
L
á6ãV\IEÌÔ
J ] MFJ
Ê°E G°E!Ô§S
J
Êxà
J
ÊyQ!G°ã
P Q L°J
^\
J X J
\RʳQ!Î(Ê°U§E!\¶UlG5]´U
L°J ÎÊ°Ô§á Y
JNL ÉÍE
L X J ]6Ù©G
J
Î(EF\^]
P
UµÉUµÊ
Î
OILxLxJ
\RÊ°Ô§á=à[Q!G5\^EÊ5ÊxàIU§G³Ó^QFÎyã
MFL E O
\^]
P
Ê°à
J ì L EÌG
JL X O
GdÊ6EFÓ´ÊxQ!Uµ\ Uµ\´ÉÍE
L
X¼QÊ°U§E!\
ÉL EFX Êxà
J
ÈVE!ÉËÊdÌ:Q
L°JAK Q!\^Q
MFJLwP ÓRá GJ
\^]´U§\
M
QÐÏ
ÈIÀº ²ÑÒÈIÀ
Ï
ɾÂÈ[Ñ LxJ OIJ G·Ê5E
L
ÓVá
Ê L QTS
J
ÔµÔ§Uµ\
M
ÊxEAÊ°à
J
G·E!ÉËÊdÌ:Q
L°J YIÔlQ!Î
J
ä»ß}É:Êxà
J-¹»º¼º½¾ ¹W¿ J S J
\FÊE´ÎNÎ
OIL G P
Ê°à
J ì L EÌG
JNL
X O G·Ê8Î
LxJ QÊ
J
Q¼È´QÔ
J
G°X¼Q\ºUµ\[GdÊyQ\^Î
J
Q!\^]º]´U
J ä
^alfred.show_catalog_GUI(ci)
Do:goto_Sw_place
Do:goto_MU_Place create_browser(c)
delete_browser
Do:goto_MU_Place
{1K}
{1K}
{100K} {100K}
{1K}
{100K}
{1K..100K}
{100K..200K}
^salesman.create_salesman(info_sale)
^SwManager.more_in- formation(refinement2, ci)
[not info_need]
[info_need_travel]
select_sw(name)
refine_catalog(refinement_plus)
{1K..100K}
WAIT
[not info_need or info_need_local]
[info_need_travel]
[info_need_local]
Do: refine
^alfred.show_catalog_GUI(ci+1) {100K}
{1sg}
reply
¤`¥¦ ¦#þI¦ {b
q
bdg:bm
q
iR|rbdrtcwi5f!r
q
vNm
q n k§cNmbd®Rg=ÿ»mdc¨|gxm
[©uÀVƬ8Ô¡ A wÀÛ©Ä[¡»Æ á/[¶^Ä[¬¢+å;à
J
È´Q!Ô
J
G·X¼Q\éG M
ERQÔºU§G ÊxE
M
UµS
J J â
Î(EFX)X
JNL Î J G
JL SVU§Î
J G P QFG³Ì
J
ÎQ\G
JNJ U§\@»U
M!O^L°J
Vä ÿ ÉËÊ
JL UµÊxGAÎ
LxJ
QÊ°U§E!\½UµÊ Q!G°ã´G
Ê°à
J
ÈVEÉËÊdÌ;Q
LxJ K Q!\^Q
MFJL ÉÍE
L
GxQÔ
J
Uµ\IÉÍE
L
XZQÊ°U§E!\-䣶UÊxà¶Ê°à^U§G³Uµ\IÉÍE
L
XZQÊ°U§E!\ Ê°à
JÒJ
â
Î(EFX)X
JNL Î J
ÎNQ\GdÊyQ
L
ÊNä´å;àIUlG;U§G;QZÎ(EFX)Y^Ô
J#
ÊxQ!G°ã¼Êxà^QÊX
O
GdÊÓ
J ] J GxÎ
L
UµÓ
J
]6ÌUÊxàºUµÊxG
EÌ\
O G J ÎNQ!G
J
Q!\^]G
J O^J
\^Î
J
]IU§Q
M!L
QX ÌàIUlÎyà³UlGE
O
ÊEɻʰà
J
GxÎ(EFY
J
EÉ0Ê°à^U§GY[QY
JL
ä
å;à
J
Y^Qâ
Ð+K Ñ X)E´]
J
Ô§G7Ê°à[QÊÌ
J
à^QTS
J ] J S J Ô§E!Y
J
] Q
L°JBJ
Y
LxJ GxG·U§S
J©J
\IE
OIM
àÊxE+QFÎÎ(EFX)â
YIÔµUlG°àÒÌUµÊ°àè]´U²u
JLxJ
\RÊU§X)Y^Ô
J X J
\RÊxQÊxUµEF\^GNä ÿ \ J Î J GxGxQ
L
áÎE!\^]IUÊxUµEF\ Ê°E]
J
G·U
M
\pX
J
Ê°àIE´]IG