{"id":1057,"date":"2012-05-21T09:03:07","date_gmt":"2012-05-21T12:03:07","guid":{"rendered":"http:\/\/w3.ufsm.br\/ppgi\/?p=1057"},"modified":"2012-05-21T09:03:07","modified_gmt":"2012-05-21T12:03:07","slug":"2505-defesa-de-dissertacao-de-mestrado-calculo-de-ambientes-tipado-sensivel-ao-contexto-para-aplicacoes-pervasivas","status":"publish","type":"post","link":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/2012\/05\/21\/2505-defesa-de-dissertacao-de-mestrado-calculo-de-ambientes-tipado-sensivel-ao-contexto-para-aplicacoes-pervasivas","title":{"rendered":"25\/05 &#8211; Defesa de Disserta\u00e7\u00e3o de Mestrado &#8211; C\u00e1lculo de Ambientes Tipado Sens\u00edvel ao Contexto para Aplica\u00e7\u00f5es Pervasivas"},"content":{"rendered":"<div><strong>Programa de P\u00f3s Gradua\u00e7\u00e3o em Inform\u00e1tica &#8211; Defesa de Disserta\u00e7\u00e3o de Mestrado<\/strong><\/div>\n<div><\/div>\n<div><strong>T\u00edtulo: <\/strong>C\u00e1lculo de Ambientes Tipado Sens\u00edvel ao Contexto para Aplica\u00e7\u00f5es Pervasivas<\/div>\n<div><strong>Aluno:<\/strong> Douglas Pereira Pasqualin<\/div>\n<div><strong>Orientadora:<\/strong> Profa. Juliana Kaizer Vizzotto<\/div>\n<div><strong>Banca Examinadora:<\/strong><\/div>\n<div>Juliana Kaizer Vizzotto, Dra. (UFSM) (Presidente\/Orientadora)<\/div>\n<div>\u00c1lvaro Freitas Moreira, Dr. (UFRGS)<\/div>\n<div>Eduardo Kessler Piveta, Dr. (UFSM)<\/div>\n<div>Iara Augustin, Dra. (UFSM) \u2013 Suplente<\/div>\n<div><strong>Data: <\/strong>25\/05\/2012<\/div>\n<div><strong>Hora:<\/strong> 14:30<\/div>\n<div><strong>Local:<\/strong> Sala 321<\/div>\n<div><\/div>\n<div><strong>Resumo:<\/strong><\/div>\n<div>Atualmente, a computa\u00e7\u00e3o m\u00f3vel est\u00e1 mais presente na rotina das pessoas. Celulares, <em>notebooks<\/em>, <em>smartphones <\/em>e  redes sem fio fazem parte do cotidiano. Com essa tecnologia dispon\u00edvel,  as pesquisas na \u00e1rea de computa\u00e7\u00e3o pervasiva crescem a cada dia. A  ideia da computa\u00e7\u00e3o pervasiva surgiu com um artigo escrito por Mark  Weiser em 1991, com uma vis\u00e3o pessoal de como seria a computa\u00e7\u00e3o no  s\u00e9culo 21. Weiser descreveu que a computa\u00e7\u00e3o faria parte do cotidiano  das pessoas, e estaria acess\u00edvel em todos os ambientes. Al\u00e9m disso,  seria t\u00e3o natural que passaria a ideia de estar \u201cinvis\u00edvel&#8217;\u201d no  ambiente. Para tornar a computa\u00e7\u00e3o invis\u00edvel, as aplica\u00e7\u00f5es devem ser  pr\u00f3-ativas, solicitando o m\u00ednimo de interven\u00e7\u00e3o do usu\u00e1rio para o seu  funcionamento. Um conceito importante que surge na computa\u00e7\u00e3o pervasiva \u00e9  a \u201csensibilidade ao contexto\u201d. Contexto \u00e9 qualquer informa\u00e7\u00e3o que pode  ser utilizada para caracterizar uma entidade. Com base em informa\u00e7\u00f5es  contextuais, as aplica\u00e7\u00f5es podem se adaptar dinamicamente aos ambientes  em que est\u00e3o inseridas, tornando-se pr\u00f3-ativas e transmitindo a ideia da  invisibilidade. Novas linguagens de programa\u00e7\u00e3o ou at\u00e9 mesmo novos  paradigmas est\u00e3o sendo desenvolvidos, tentando tornar mais intuitiva a  programa\u00e7\u00e3o de aplica\u00e7\u00f5es pervasivas. A maioria dessas linguagens tentam  adicionar novas funcionalidades em linguagens j\u00e1 existentes. Por\u00e9m,  alguns autores defendem que devem existir novos formalismos que ajudem a  modelar as propriedades dos sistemas pervasivos, em especial a  sensibilidade ao contexto. A descri\u00e7\u00e3o formal de um sistema modelado  atrav\u00e9s de m\u00e9todos formais pode ser utilizada para demonstrar que  algumas propriedades do sistema est\u00e3o corretamente modeladas. Nesse  sentido, este trabalho estuda um modelo formal que pode servir como base  para especifica\u00e7\u00e3o de novas linguagens de programa\u00e7\u00e3o, chamado C\u00e1lculo  de Ambientes Sens\u00edvel ao Contexto (CASC), proposto para descrever  ambientes m\u00f3veis e aplica\u00e7\u00f5es pervasivas. Outro m\u00e9todo formal que \u00e9  utilizado para especificar linguagens de programa\u00e7\u00e3o s\u00e3o os sistemas de  tipos. Sistema de tipos ajudam a garantir que um sistema se comporta de  acordo com a sua especifica\u00e7\u00e3o, ou seja, \u00e9 uma maneira de provar  formalmente a aus\u00eancia de comportamentos indesejados dentro de um  sistema. Dessa forma, a principal contribui\u00e7\u00e3o deste trabalho \u00e9 a  defini\u00e7\u00e3o de um sistema de tipos para o CASC com o foco no controle de  comunica\u00e7\u00e3o entre processos. Como estudo de caso foram modelados dois  cen\u00e1rios reais utilizando o CASC, demonstrado o uso do sistema de tipos  desenvolvido. A propriedade <em>preservation <\/em>(ou <em>subject reduction<\/em>)  do sistema de tipos foi provada formalmente, demostrando que o sistema  de tipos est\u00e1 correto, ou seja, atingindo o objetivo principal do  trabalho.<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Programa de P\u00f3s Gradua\u00e7\u00e3o em Inform\u00e1tica &#8211; Defesa de Disserta\u00e7\u00e3o de Mestrado T\u00edtulo: C\u00e1lculo de Ambientes Tipado Sens\u00edvel ao Contexto para Aplica\u00e7\u00f5es Pervasivas Aluno: Douglas Pereira Pasqualin Orientadora: Profa. Juliana Kaizer Vizzotto Banca Examinadora: Juliana Kaizer Vizzotto, Dra. (UFSM) (Presidente\/Orientadora) \u00c1lvaro Freitas Moreira, Dr. (UFRGS) Eduardo Kessler Piveta, Dr. (UFSM) Iara Augustin, Dra. (UFSM) \u2013 [&hellip;]<\/p>\n","protected":false},"author":25,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-1057","post","type-post","status-publish","format-standard","hentry","category-noticias"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/posts\/1057","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/users\/25"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/comments?post=1057"}],"version-history":[{"count":0,"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/posts\/1057\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/media?parent=1057"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/categories?post=1057"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ufsm.br\/cursos\/pos-graduacao\/santa-maria\/ppgcc\/wp-json\/wp\/v2\/tags?post=1057"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}