Usando Modelos Para Apoiar a Especificação e Verificação de Requisitos de Ubiquidade

A computação ubíqua é caracterizada como um novo paradigma onde o poder de processamento está disponível de forma onipresente e imperceptível no ambiente do usuário. Explorar este paradigma em projetos de software permite tratar soluções para problemas até então inviáveis devido a suas características gerais de utilização e acesso. Assim, essa pesquisa visa evoluir uma abordagem de apoio à definição e verificação de requisitos de ubiquidade ao definir estruturas (através de um metamodelo chamado UbiModel) para guiar a geração da especificação. Nesse contexto foi desenvolvida uma ferramenta que usa UbiModel para apoiar a descrição dos requisitos de ubiquidade de forma mais robusta. Considerando que os requisitos são usualmente definidos sob o ponto de vista das demandas e necessidades do usuário, a ferramenta permite a integração das características de ubiquidade com o ponto de vista do comportamento esperado do sistema, propiciando a descrição dos requisitos de forma abran-