ࡱ> )+(bjbjUU >??   mooooooP(o%%%o%%%%m%%m%%%P`Me%%Y0%x%x%x%4%%%%%%%%oo%%%%%%%%x%%%%%%%%% :Um documento multimdia declara uma coleo de itens de mdia e relaes entre eles no tempo e espao. Desde sua autoria/gerao at sua execuo, um documento passa por diferentes etapas. Tais etapas representam o ciclo de vida de um documento multimdia. A especificao contida em um documento pode mudar de etapa a etapa, pois um documento especificado (ou buscado), instanciado, adaptado e pode ter seu contedo e estrutura editada dinamicamente. A consistncia de um documento multimdia ao longo do seu ciclo de vida significa que o documento sempre seguir as diretrizes expressas em tempo de autoria/gerao. importante, portanto, garantir que um dado documento continue consistente. Este trabalho trata deste problema por meio da validao espao-temporal de um documento em diferentes etapas de seu ciclo de vida. O esquema de validao proposto se baseia em um modelo geral chamado SHM, que captura a semntica de documentos multimdia. A partir de SHM duas representaes de um documento so possveis. A primeira captura o leiaute de um documento em termos de seu estado ao longo de sua execuo por meio de uma teoria de reescrita. Ns a chamamos RWT (rewrite theory). Validao em RWT feita atravs de model-checking. A segunda representao captura o leiaute de um documento em termos de intervalos e ocorrncias de eventos por meio de frmulas em Satisfatibilidade Mdulo Teorias (SMT). Ns a chamamos SMT. Validao em SMT feita atravs de um solver SMT. Devido s diferentes caractersticas de RWT e SMT, cada tcnica de validao complementa a outra em termos da expressividade de SHM e do tipo de propriedades a serem investigadas. q[ j ~ LO hFhO{hO{6OJQJ]^JhFhO{6OJQJ]^JhFhO{6]hO{= > $a$gdF<P1h:pB|. A!"#$% Dpj  666666666666666666666666666666666666666666 6666666666 666666666666 6666666666666666666666666666666666666666666666666666666666666666662 0@P`p2( 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p8XV~ OJPJQJ_HmHnHsHtHD`D _NormalCJ^J_HaJmHsHtH DA D 0Default 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!Ptheme/theme/theme1.xmlYOo6w toc'vuر-MniP@I}úama[إ4:lЯGRX^6؊>$ !)O^rC$y@/yH*񄴽)޵߻UDb`}"qۋJחX^)I`nEp)liV[]1M<OP6r=zgbIguSebORD۫qu gZo~ٺlAplxpT0+[}`jzAV2Fi@qv֬5\|ʜ̭NleXdsjcs7f W+Ն7`g ȘJj|h(KD- dXiJ؇(x$( :;˹! I_TS 1?E??ZBΪmU/?~xY'y5g&΋/ɋ>GMGeD3Vq%'#q$8K)fw9:ĵ x}rxwr:\TZaG*y8IjbRc|XŻǿI u3KGnD1NIBs RuK>V.EL+M2#'fi ~V vl{u8zH *:(W☕ ~JTe\O*tHGHY}KNP*ݾ˦TѼ9/#A7qZ$*c?qUnwN%Oi4 =3ڗP 1Pm \\9Mؓ2aD];Yt\[x]}Wr|]g- eW )6-rCSj id DЇAΜIqbJ#x꺃 6k#ASh&ʌt(Q%p%m&]caSl=X\P1Mh9MVdDAaVB[݈fJíP|8 քAV^f Hn- "d>znNJ ة>b&2vKyϼD:,AGm\nziÙ.uχYC6OMf3or$5NHT[XF64T,ќM0E)`#5XY`פ;%1U٥m;R>QD DcpU'&LE/pm%]8firS4d 7y\`JnίI R3U~7+׸#m qBiDi*L69mY&iHE=(K&N!V.KeLDĕ{D vEꦚdeNƟe(MN9ߜR6&3(a/DUz<{ˊYȳV)9Z[4^n5!J?Q3eBoCM m<.vpIYfZY_p[=al-Y}Nc͙ŋ4vfavl'SA8|*u{-ߟ0%M07%<ҍ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-!Ptheme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK]  _GoBack;s3wO{_MJBF@@@UnknownG*Ax Times New Roman5Symbol3" ArialkApple ChanceryArabic Typesetting7@CambriaGMS ??MS MinchoACambria Math"8C8C|0$PF!xxeUm documento multimdia declara uma coleo de itens de mdia e relaes entre eles no tempo e espaoJoel Andr dos SantosHelioOh+'04@Ld t   hUm documento multimdia declara uma coleo de itens de mdia e relaes entre eles no tempo e espaoJoel Andr dos SantosNormal_WordconvHelio2Microsoft Office Outlook@@(e@(e|՜.+,0L hp|  . fUm documento multimdia declara uma coleo de itens de mdia e relaes entre eles no tempo e espao Title !"#$%&'*Root Entry F0Ve,1Table xWordDocument>SummaryInformation(DocumentSummaryInformation8 CompObjy  F'Microsoft Office Word 97-2003 Document MSWordDocWord.Document.89q  F#Documento do Microsoft Office Word MSWordDocWord.Document.89q