Banca de QUALIFICAÇÃO: SARAH RAQUEL DA ROCHA SILVA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: SARAH RAQUEL DA ROCHA SILVA
DATA: 30/10/2013
HORA: 11:00
LOCAL: Sala de Reuniões - DIMAp
TÍTULO:

BTS: Uma ferramenta para o desenvolvimento sistemático de sistemas baseados em componentes confiáveis


PALAVRAS-CHAVES:

Métodos Formais, Desenvolvimento Baseado em Componentes, Concorrência, Verificação de Modelos


PÁGINAS: 100
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
RESUMO:

O desenvolvimento de sistemas baseados em componentes revolucionou o processo de desenvolvimento de software, facilitando a manutenção, trazendo mais confiabilidade e reutilização. Porém, mesmo com todas as boas características atribuídas ao desenvolvimento de componentes, é de extrema preocupação a forma como eles se compõem. Realizar verificação a partir de testes informais não é o suficiente para se ter uma composição segura, pois esses não possuem semântica formal que consiga prever comportamentos do sistema. Nesse contexto, surgem os métodos formais, que mantém com precisão a especificação do sistema através de notações matemáticas, trazendo, entre outros benefícios, mais segurança. O método formal CSP, possui uma semântica que suporta uma sucessão de verificações e comparações. Nesse contexto, existem abordagens que aplicam restrições usando CSP, para se verificar o comportamento da composição entre componentes, auxiliando a verificação desses componentes antecipadamente. No entanto, como a ideia atual do mercado de software é buscar cada vez mais automação dos processos, minimizando trabalhos e trazendo agilidade nos negócios, se torna inviável a utilização dessas abordagens, devido ao grande nível de complexidade e tempo. Nesse contexto, esse trabalho apresenta uma ferramenta automatizada para verificação da composição entre componentes, onde toda complexidade da linguagem formal é definida internamente, oculta para o usuário. Dessa forma, através de uma interface simples, a ferramenta BTS (BRIC-Tool-Suport) define um modelo para criação e composição de componentes, prevendo, com antecedência, comportamentos indesejáveis no sistema, como deadlocks.


MEMBROS DA BANCA:
Interno - 1258224 - ANAMARIA MARTINS MOREIRA
Presidente - 1639701 - MARCEL VINICIUS MEDEIROS OLIVEIRA
Interno - 1221251 - MARTIN ALEJANDRO MUSICANTE
Notícia cadastrada em: 23/09/2013 10:00
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa07-producao.info.ufrn.br.sigaa07-producao