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ênncia. 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ênncia CLIPS para extrair da especificação de requisitos o conhecimento implícito sobre os requisitos de transparênncia.
Framework iStar; transparência de software; verificação de modelos de requisitos.
@inproceedings{wer201214,
author = {Baía, J. W. and Braga, J. L. and Carvalho, L. F. D.},
title = {Verificação de Requisitos de Transparência em Modelos iStar},
booktitle = {Proceedings of the WER2012-15th Workshop on Requirements Engineering, Buenos Aires - Argentina},
year = {2012},
issn = {2675-0066},
isbn = {978-987-1635-46-7},
doi = {}
}