Coordination specification in MultiAgent Systems. From requirements to architecture with the Tropos methodology

Testo completo

(1)UNIVERSITY OF TRENTO DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY 38050 Povo – Trento (Italy), Via Sommarive 14 http://www.dit.unitn.it. COORDINATION SPECICATION IN MULTI-AGENT SYSTEMS. FROM REQUIREMENTS TO ARCHITECTURE WITH THE TROPOS METHODOLOGY Anna Perini, Angelo Susi, and Fausto Giunchiglia. 2002 Technical Report # DIT-02-0014. Also in: Proceedings of SEKE '02.

(2) ..

(3) Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology Anna Perini. Angelo Susi. Fausto Giunchiglia. ITC-Irst Via Sommarive, 18 I-38050 Trento-Povo, Italy. ITC-Irst Via Sommarive, 18 I-38050 Trento-Povo, Italy. perini@irst.itc.it. susi@irst.itc.it. Department of Information and Communication Technology University of Trento via Sommarive, 14 I-38050 Trento-Povo, Italy. fausto@dit.unitn.it ABSTRACT.

(4)

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

(6) 0') 123#4--5(6"$

(7) 7 -/8

(8) '9

(9) +: #

(10) 9 (; '=<>6" ?)$

(11) - ?*/<> $&"@3#

(12) 5

(13) -/-AB $&C"(' )*B);2" D'BB3#4E*'D

(14) -AF"GH&)I 1 ./0')"

(15) )J"6 'K2L'-)"D'M)KH-"-<, .-.-

(16) 0')"NN O-.-)P@3#Q 1P-"-)"8$&"('O )

(17) */</ "'RH0 18+$ I-.)G".D

(18) )L4D

(19) ?*5DS/6)$&-/-AT"I.-"'U), 1 ./0')"

(20) )"6 '2V$&('- )D' '--"'-.*;2C3#-9

(21) .:

(22) -AV4# .

(23) 8$ -*9'--"'95"T 82.D 6T* # / .0")-W ;

(24) -<X .DS/6)R-6O.-- YCZ.-6I @

(25) [A $&C"(' )*\6"D'])2

(26) D'M_^"`HaCbOac<

(27) K (?: (-';+d#Q 18-)"-CY$&"('O )

(28) *;-/D'I)&D

(29) )) " -A!"$&"('O )

(30) *)I-/D'!#P)- )N

(31) V .- YH6'(*/A. 1.. e -INTRODUCTION /-<-?"V(6"$

(32)

(33) V

(34) +d#Q

(35) <f

(36) /.- g-/))-P 1 )/0

(37) .D<X2/*U 16Ah4/

(38) 0') 1)B $&"9 (Y)Y.-'O: CD'; V+$i=)/0 .C&'W D'T, 10 )"$&(>

(39) 'R 0

(40) E9.-$&" ))fAVj9-1W CD<.-/0'O)

(41) )O/.---V6""

(42) ./0 H)"

(43) -/P2- DW()-<@$k.-/0

(44) )5&.-$&?: )[A9h4/0 1)"U -/Y#4E"Y5

(45) .C)-W 9.-$;: $& l<*O)"m

(46) .-.-$& ) -$n

(47) X D

(48) $7Aoh4$&?W

(49) -/p#

(50) ER

(51)

(52) H4- .0;D<*O)"8VO$&)q--?pD#P 2"GD<"2-.- 6",-?P ), 1 .-Or).)"OA st6") ')"&u=.)W Rj96" ??: e -/8v(*OH-$&Ywxj e vO0yC<"-S(6?- .D

(53) Cz6" ) ?*F'-)\

(54) 'B$& )-$&-/I./0')"

(55) )]O/.----A )V$&

(56) W

(57) P

(58) T)/-Hm9)m").<

(59) V$&)" @${"4 @

(60) HtR*/D 1tj e vT )?0 16A e -/o.-/

(61) 0') 1 " o2-TH6"')D' +$|'?u=(X-.)W --<lA Ao.-"') wl

(62) +d#Q

(63) DyP

(64) -/Q.-/

(65) 0') 1)7 16"O:}$&T~ O<

(66) }<fwl@3#

(67) 1y

(68) -/Q.-/

(69) 0') 1)7 1Q"V'0

(70) ) -'9' )-W- p~)D(<fD1twllA A 'O-)U R}àU W - @yI "'F

(71) -/;./0')"

(72) )\

(73) ; /.@

(74) 4 )-W m~ /<t-

(75) Vwl}A A;'-)")""9 ; à9 )-W- @yCA e ,. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.. $ .C5 W - l<p2!(6$ !

(76) 'L

(77) +d#Q

(78) 9 -/R.D

(79) 2.-O: '-'fA !R")"E7"

(80) D<X)0'CT92"6") 'Cu=-.)W j e v 1YO: 0 1&/O6$ U.-$&$R6"))--<f)/0 .C72U#P?L@: #Q 1m 'T(6"$ R -/-<#4G"H>"--'T,$&('O- (.-/0'O"

(81) ) /.--V0

(82) E(;"

(83) .- )(R" /.- [ ")qD 1)

