Títulos Disponíveis
Título: FRAMEWORK PARA SIMULAÇÃO E VERIFICAÇÃO DE APLICAÇÕES ADAPTATIVAS
Aluno: FREDERICO MANOEL BERTOLUCI REIS
Orientador: ALMIR ROGÉRIO CAMOLESI
Banca:
Ano: 2012 Tipo: PIBIC
Palavras-chave: Framework; aplicações adaptativas
Resumo: Aplicações complexas são caracterizadas por componentes e aspectos cuja estrutura e comportamento, comumente, podem modificar-se (Camolesi, 2007). Tais aplicações possuem um comportamento inicial definido por um conjunto de ações que desempenham suas funções elementares e podem ter o seu comportamento modificado durante a execução para dar suporte a novas funcionalidades. Tais modificações são decorrentes dos estímulos de entrada a que são submetidos no sistema e/ou da ocorrência de suas ações internas. Uma técnica utilizada para auxiliar os projetistas na modelagem de aplicações com comportamento modificável é a tecnologia adaptativa (NETO, 1993). A tecnologia adaptativa envolve um dispositivo não-adaptativo (subjacente) já existente em uma camada adaptativa que permite realizar mudanças no comportamento da aplicação definida (Pistori, 2003). É possível citar, por exemplo, trabalhos relacionados a reconhecedores sintáticos adaptativos (NETO; KOMATSU, 1988), os Statecharts Adaptativos (ALMEIDA, 1995) - empregados na modelagem de sistemas reativos - e a modelagem de aplicações complexas com base no ISDL Adaptativo (CAMOLESI; NETO, 2004a). O desenvolvimento de tecnologia adaptativa aplicado a sistemas de dispositivos adaptativos dirigidos por regras vem sendo pesquisada com totais preocupações a fim de que o usuário consiga gerenciar novos dispositivos adaptativos. Camolesi (2007) propôs um gerador de ambientes (metambiente) que possibilita a geração automática de ambientes para o projeto de aplicações adaptativas. Tal gerador fundamenta-se nos conceitos de Tecnologia Adaptativa e permite a definição de dispositivos adaptativos dirigidos por regras (Neto, 2001). No trabalho apresentado do por Camolesi (2007) uma das etapas necessárias para o desenvolvimento do gerador de ambientes é a construção de um framework para auxiliar na especificação de formas de operação para dispositivos adaptativos. Tal framework deve representar os elementos conceituais de operação de um dispositivo e permitir realizar a simulação e a verificação de aplicações especificadas com base em um formalismo adaptativo representado.
