Título: FixOnto: Um Método para Enriquecimento Semântico e Verificação de Modelos de Características em LPS Sensível ao Contexto

Data: 28/07/2017 Horário: 13h Local: Sala de Seminários - Bloco 942-A (GREat) - Campus do Pici

Resumo:

Linhas de Produtos de Software Dinâmicas (LPSD), projetadas para gerenciar variabilidade de sistemas auto-adaptáveis em tempo de execução, vêm sendo empregadas para sistematizar e maximizar o reuso no desenvolvimento de aplicações sensíveis ao contexto. Para esse fim, existem também as LPSSC (Linhas de Produtos de Software Sensível ao Contexto), focadas exclusivamente no suporte à sensibilidade ao contexto. Modelos de características (MC) são a principal forma de representar as similaridades e variabilidades em LPS. Uma LPSSC contém o MMSC (Modelo de Características Móvel e Sensível ao Contexto), que inclui o modelo de características e o modelo de contexto. Mesmo sendo a principal representação do conhecimento sobre um domínio em LPS, esses modelos apresentam limitações de expressividade. Por exemplo, aspectos de domínio relevantes (como um recurso de contexto que implementa um caso de uso particular) não são descritos. Além disso, esses modelos podem conter inconsistências que podem gerar produtos inconsistentes. Desse modo, o objetivo deste trabalho é propor um método para adicionar semântica ao MMSC e realizar verificação automática da corretude e consistência desses modelos. Para avaliar o método é implementada uma ferramenta e realizado um estudo de caso utilizando uma LPSSC chamada Mobiline.

Banca:

• Prof.ª Dr.ª Rossana Maria de Castro Andrade (MDCC/UFC - Orientadora)
• Prof. Dr. Windson Viana de Carvalho (MDCC/UFC - Coorientador)
• Prof. Dr. João Bosco Ferreira Filho (MDCC/UFC)
• Prof.ª Dr.ª Vânia Maria Ponte Vidal (MDCC/UFC)
• Prof. Dr. Vinícius Cardoso Garcia (UFPE)