(84) o)" #P"C9"j e vB" ;27)(('O6".--'fAM-[<t#7" DW " ?*Oq-"D#"-5.-/

(85) 0') 1)K/.--#P) ) 82 1u=-.D' 2/*/('O6".-)" ;j e vw}

(86) )6 ?*7I#P 18)V'"Y'6O)" " & `Ha9 )-W - t " ?*O +T"C"-6"YH*OH-$&0yCA&8 ?* )L";+ ) )D#PH"Y#&E -'-)")"5.-/

(87) 0') 1)B

(88) : .-- $&"&@3#

(89) ;

(90) -/8 '5'O0 ) ))")(C0 .)U

(91) ' .-$&$I6").D

(92) )$&-.0

(93) ")$&4#P").096"4"8DS/6)-'.-

(94) : 0'O)

(95) )NO/.----AU)I$I6 ?):xH- /.-; ) )D#_6" E -5 R0 .T

(96) o";X(wllA A4 "--'0yo .-/0'O"

(97) ) /.--m$&('- )D'

(98) P"; R}àI )-W- lA h4/0'O)

(99) )-.)G".D

(100) )"46 @'IH Y'O--&

(101) ?*O) =V

(102) -/4/-/)" 'O--"'-.-)->#P).C&.D

(103) 2m$&('O- )D' )I$&p=

(104) }<( ;

(105) t-6.-m'O--'O-".>2C3#-;

(106) ? >

(107) -/-A 36Om

(108) .C# '7^"à0bOac4$&C"(' )*#P.0 u=C8.-".--O8

(109) '.C"S/6"-m

(110) V6"mpm'D (AP" ^"`HaCbOacm$&"('O )

(111) *~ /<t-

(112) >)Y (,)-/D'+d#Q 1 'W - )$&-/Q$&"('O )

(113) *

(114) P.- 928.C"

(115) 0 .C)q-D'72/*&" z ) D#P)"&+D

(116) 6O--<" $&- ?*= "p"

(117) Y -/D<1

(118) l< @

(119) Y "',W 16"fgE(1#P ?: D'7 )-W - P"

(120) )" 176"-'N)F ) V

(121) -&8+d#Q 1 '-W "$&-/D<('OG)"; ;

(122) aPD/YCt~?-

(123) g "O

(124) .C IDS/6"?-$&-/Q.-?G.D 1 "'9'5 .CW(?)--A e .6".-

(125) 4 )R)W -!7W *D

(126) ?*

(127) mC: S(6?-$&-/7-.-?G".D

(128) )|#P-n-(WO?"$&-/

(129) ' ",H*OH-$;:}:x28

(130) Y " ?*Oq-D'=<

(131) .-.-0'O)"I& `(z` C"`0zCU

(132) .CL~)-

(133) }A "T$&(' )*7-HV5"T'D &

(134) 426") ')" &.-.--O: 6

(135) [$&('O- =

(136) P)P)".$&-/0 ) ?*G""D' "'Z(-"'D'+$ RD

(137) ?*TDS/6"?-$&-/o$&('O- l<)T#P").CR"

(138) )qD

(139) )" C: )"I#P "Tj e v#P) [2 )(('O6".--'9)8

(140) ?*Oq-D'=<";CZC: .-6O0 2" )Q 1?l .C-<( )VG"W 4$

(141) R'W - )$&-/X"" --<.D ) )D' --.CW- ?*fF`C `(z`C C"; czc<Y)d7`(z`C &C"lc czc<V`H0(zdl(`V/Cc"<V/Cx

(142) l!/Cc"<Pz VbC Cx l}aA "

(143) &)&H6".6OD'B ;+ ) )1#P-AMvO-.C]U'-.C2 "fR$&"('O )

(144) *!H-)UD# &-.-?G.D 1)B .-/

(145) 0') 1/.--YY.D 1)D'6DAv(-.)R(A) "'LOA .

(146) 'O-.)2&";-6 ?R

(147) V$&('O- ))"5

(148) .R.-/0'O)

(149) )F'O6)" -

(150) ?*B "'L

(151) DS/6"?-$&-/T " ?*O)I)B[-<t ;

(152) " )D' )\5.-/Z( LD 8 " ).-

(153) )K'O-W -'NB'W - )\ 'O-.-))!6"

(154) ,z

(155) TR-.0").- "

(156) "I

(157) .6" ?60

(158) 4 'O: W()*LW().-&#P"-!$

(159)

(160) )"5 @

(161) /I'O)D --Av(-.)I(A 'O-.)2-Y";))

(162) tH-Y"& 1.C).60

(163) 4'O-)[A @ 1D'#E!

(164) 9."'OD'BFv(-.)AX) ) ?*/<t.-.- )6: )"V '",+66V#E

(165) O--/D'5vO-.)(A 2.. THE METHODOLOGY. .9O/.--;

(166) VB^"àCbOa

(167) cR$&C"(' )*!.-HI Cz$&)m.".-6" $&('O- ))"Q6")V W()6

(168) 6

(169) p 1 O1WO'O--o)/-/

(170) = ';/.@

(171) =.-.--46".0 Q

(172) .D<(

(173) ''--"'-.* O I0

(174) ".- g0 1#P.05

(175) )D#PPIW()6:

(176) )q, ,$&(' O ,C['O@

(177) 0

(178) $&t 1

(179) ) D#] 26") ';W(C#P4 'O?u=-/P)-V

