Especificacao formal, verificacao e avaliacao empirica de protocolos da interacao construidos usando a plataforma jam session.

• Processo: 10/52505-0
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de maio de 2011
• Data de Término da vigência: 30 de abril de 2014
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Flávio Soares Corrêa da Silva
• Beneficiário: Mirtha Lina Fernández Venero
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Inteligência artificial Computação distribuída Computação móvel
• Palavra(s)-Chave do Pesquisador: Computacao Distribuida | Computacao Movel | Inteligencia Artificial

Resumo

Ambientes interativos inteligentes (Intelligent Interactive Environments - IIE) são sistemas multi-agentes com inteligência, interatividade e a noção de localização, Portanto, estes sistemas são convenientes para modelar e solucionar problemas que requerem técnicas da computação distribuída e móvel, do design de interação e da inteligência artificial. Recentemente, uma plataforma foi proposta para o desenvolvimento de IIE, chamada JamSession (HTTP://lidetJamSession.wordpress.com). Essa plataforma combina as características principais de iniciativas da investigação anteriores na área, e acrescenta a possibilidade de simplificar a especificação de protocolos da interação que consideram a mobilidade como noção central. Um interpretador para a plataforma JamSession já foi desenvolvido, implementado e usado para executar pequenas provas de conceito. A plataforma é simples, compacta e fácil de utilizar. O presente projeto de pesquisa tem por objetivo dar prosseguimento ao desenvolvimento da plataforma JamSession, formalizando de maneira mais detalhada e avaliando empiricamente essa plataforma. Mais especificamente, o objetivo do projeto é obter: Técnicas e métodos formais para a análise, simulação e verificação de protocolos de interação construídos com base na plataforma JamSession; Um conjunto de protocolos de referência (benchmark) para testes de desempenho da plataforma e suas implementações; A avaliação empírica da plataforma mediante a construção de um IIE especializado e o projeto e a execução de um conjunto de experimentos. (AU)