Portal InstitucionalUFPEL

03/10/2010 - 03/10/2014

Ciências Exatas e da Terra - Ciência da Computação

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.