(180) X" $&('O- lA V

(181) "6" 8H*O/0

(182) Z;)t-.-?GD';2/*; YC ,. j B~?C.- 'O 0

(183) $&-AIL;'.)2;"T"R-.-?G.D 1)L+ 3#492" ). fR"

(184) "-<p" $&- ?*/<o

(185) .; "'L l A X6- "' 'O-"). R- 1W

(186) . j N.- T'

(187) 0 $&-A e $&

(188) IZ(-"'D' 'O-.))!I 6" &H*O/0

(189) Z.-?G.D 1!)Y)W - ~?-

(190) }A . j .- }<P)X)6O!<P$&(' ;7.-".--O

(191) Q

(192) .Y)[-A e

(193) . --/

(194) (?d*7 1 .D " DW RH0 1-).& )Y

(195) '5)(() )?3*/<[

(196) 8#- ) > , U-/)d* #P?526"'OD'0 1)

(197) ))d*~ 1xA e 7

(198) .V--/V IbO(cl =-/C"l< cCa 0l4

(199) ` D/C"l< àC<(lA A>

(200) 2"H0 .CQ.C"

(201) 0

(202) .: )qD 1)L

(203) 4R2-" DWO)

(204) .

(205) ,#P?")$&I-.@

(206) )qD' ./Z(D<

(207) Q#- ) X

(208) m RbOaczl}a<lA At Img )--A 0..n. Belief. -6.-A5";+$&R

(209) .R)R.D

(210) ) -'L" efPgQfPh.efP}<g#P) "V

(211) Q)Q.D

(212) ) -'"+efPgQfPh.ef/fTwl-.-?GD')+,j U. @

(213) '

(214) 0 $ 2/*93#4 /.- 1]-

(215) )")"2d#--N" .- ) ifPgQfPh.efPh.j

(216) ';.- ] +yCA"&R2 kH.; 16' #P").09"Y'O--"'-.*.--/mm.D

(217) )D ' ef.g?fPh.e,lmJ

(218) '9)V )"H0

(219) ".-

(220) X $&"T"8+ ) )1#P)&.- -- ^DQ`Ra N< nNa `Rh/< ofqp r2J l$&cf-/A e )zD#F'f -$

(221) E(> 264 .

(222) Q'O--'O-".C*; 1P#4; 6 P'O--"'-.*

(223) );'

(224) -'B2/*U" '--"'; .

(225) &7'-'O-#P#P) ) 8'O-.-'9 6O: "$&6 )*R"D#N,

(226) )H@*;"Q lA e 4 8."-S(6-".< "5'O--'O2-.-$&-&W(6" )"0

(227) 2" )7--.CL5'C: -'O-8z

(228) V, [

(229) )Hl

(230) .)[A ts U'O--'O-".C*.-?G-m

(231) m"Y'O--"'mDS/6"-H "Q'O--'O-4VZO-.-6P m-.-?G.Q [Ao"QZO-.-6O) .-/ p)Y'

(232) -'U;'O--'O-<="I'-'C ) H ) pW(6" )"C0 2" )T2-.D

(233) 6"I$ u

(234) R-H 5"T" U6O: .-$&-Yz

(235) R- .0")"Bw} DW 'O/yY'-?0

(236) 2" )wl6'O-?0 2" )1y H0

(237) -P> 1uf ?-A v -6.-8'-'".*&$&('O- "mDS/6"-Hg,'O--: 'om"'O--"'-

(238) 8.-?G.-/?3*wz6.1yCAp" #Q -*;")>-6O.-86" '&2V'- ))W D'&2/*I8'O--"'- Pm-.-?G-'fAVwldP.D

(239) 5-W -/6

(240) ) )*2 -.)G"D'92/* '(: '?)

(241) [

(242) + p'O--"'-.-)-0yCA ">D T+p P)W I'O--'O-".C*;wl 2- ) )D4 ' w+x6j]X)6OVDy .D

(243) 72,-.-?G"D'f<"$&Qp

(244) }<"" 9P-6O.-A. 1..n. are has believed dependee. Actor. 1..n. depender. Means-Ends analysis. 0..n wants. 1..n. Plan. Dependency. Contribution. {XOR}. Resource dependum. Plan. contributes to. 0..1 why. dependum. Resource. mean {XOR} mean end. contributed by. {XOR}. mean. Goal root root. 0..1 why {XOR}. pointview. Actor. Hardgoal. Softgoal. AND-OR decomposition dependum. Goal. 0..n. 0..1 why 0..n wanted by. "!$#&% ')(+*,!.-/*102*,34-65"#798;:=<?>@,A6ACBDE@, !$@1FGA/HI#J<?EK 3MLNO0"-65N# <P*10D<Q#RHD-

(245) *,3TS)<Q-/* !9O0UV!$* HI*1AQW e !

(246) .R.D " DW XVY/Y/Y[F Z

(247) ); "'! 9 4Y#Q

(248) /D'L2/* X\Y/Y/YLZ

(249) .-< m-.-?GD'2(*&4 j !

(250) /.-

(251) )5- 1: )!23#4--L;.- ] '";. @

(252) _^"Q`Ra A e ! .C .- U DW bXY/YcY[ Z 2- ))zY

