Nome do Projeto
Explorando o Formalismo de Gramática de Grafos na Especificação e Verificação Formal de Sistemas Distribuídos
Ênfase
PESQUISA
Data inicial - Data final
03/10/2010 - 03/10/2014
Unidade de Origem
Área CNPq
Ciências Exatas e da Terra - Ciência da Computação
Resumo
Gramática de grafos já tem sido utilizada para verificação e análise de diversos tipos de sistemas. Este projeto visa explorar e/ou analisar a extensão de tal formalismo para a representação de dois tipos de sistemas: sistemas multiagentes e sistemas embarcados. Na modelagem conceitual de sistemas multiagentes temos a presença de autonomia como característica fundamental dos seus componentes, no entanto, tal autonomia adiciona uma complexidade considerável às questões de modelagem. Outra característica que deve ser considerada são os aspectos sociais dos sistemas de agentes, os quais tratam do relacionamentos entre agentes. Em particular, devem ser especificados nos relacionamentos entre agentes questões como cooperação, competição, negociação, etc. Já o desenvolvimento de software embarcado difere do software tradicional quanto às exigências impostas ao projeto, devido, especialmente, às restrições físicas de tamanho de memória, tempo de execução e consumo de potência inerentes a estes sistemas. Além do aspecto de fundamentação teórica, este projeto visa também definir técnicas e analisar aplicações de forma a facilitar e incentivar o uso do formalismo de gramática de grafos na verificação formal de sistemas.

Objetivo Geral

O principal objetivo deste projeto é o de explorar a linguagem de especificação formal Gramática de Grafos para a especificação e análise de sistemas distribuídos. Mais especificadamente, as principais metas deste trabalho serão divididas em três linhas descritas a seguir. Parte I: Fundamentação. O objetivo desta linha é de aplicar o formalismo de gramática de grafos para a descrição da dinâmica estrutural de sistemas multiagentes e para especificação de sistemas embarcados. Parte II: Técnicas. Esta linha visa explorar técnicas e propor soluções de forma a estabelecer estratégias que possam ser aplicadas sistematicamente a análise de sistemas especificados em gramática de grafos. Parte III: Aplicações. Nesta linha serão analisados e verificados exemplos concretos de sistemas especificados formalmente com gramática de grafos.

Equipe do Projeto

NomeCH SemanalData inicialData final
2
LUCIANA FOSS203/10/201003/10/2014
SIMONE DRAWANZ RUTZ1201/08/201331/07/2014

Fontes Financiadoras

Sigla / NomeValorAdministrador
CAPESR$ 0,00

Página gerada em 15/12/2018 10:03:53 (consulta levou 0.087173s)