{"id":4808,"date":"2018-04-16T14:45:15","date_gmt":"2018-04-16T16:45:15","guid":{"rendered":"http:\/\/inf.ufpel.edu.br\/site\/?p=4808"},"modified":"2018-04-16T14:45:15","modified_gmt":"2018-04-16T16:45:15","slug":"seminario-gramatica-de-grafos-especificacao-e-verificacao-formal","status":"publish","type":"post","link":"https:\/\/wp.ufpel.edu.br\/computacao\/ccomp\/seminario-gramatica-de-grafos-especificacao-e-verificacao-formal\/","title":{"rendered":"Semin\u00e1rio: Gram\u00e1tica de Grafos: Especifica\u00e7\u00e3o e Verifica\u00e7\u00e3o Formal"},"content":{"rendered":"<div>Palestrante: Luciana Foss (Computa\u00e7\u00e3o &#8211; UFPel)<br \/>\nData: 16\/04\/2018<br \/>\nLocal: sala 434, Campus Porto<br \/>\nHor\u00e1rio: 17h10<\/div>\n<p><b>T\u00edtulo:<\/b>\u00a0 Gram\u00e1tica de Grafos: Especifica\u00e7\u00e3o e Verifica\u00e7\u00e3o Formal<br \/>\n<b><\/b><\/p>\n<p><b>Resumo:\u00a0\u00a0<\/b>A complexidade dos sistemas atuais requer o uso de m\u00e9todos de desenvolvimento que garantem a corretude e a qualidade destes sistemas. M\u00e9todos formais de desenvolvimento podem ajudar a alcan\u00e7ar esses objetivos fornecendo mecanismos para descrever com precis\u00e3o a estrutura e\/ou o comportamento de um sistema, bem como disponibilizando t\u00e9cnicas de an\u00e1lise formal. Gram\u00e1tica de grafos \u00e9 um formalismo flex\u00edvel e bastante adequado para especifica\u00e7\u00e3o de sistemas complexos que devem levar em conta orienta\u00e7\u00e3o a objetos, concorr\u00eancia, mobilidade e distribui\u00e7\u00e3o. De fato, grafos podem ser naturalmente usados para dar uma representa\u00e7\u00e3o estruturada aos estados de um sistema, na qual s\u00e3o destacados os subcomponentes e suas interconex\u00f5es l\u00f3gicas. Os eventos que ocorrem no sistema e o fazem evoluir de um estado para outro podem ser modelados por aplica\u00e7\u00f5es de regras de transforma\u00e7\u00e3o de grafos. Al\u00e9m disso, existem diversas t\u00e9cnicas e ferramentas que d\u00e3o suporte a diferentes tipos de an\u00e1lise de sistemas descritos usando gram\u00e1tica de grafos. Nesta palestra ser\u00e1 apresentada uma introdu\u00e7\u00e3o a este formalismo.<\/p>\n<div class=\"yj6qo\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Palestrante: Luciana Foss (Computa\u00e7\u00e3o &#8211; UFPel) Data: 16\/04\/2018 Local: sala 434, Campus Porto Hor\u00e1rio: 17h10 T\u00edtulo:\u00a0 Gram\u00e1tica de Grafos: Especifica\u00e7\u00e3o e Verifica\u00e7\u00e3o Formal Resumo:\u00a0\u00a0A complexidade dos sistemas atuais requer o uso de m\u00e9todos de&#46;&#46;&#46;<\/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,23,18],"tags":[],"class_list":["post-4808","post","type-post","status-publish","format-standard","hentry","category-ccomp","category-ecomp","category-noticia","category-ppgc","category-todos"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/paGhNl-1fy","_links":{"self":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4808","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=4808"}],"version-history":[{"count":0,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/posts\/4808\/revisions"}],"wp:attachment":[{"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/media?parent=4808"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/categories?post=4808"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wp.ufpel.edu.br\/computacao\/wp-json\/wp\/v2\/tags?post=4808"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}