(253) 'f<f.-(W - ?*/<=2- ))zT 1I2- ))-W D' 2/*]IY/YcYdK Z .

(254) -A e 'O--'O-".C*!2d#--d# .

(255) &"'?: .-

(256) -P 1P", .

(257) 8-D'I.-/0'O"

(258) ?- ?o#P?5

(259) .X

(260) 0'[P

(261) 0

(262) Y$&t l<ZO-.-6O>$&p" f<CZ )?. OR-decomposition 1..n. 0..n. AND-decomposition 1..n. yE1"!$# z'{U]5"# |)* @,>\<Q*10D<Q#RHD-

(263) O0UV!$* HI*1AQW "} j & .- }^"Q`Ra <

(264) )bX6(<1--/g">.-.--Oo X)5f-A437"

(265) ).-6 @ 1D<"#4R'O)H6Y ~ `HD aDO+$ aC@ aD <p-.-?G"D' Y3#45-.- ))qD

(266) )"&T^"Q`Ra A5"@ >"

(267) L),6D'U$&('- p

(268) L

(269) .6 Y2RHk .)W ; .0E(7 .- )D 1:d.6m'CG"?)m T.?)9+m'.-')"I QR#P" ?

(270) )HG"D']"

(271) DA{v(@

(272) 3*O").D

(273) ) )*N-O--/ .

(274) )/-/"m7,#Q -*5 ; o6 @'72Y

(275) .C)-W D'=< 1V)V.

(276) S/6" )?3*NDS/6"?-$&-/I"

(277) .D \ - 'FL5-.-?G.-

(278) )M

(279) O:x+6".)

(280) f-S(6?-$&-/-A stT+:[

(281) ' 10'O: )p.D

(282) R24

(283) ?*qD'f<

(284) +$J"t)/

(285) W()#i .

(286) D<X+$&)"I2

(287) ).I3*O-,

(288) Q

(289) ?*(: )-<t

(290) $&- ?*/< cC3C

(291)

(292) czc<8al`C OllaK czc ' . /0a

(293) 8bOaczl}a

(294) nwl ))HD'M)M0'C7TH-"-0yCA fm6"Q.-"'CV-,)96fA

(295) cC3C

(296) c0+cYI 7 1*!-

(297) )")F'G""D' $&"I xa`0<"#P" )/QXWO)#K)-O--/D' "V " ?*O)-<" Y owzV-"'yC<(

(298) ' P)

(299) "< Cca

(300) O`H04 aDwz">$&D 0yCApj9D

(301) "H:x-'Y

(302) ?*O)o.-)HoY': ?+*O)" )-<f" 88-6O.--8"

(303) 8--/V$&D z

(304) V- .0")"& R

(305) lA al`C (l}a

(306)

(307) czc)[ QC

(308) *V-

(309) )")Y23#4- Bxa`C<#PT)/8

(310) >WO)#n)m-O--/D'=<= "'3#4 )-A h4/26)J " ?*O)5.-H5)J').-1W ) )-<("

(311) ">>-6O.--p

(312) >.D

(313) &.-/)2"6O?)W - ?* g"-

(314) )W - ?* D#Q 10'f"pz6" ?G" )$&-/[" Q

(315) =wl-4

(316) : .-

(317) )T- 1"R 2- ) )D'0a

(318) "l`0 (dCcxat)]X)6yCA e .-()26)M.D

(319) K2

(320) "0

(321) -'\#P) BS/6

(322) ?0 1W $&).<>

(323) ;6"D'!)K~ 1}<4'-D'!2/ * AU3 1).-6"

(324) D<f?p"T > T./)2"68?)W - ?*7& =! </#P)&$&C . ]";?X )>

(325) )HGD'=<(Y4! A h4/)2"6O);

(326)

(327) )*O)> " ))D'TV+

(328) t)>

(329) +-R6"D' ;-W )6"

(330) ":}z6".) >w}S/6

(331) ?d*ypDS/6"?-$&-/-A "# $ a 8bOa

(332) c0+l}aR )I ,"

(333) *; @ 1)") #P").09'OG-

(334) = d/a 8bOaczlla;

(335) o / e %'& u v '-.$&?)I ) )D#P>+ O)(V6"2

(336) )-A " e %'& "'\ v 'O-.-$&?)"I8 .-$R2") 1B /m f)/I6"2O:x

