{"id":3046,"date":"2014-07-15T08:00:17","date_gmt":"2014-07-15T10:00:17","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=3046"},"modified":"2014-07-15T08:00:17","modified_gmt":"2014-07-15T10:00:17","slug":"banca-do-tcc-alex-bertei","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/ccomp\/banca-do-tcc-alex-bertei\/","title":{"rendered":"Banca de TCC: Alex Bertei"},"content":{"rendered":"

UNIVERSIDADE FEDERAL DE PELOTAS<\/strong>
\n CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO<\/strong>
\n TRABALHO DE CONCLUS\u00c3O DE CURSO<\/strong><\/p>\n

Apresenta\u00e7\u00f5es Finais (2014\/1)<\/strong><\/p>\n

Uma tradu\u00e7\u00e3o de Gram\u00e1tica de Grafos Controlada para Event-B
\npor
\nAlex Bertei<\/p>\n

Curso:
\nCi\u00eancia da Computa\u00e7\u00e3o<\/p>\n

Banca:
\nProfa. Luciana Foss (orientador)
\nProfa. Simone Andr\u00e9 da Costa Cavalheiro (co-orientador)
\nProfa. Renata Hax Sander Reiser
\nProf. Andr\u00e9 Rauber Du Bois
\nProfa. Aline Brum Loreto<\/p>\n

Data: 17 de Julho de 2014<\/p>\n

Hora: 08:30h<\/p>\n

Local: Sala 414<\/p>\n

Resumo do Trabalho:<\/p>\n

A cada dia que passa sistemas ficam mais complexos e sofisticados. Com isso, a tarefa de especificar um sistema n\u00e3o \u00e9 f\u00e1cil e nem natural. Para garantir certas propriedades de um sistema, este deve ser especificado atrav\u00e9s de uma linguagem que ofere\u00e7a m\u00e9todos de an\u00e1lise. Diversas t\u00e9cnicas e metodologias s\u00e3o utilizadas para fazer essas especifica\u00e7\u00f5es. O fato das t\u00e9cnicas difundidas no mercado permitirem gerar resultados diferentes do que foi especificado fez com que surgisse a necessidade de utilizar m\u00e9todos formais para especifica\u00e7\u00f5es e verifica\u00e7\u00f5es de sistemas. Neste caso o sistema \u00e9 especificado formalmente atrav\u00e9s de um modelo matem\u00e1tico. Gram\u00e1tica de Grafos (GG) \u00e9 uma linguagem formal bastante adequada para especificar sistemas complexos. Em uma GG os estados do sistema s\u00e3o representados por grafos e as mudan\u00e7as entre os estados como regras. O uso de GGs \u00e9 interessante pelo fato de existirem diferentes t\u00e9cnicas para a especifica\u00e7\u00e3o e verifica\u00e7\u00e3o de sistemas que s\u00e3o descritos nesta linguagem. Al\u00e9m disso, as GGs possuem um layout gr\u00e1fico, que \u00e9 bastante intuitivo, o que torna a linguagem de f\u00e1cil entendimento at\u00e9 para os n\u00e3o te\u00f3ricos. Gram\u00e1ticas de grafos controladas (GGC) s\u00e3o GGs que permitem definir uma ordem na aplica\u00e7\u00e3o das regras, onde n\u00e3o \u00e9 levado em conta o estado, e sim uma estrutura de controle auxiliar. Entretanto, para esse tipo de gram\u00e1tica n\u00e3o existem ferramentas que permitem a verifica\u00e7\u00e3o formal de propriedades. Assim a proposta deste trabalho \u00e9 estender a abordagem de gram\u00e1tica de grafos que permite o uso de provadores de teoremas para an\u00e1lise de propriedades, para suportar estruturas de controle para a aplica\u00e7\u00e3o das regras. Com isso, a principal contribui\u00e7\u00e3o deste trabalho, ser\u00e1 possibilitar o uso de provadores de teoremas para fazer a verifica\u00e7\u00e3o de propriedades de Sistema Multiagentes (SMAs). Pois existe uma abordagem que usa GGC para especificar SMAs.<\/p>\n

Para mais informa\u00e7\u00f5es acesse: http:\/\/inf.ufpel.edu.br\/nopcc\/doku.php?id=bancas:2014_1<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOL\u00d3GICO TRABALHO DE CONCLUS\u00c3O DE CURSO Apresenta\u00e7\u00f5es Finais (2014\/1) Uma tradu\u00e7\u00e3o de Gram\u00e1tica de Grafos Controlada para Event-B por Alex Bertei Curso: Ci\u00eancia da Computa\u00e7\u00e3o Banca: Profa....<\/p>\n","protected":false},"author":881,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[4,19,17],"tags":[],"class_list":["post-3046","post","type-post","status-publish","format-standard","hentry","category-ccomp","category-ecomp","category-noticia"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-N8","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/users\/881"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/comments?post=3046"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/3046\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=3046"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=3046"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=3046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}