Seminário: Gramática de Grafos: Especificação e Verificação Formal

Título:  Gramática de Grafos: Especificação e Verificação Formal

Resumo:  A complexidade dos sistemas atuais requer o uso de métodos de desenvolvimento que garantem a corretude e a qualidade destes sistemas. Métodos formais de desenvolvimento podem ajudar a alcançar esses objetivos fornecendo mecanismos para descrever com precisão a estrutura e/ou o comportamento de um sistema, bem como disponibilizando técnicas de análise formal. Gramática de grafos é um formalismo flexível e bastante adequado para especificação de sistemas complexos que devem levar em conta orientação a objetos, concorrência, mobilidade e distribuição. De fato, grafos podem ser naturalmente usados para dar uma representação estruturada aos estados de um sistema, na qual são destacados os subcomponentes e suas interconexões lógicas. Os eventos que ocorrem no sistema e o fazem evoluir de um estado para outro podem ser modelados por aplicações de regras de transformação de grafos. Além disso, existem diversas técnicas e ferramentas que dão suporte a diferentes tipos de análise de sistemas descritos usando gramática de grafos. Nesta palestra será apresentada uma introdução a este formalismo.