(337) )-<""C-2/*&GI R

(338) [H6.: 6A % ,"

(339) P"-,O-,-.0"@S/6-P

(340) Y6"-'7 );#P"7: +$&)"" F " ?*O);+$ ")/&8WO)#k

(341)

(342) \

(343) .DA I.-".-6

(344) X$&(' )

(345) '7"R " ?*O) 21W I'-.)2D' .- M25W()6 ))q-D'M6L3#4!3*O-R'O@

(346) 0

(347) $&-<V.- ) )D'\: .)W - ?*N xa`, ' aD='O@

(348) 0

(349) $&-) A (oZ $&

(350) ;)W -U v(-.)7OAt35

(351) .V'

(352) 0 $&-< .

(353) 8 1T'-.CD'9

(354) V.-?.- )--< -?; )&

(355) ;1W

(356) ); "'L"-?I+

(357) V

(358) I.- )6'

(359) --A e 'O--"'-.*5-

(360) )")2d#--U3#45 .

(361) R)T'").D' d#

(362) D#4D'7 )-8."-.D'2(*9 ;0

(363) ".- XH*O$I2 [W

(364) *O)"

(365) .-.-

(366) 0')"IT"8'--"'6$7o R

(367) }< R @

(368)

(369) m T-6.-A e

(370) '

(371) 0 $ '").p

(372) 'I @

(373) & " ?*O->z

(374) $&D'R+$ VC-.)W 8

(375) X Y-.-?G".8

(376) .P) T2" ) )/ 1.-(0

(377) )"

(378) 0 "P#P" ('-m 1T

(379) Twl1W

(380) )0yP

(381) ' u1m"

(382) "Ywl"Z

(383) :

(384) f" 1yt ';#P 1.---/4"V'?u=-/d*O-4

(385) @ 1)")"P

(386) m.D

(387) 72,'(?G"D'2d#-7?m('--A h4".-6

(388) $&(' )P'O)W -="p@3#

(389) 'O-W - )"$&-/=

(390) : .-R)fR )"7GW;$ )L

(391) --<o2)r*'-.)2D' ,z )D#P)"OA *+@ !P>EL,+_#.-D!$# F #J0-6A4

(392) ?*)oz/.6"->T"6'CH0 '(: )"T[ Y2 )-$ 'O$

(393) 2/*;H6"'O*O)"Y

(394) L0/+c0l+(&a`} "2 11

(395) l}aXc-Cll+(5 "'+;0aDa

(396) `zl}a9bàD0CccCcI 1 .0

(397) 0

(398) .)q-Q"Q2 DW(

(399) >=?t $&-/-ApvO/.@

(400) .C "'L@3#

(401) H*OH-$&, 1I 1 ?D 'O*--/Y)L '$ )7 1 $&('- )D'#P?9"-?m)'OW('6" f )-A dN)F#4 {2M).-D' "

(402) F [-<H*H$ )

(403) "

(404) $&('- )D' ZO" )).-? ?*/<T 5z

(405) )H0 ". ~ O<D1}<26!*{-$&CF@$ \.-/

(406) 0') 1)

(407) .CN"66)"|)'O)WO'O6 )-A d 1.6"

(408) D<7. /.- Q

(409) .T.D

(410) '-' R .

(411) I)L

(412) 0'Y

(413) 0 )7",

(414) o?P"')W('6

(415) =

(416) l<z

(417) V" DWO); R-6.- gHP "po

(418) .[z

(419) X"pZO-.-6O)Y Q" fA. :}@,-c# !$# N"!$#,F # 0-6AT " ?*Omz/.-6-,9"YH*OH-$;:}:x2 .-. #P").CT)X)/('6".D'Y o P"#! .

(420) p)(Q4$&(' }Ag" H*H$ .-$&$&? ?- ?Q70 E()"7.-

(421) &P.-?G. ) Q"I/.- Q

(422) .-A % # Q'O--"'-.-)-Y23#4-/.- t .

(423) "'RH*OH-$;:}:x2T .CT

(424) I'-)"D' 'FZOH)F'O--"'-.-)-23#4--]"/.-

(425) Y .

(426) .D 728$&('?GD'=A "-U'-'O-".-)-'OG!`(z`C &C"lca aDa`+ l}a5)(W )W()"wl$&,

(427) 0y4",(6"$

(428) .

(429) Rwz86"C0y ' "H*OH-$7A "* #P) I2!z6GD'|

(430) ' -.-?GD'",+ ) )1#P)'O-)7

(431) --A. S)!.<.5D-/#J<Q-6N!.@,> B"#JA6 0. 'OG- "&H*OH-. $ Y )2" Q 1.C?: -.64R$&o62"H*OH-$&-<

(432) 14 1--/D'I

(433) .

(434) -AQ"C*7 1R

(435) )"-'76"2"

(436) VV6"2" m

(437) o"

(438) )8

(439) '9 @

(440) "m )"D'R" H*OH-$7A & --"'-.-)-L2d#- 62 .C'O-.)2FF.-/

(441) : ') 1\O/.----<P2d#-N9H*OH-$ .-$&-/-A j9-1W D</P6":xH*OH-$ '-'".-)-p-.-?G"D''6: @ 1DS/6)$&-/I

(442) ?*O);.D

(443) N2z6O"RGD' @'O-/?+*O)""H*H$ 6"2" .

(444) I#P").0N#P) ) P" -*" ) >'O--'O-<(z

(445) 8- .07-.-?G.Y'O--"'-.*/A (t

(446) .C5

(447) .m)P.C"

(448) 0

(449) .)q-D'92/* RCV

(450) o/.- g.D " 2") )?: &1W(@'O)""9./0')"

(451) )]$&.C" ")$&TDS/6"?D' 2(* .-/0'O"

(452) ) O/.----.-?G-' % .

(453) '--"'-.-)--ApV-6 )4f"V

(454) .0"?-.6O0 'O-)) "4$

(455) "V

(456) "4H*H$|6"2" .

(457) X, 8p

(458) = -/-A. 9#R-/@ >#JB BN# A6E10

(459) )$&

(460) 4-.-?+*O)"Y"m

(461) -/$&).

(462) :x W - lA 3. e "))/D<866

(463) ?*/<P")$&" )-$&(0 1)] @ 1z

(464) $

(465) )- 'O*N2-\.0"M "'N")&.D

(466) ]290

(467) E -\)/ .-.-6"/)&

(468) 0'tTCz$ Y'0

(469) ) -''O-)& 1t#P) ) $ '?-.C )*IYP.-('Atv(</+)H0 ".<O.-@'O)" 7s & ;~

(470)

(471) Q @ 1z

(472) $7<oD .0

(473) -/T.D " 2 )?3*L)I'OGD' 7C$&V

(474) t2 )+-<f" , "'7-W -/V "'7D .05" ) $&Pt

(475) $&.T

(476) .)"-5 A 40dC` l}a

(477) "'a I RO} l}ab`HaxaDa c7DS/6"?D'N2/*BD .0].-/

(478) 0') 1M/.- (W )WO)R"Y

(479) -/V

(480) Y

(481) )'-)D'7 1m)$&A. /F H >E#,F # 0-/@ -6*10% .)W(?!('O6".-F i)$&" )-$&-/0 1 6. E - )

(482) .-.-

(483) 0')"Y,"m'C0 ) )D''-)-.)G".D

(484) )[A h4(' )8 '"'OD'I E - )76")"R",O0

(485) $&$&)" @

(486) "6 6""

(487) D'L2/*"&)$&" )-$&(0 1)L

(488) z

(489) $7A % D# 6":})$&L./0')"

(490) ){O/.---U.D n2!-HD'

(491) )"Hm" 'O-)7J2 k3-.)W --A. 3. AN EXAMPLE. "8Z $&" ),."'OD')")Q

(492) m Q2-9Z(0

(493) .D' +$ -.0" )

(494) *F0

(495) "HzCO.k3-. )$&D'F

(496) 'W - )! j96" ??: e -/ov/*H${wxj e v"y='W D'mm6"

(497) g'O-.-))Y$ E/: )"Y2/*I-.0").- "tf"m

(498) ).-6" ?60

(499) = 'OWO)

(500) *&W().-V#P.0 C0

(501) -Q)64-)~ (+yCAt"m ),

(502) g"V 'OW(

(503) Q)

(504) Yz 1W)"B"U " )).D

(505) )

(506) Id/-0 1D' s ('O6".) wl s y 0

(507) .).---<>#P").0B

(508) .C"

(509) 0 .C)q-D'B2(*L 5 )1# -(WO?"$&-/0 )$&

(510) .D<O2(*, )/.D o

(511) " 8('6.--A 3"R-HT;-.)#&

(512) ) >+/.-6"YU";-

(513) ?*C: S/6"?-$&-/P$&('O- [

(514) o" s '$ )5

(515) '99"

(516) DS/6)C: $&-/4$&('O- l<(#P"8 j e v&#P) ) =2,)(('O6".--'

(517) P T)" ).

(518) obtain registration trademark. obtain profit work in an healthy environment. collect orchards data. support IP application. follow EU rules Local Government. Producer. favour IP production. follow IP production protocol. manage disease crisis. choose & apply IP practices. obtain salary. define IP protocol. obtain founds. +. be advised on disease models. Advisor. Plant Disease Expert. be aware of new IP. provide disease data & models. provide IP techniques. LEGEND actor depender. goal. dependum. dependee. dependency. "!$#' y@,!.>L!$# NDE!.# F #J0-6AbF *B"#J> W4S HI* !$-6* 0&* 3V-65N# @ <Q-c* !BD@ !$@1F F *B"#J>OO0" -65"# ( * !$ @,0D?@ -6*10"@,>\A/#R-/-6O0"NW *. .-.

(519) .DA e E .0

(520) g,

(521) .0"?-.C60 f'O-)#P) ) f2V"O: (-'fA 3.1 Early Requirements. P` O+`C Clc+-aD(c-CcaN+"9aDa`Hzl}a b`HaDCCccCc 0Cl4C\a &+Lcx1 a) C`Cc8+C` &aD RcP cCpam/dbC/CxCc"0ClCRbOz`0cPa xa`0c T

(522) ?*)VH0

(523) m@'O-/?+*O)";" H0

(524) E - 'mpY ?: .6" ?6m('O6".)H*OH-$ [64-) "'&$&('- ))" "$

(525) 8

