BDBComp
Parceria:
SBC
Verificação de Requisitos de Transparência em Modelos iSta

Joás Weslei BaíaJosé Luis BragaLeonardo Fonseca de Carvalho

A transparência de software é um requisito não funcional que os engenheiros de software precisarão demonstrar à medida que a sociedade exigir transparência nas relações com seus representantes, pois essas relações são automatizadas por software. Nesse sentido a verificação da presença de transparência em modelos de requisitos de software é a abordagem utilizada nesse trabalho. Esses modelos representados com o framework iStar são verificados utilizando a linguagem CLIPS através da aplicação de regras de produção implementadas a partir das características do iStar que possibilitam identificar os requisitos de transparência. O modelo de requisito é inicialmente representado no formato iStarML e transformado em fatos formando assim a base de dados do sistema de verificação. Essa base de dados é submetida juntamente com a base de conhecimento ao motor de inferência CLIPS para extrair da especificação de requisitos o conhecimento implícito sobre os requisitos de transparência.

http://www.lbd.dcc.ufmg.br/colecoes/wer/2012/0013.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD