ࡱ> ')&b bjbjVV ><<b  0\^^^^^^>^^s\\ aH0@^^ :Ttulo: Modelando e Validando Normas em Sistemas Multi-agentes Resumo: Os designers de sistemas multi-agentes abertos tem que lidar com a possibilidade de que agentes podem no se comportar conforme o esperado. Sendo assim, a definio de normas fornece um meio para regular o comportamento de agentes atravs da descrio de permisses, proibies e obrigaes para os mesmos. Nesta dissertao proposta uma linguagem de modelagem para sistemas multi-agentes chamada NormML que possibilita a modelagem de normas e dos principais elementos que as compem. A dissertao apresenta no s a sintaxe abstrata da linguagem, bem como sua sintaxe concreta que utilizada pelos designers durante a modelagem. tambm objetivo deste trabalho apresentar um mecanismo para a validao de normas em tempo de design. Esta validao composta de dois passos: primeiro, o mecanismo verifica se os modelos de normas criados respeitam as invariantes definidas pela linguagem, e posteriormente verifica se existem conflitos entre as normas dos modelos. Com a finalidade de permitir a criao de modelos da linguagem NormML e a sua validao automtica foi desenvolvido um conjunto de ferramentas chamado NormML Tool Kit para o ambiente de desenvolvimento integrado Eclipse. Palavras-chave: Norma, Sistema Multi-agente, Linguagem de Modelagem, Modelagem, Metamodelo, Validao, Conflito.  % i x   " $ R S T U    b h+CJOJQJ^JaJ hqh+CJOJQJ^JaJ?G  a b $a$gdq<P1h:p;. A!"#$% Dpf 666666666vvvvvvvvv666666>6666666666666666666666666666666666666666666666666hH6666666666666666666666666666666666666666666666666666666666666666662 0@P`p2( 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p8XV~OJQJ_HmHnHsHtHJ`J ;Normal dCJ_HaJmHsHtH DA D Default Paragraph FontRiR 0 Table Normal4 l4a (k ( 0No List PK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK!.atheme/theme/theme1.xmlYMoE#F{om'vGuرhF[xw;jf7q7J\ʉ("/z'4IA!>Ǽ3|^>5.=D4 ;ޭªIOHǛ]YxME$&;^TVIS 1V(Z Ym^_Ř&Jp lG@nN&'zξ@F^j$K_PA!&gǬへ=!n>^mr eDLC[OF{KFDžƠپY7q~o >ku)lVݜg d.[/_^йv[LԀ~Xrd|8xR{ (b4[@2l z "&'?>xpxGȡIXzg=2>ϫPCsu=o<.G4& h`9Q"LI(q }93̲8ztzH0SE+$_b9rQkZVͣiV 2n*=8OSyZ:"⨹ppH~_/PŴ%#:viNEcˬfۨY՛dEBU`V0ǍWTḊǬXEUJg/RAC8D*-Um6]Ptuyz*&Q܃h*6w+D?CprloSnpJoBӁc3 chϿ~TYok#ހ=pGn=wOikZoiBs͜zLPƆjui&e E0EMl8;|͚ 64HpU0)L O3 e:(xfä)Hy`r~B(ؘ-'4g\вfpZa˗2`khN-aT3ΑV \4  o`v/] f$~p p@ic0As\ @THNZIZ[}i RY\qy$JyϣH9\,AZjyiǛ)D]n|%lڟX̦l熹EЀ > 6ljWY DK/eby_膖L&W`VcJT14fS!:UJ0A?y6Xg1K#[]y%[BTRlwvSLɟ)4.Xt|zx\CJ#Lw@,e_}֜aN}jHP؏T$فdfl,YdTI]Zd+zoPnI hYC=!kk|l1Qn6MBŊ]|-_Ǭf^ Mθڎ`R+Wh1,Q >H *:[䠙A@V_ .ap64+lt^7st G5;Mb8s9x<ڮjI~11qM2%M2K94uo%PK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-!.atheme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK] bb b  x--".?#Atl+i;Jqbd@b8@UnknownG* Times New Roman5Symbol3. * Arial7.{ @CalibriA BCambria Math")fGf!0@P $Pb-"!xxKarenKarenOh+'0t   0 < HT\dlKarenNormal_WordconvKaren5Microsoft Office Outlook@ա@ 2@6՜.+,0 hp|    Title  !"#$%(Root Entry Fka*1Table WordDocument>SummaryInformation(DocumentSummaryInformation8CompObjy  F'Microsoft Office Word 97-2003 Document MSWordDocWord.Document.89q