(526) .-<'-).D'2/*.-?.- )-m) X)6OYO n" Re,l./f.m--/T" " )

(527) 1#4;#P " .C "6O6"-8R2 kH-.)W 6".0

(528) 8) 6[`

(529) h

(530) `CgQ Rmz ) )D#P)" ..--0

(531) 2" )T$

(532) E PH0 1-)--<f

(533) '9

(534) wI h]`9x.f/à x6j fPh

(535) JhmTf.h6A e

(536)

(537) r Q$&('O- )Y;-.0"").-

(538) Q"; 'W(?: "

(539) .] *9W().-

(540) m" m2--5m6"92(*" )/.D

(541) X1W C: $&-/)]0'O1W(' L6"O('6". .0"/)5 "'L " ?*O)"";2-HT

(542) ).-6 )6O0 >0

(543) .).-- "'N-.0"S(6-5wl-5"9

(544) r lggP n `Rgga /`$ hyCA ", 'W()m @ -*OQ TE *& ) )96P 1D I)".8",$ 1: kH

(545) ?3*QO('6".Y

(546) ;YOz

(547) 4l 1$&-<g* .0E9-.)G".RE() ) ), "' u1 1RV.-OG'O-/V"65

(548) 'OO& 9 s "O

(549) .CfA .R/à$^".f.Mhm+fPh6f @ -*Og2

(550) T Y)"H?6)" "t .C "'R P0

(551) .).D ( ))T$&)"m s '?u=6R)T6OX: )7wl-"Q

(552) `$ n gQ Re,l. h/< OJa a 6w Mla f r yCA d, 6" ))HY '$&))2" );.0"$&.- )Y "'S/6

(553) /)d* ))$&)-<g ..-0'O9 (p6- V")L

(554) --$&-/-A "T6 ,

(555) Y*/D 1 ?*76"='

(556) D'5

(557) '7.-('OD'5)( &O: '6.)/. lA ">

(558) . n"a `h6 i r f/` r f"!Rg?fP =-O--/fo-D

(559) .0"C ) 2") )).D ("-$&-" "',Y

(560) "$&).D

(561) -.0"@S/6--A e $&",)q u

(562) "CtJ2 k3-.)W -> 1t

(563) 0 Hz)" --

(564) .0 -6 )'?-.C )*N!"5O('6.)] )-W }<P+H0 .- 1W(')")+-.)'

(565) 0 'U')D

(566) ;)$I6 @ 1)L$&('(: - )-<8 #4- ) "# u=-.)W -H$ " -$&-/-.CO: "S/6"wl-5U

(567) gQ

(568) efe# r f/` r f e`6[`%$ myRefPa r < gQ

(569) ef n [f/Pxh

(570) &,l.f r yCA. 6. " .C'O@

(571) 0

(572) $ ) X69D#P;$&m".??: .D

(573) m./0')"

(574) )]O/.---&2C3#-N7'O$ )NH0 E " '(: 8#P).Cf<f

(575) &$

(576) ..-").I )-W- l<f6" ?,)U kH)/ u=

(577) 8 ')-$&)"

(578) 5 s A4h4/0'O)

(579) ) )$&(' -'F)\$&&

(580) '-'O-".-)-P2d#-", .

(581) -A 3\

(582) ).-6

(583) D<m"U .

(584) n" Re,l./f.T'--"']U .

(585) .R/`Ra1^".fPhm+fPh6mz

(586) Y20

(587) )")" O('6.,.-C)G".D

(588) )\wllA A 6`" h]Ef'( r `6) hcE`.efPm+`Q*Dyg

(589) tH0

(590) >"

(591) t"$ u1"Qz )D#P s 0

(592) .).---<V &DS/6)-'F2/*B-.-?G.5$ 1E &.-AJ" )/.D V1W $&-/;6N*/D 1 ?*F s O('6.)\O

(593) : .- "')6-tV'O-?D'&.-?G.-

(594) ) ?*;,"P('O6".-C 1V+ ) )D#PT?DA8vOO<"T .C+ .R/à ^D.fPhm+fPh6,'O--"'m "m

(595) .T n" Re,l./fP=)0'C4 DW P?4

(596) , O a a 6w- n gPERe,l.qp ) h

(597) gPE.RcJa 1HG"D'fA e Q ?D 'O*"

(598) .D'f<("8 .

(599) e

(600)

(601) r " -*O[p )4$&-/D<#P) -.XQ"p('O6".-CD<) .D 1: *O)"&6"7 " )TO('6.)5

(602) .-.-0'O)"&;"Y s 6" )Amv(;" .C e

(603)

(604) r Rm

(605) '&nNERe,l.cfPP.- )- ?*./0')"

(606) --; .

(607) n" Re,l./fPX'-'Q .

(608) y }e

(609)

(610) X)9

(611) 0'Q_ .x$ f.$ `gga j/ ntgP`. /f r ..-0'O;&" r ('O6".)5/. or

(612) ' )70'OQC m+`h.`'Qf4e# r f/` r f P0 r r #P").09$ -*/.-.-6m)9.- Y 6"Oz

(613) ----W (>

(614) 'R"

(615) >DS/6"?-pY '4

(616) "

(617) -$&D'(*T .)[</H) ) s .$&" ) /D2A 1V).--W (<Q .

(618) }e

(619)

(620) p r fc' a a f/-I'O>EPx.I`QEe "me

(621) `6.[`V+ n"

(622) 0R'e,l.t/fPT+$4

(623) )(

(624) 0

(625) )H) +*O)"6Y""=)q'u1

(626) "Dt'; .C: ] r 6Vf"8')D 8--.-,

(627) '-W 6O)"8

(628) D Y6""' ")R.-( lAj9

(629) WD<o"_ e

(630)

(631) P'O--"'Y! .

(632) n"a `h6yi r f/` r f"!RgQfP )9

(633) 0'QT6"r ,Cu=-.)W 'O- $&(' wllA A 9 10 )"T

(634) ?f]`Pe

(635)

(636) r f/e9Jhe# r fc` r fmyRefPa r '7 CQ)z

(637) $

(638) )"C#M s -.0"@S/6-83w ?f+`cw`Qf}h.fw4 n=yCA s4

(639) \

(640) .-<9 e

(641)

(642) r R8 "'!" nNa `Rh6i r f/` r f%"!Rg?f. I

(643) z6'OD'U2/5 * .R/à^".fPhm+fPh6yCA;I t'-'".* ef6 h.f cx.f7 n gQ PRc a 23#4--" .R/à ^".fPhm+fPh6 '&"b n"a `h6 i r f/` r f8"!Rg?f. Y. -R /[A5xI$&('O- ) ".-/)2"6O) >"TZO8U1W(')"&T-.0").D oE() ) -.-- 1*5z

(644) 'CG") L('O6".)]

(645) /.- m

(646) + ) )1#P" (p6D 8)9H0 1-).T'?-.CW--A " (>

(647) ?* v DS/6)$&-/$&('- f)m+6PGD'92/*.-O: ')B ) 8? .

(648) 9

(649) '\2/*F " ?*Oq-)"L-?

(650) )-A % C# .C "'F'O--"'-.--I.- N27 ''D')B"$&('- lAN" ['

(651) 0 $'").D') X)6O ;"D#PQ"8 " ?*OP

(652) X" r lggQ n `gga /`6) h/<p+$ "7/,WO)#

(653) ,".

(654) choose & apply IP practices. query disease historical data. Plant Desease Expert. support IP application. resource monitorr. assess infection risk. plan. plan the intervention. means-end +. + + check weather forecast. Meteo Service. softgoal. + +. acquire data. query historical meteo data historical data bases. LEGEND. manage disease crisis. Advisor. have a spatial representation. weather forecast. contribution (positive). + run disease models. OR decomposition. orchards status data. AND decomposition. Producer. "!$#N' +@ !P>EL !$# D!$# F #J0-6A F *B"#J> WU]5"# * @,>4BD@ !$@1F * 3{-65N# ,* @ >

(655)

(656) t@,0"@ >EL ?#JB 3M!$*F -65N# HI*10-_* 3N# * 3y-65"# @,<Q-/* ! "!# dW *. .-.

(657) .+e

(658)

(659) r }A

(660) r lggQ n&`gga c`$ h&./)2"6I?)W - ?*! V+6" ?G ) )$&-/Qg2 )yPx$ r f.$ `gga j+ n gP`. /f r ' m+`h.`'Qf e# r f/` r f P0 r r z

(661) #P").0U; .Cn" Re,l./fPt"D'8 e %'& ./0')"

(662) #P?B" .C_ e

(663)

(664) r }A

(665) Q.D B2 " 'O-.-$&D')(R YQg$&V-.-?G.V6"2"

(666) -<lA A}`P &,l

(667) f e`6[`/< ` rr f rr h f/q) Jh r < ga `h_cx.f h6fP .fPh6) h

(668) ' myJh

(669) ?6

(670) )5

(671) @V,)/W -/)fA j9

(672) -1W D<("m@ I x.` .fy` r g.`6) àRf.gQEf r fPh6`$ hm 1) 2& 2 )8;W()6 ))q-,,'" 10 I9 R$

(673)

(674) X"8#P )Y

(675) - 6'O4./ 2/*Im 'W() )

(676) ) D#K) $ u1">Yz

(677) $ )N 5$&u=-.)W #Q -*2

(678) !"'" 10 U

(679) .DS/6")?)F .)W(?3*

(680) ';"V $&-/Qg )z.)E5wlmmd#T?)W ./)2"6)7 )E(m)CX64 OA d,"oz ) D#P)"m#>.-'Xp" [ 1[> 'W()g: +$&X)T0'OXm

(681) )H+* -$|

(682) .-.-0'O)"VP.-6O-/o0

(683) .).---A j9- "[m 1)H+*,t R `. &,l

(684) Ef e`6[`4.")HX) )"V'"

(685) 0 6" ?)" +$ 2"W

(686) )

(687) ';$&D

(688) 6-$&(p

(689) .)W())-t: +$&D'=<oD

(690) .C!- f<o)L"&

(691) .C"

(692) 0'O-<p Y#- ) 4 Y)!) .6-/P$&-;'"

(693) 0 (A )og$&('- )D' ) X)6V P#P?I Po

(694) "

(695) "-<'-.CD'Y Z

(696)

(697) --<(#P").C 1m- 1D' m

(698) N`. &,l

(699) Efe`6[` 6"\-.-?G".7$&D H:x-'!-

(700) )"")-<QlA A &,l.fP j e# r f/` r f x

(701) r 0 /à/e`6[`/<1#P").0T+Xm")H).D

(702) "'

(703) 0 VT4O--".

(704) p"T')D

(705) R)9R 1D O< &,l.fP j9x

(706) r 0 /à1mTfq[fce`6[`Y#P").C CzT5")H).D

(707) Q.- )$ 1 ' Px.f/

(708) wfc`$x.fP REf/c` r wz .6-/P$&-;'"

(709) 0 yCA " ?*O)/6O L ./0')"

(710) )MO/.--- @ 1D'NU"ZO-.-6)F

(711) 8"9"

(712) "-<4*N