[pt] DESENVOLVIMENTO INTENCIONAL DE SOFTWARE TRANSPARENTE BASEADO EM ARGUMENTAÇÃO

• Ano de defesa: 2012
• Autor(a) principal: MAURICIO SERRANO
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] ARGUMENTACAO; [pt] RASTREABILIDADE; [pt] TRANSPARENCIA DE SOFTWARE; [pt] SISTEMAS MULTI-AGENTES; [en] ARGUMENTATION; [en] TRACEABILITY; [en] SOFTWARE TRANSPARENCY; [en] MULTI-AGENT SYSTEMS
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=19240&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=19240&idi=2; http://doi.org/10.17771/PUCRio.acad.19240

[pt] Transparência é um critério de qualidade crítico para sociedades democráticas modernas. Como o software permeia a sociedade, a transparência se tornou uma preocupação para softwares operando em domínios públicos, sejam eles eGovernment, eCommerce ou softwares sociais. Dessa forma, a transparência de software está se tornando um critério de qualidade que demanda mais atenção dos desenvolvedores de software. Requisitos de transparência em um sistema de software estão relacionados a requisitos não-funcionais, como disponibilidade, usabilidade, informatividade, entendimento e auditabilidade. Entretanto, requisitos de transparência são especialmente difíceis de serem validados devido à natureza subjetiva dos conceitos envolvidos. Essa tese propõe o desenvolvimento intencional de software transparente dirigido por requisitos de transparência. Os requisitos de transparência são elicitados com o apoio de um catálogo de padrões de requisitos, relativamente validados pelos interessados através do uso de argumentação e representados em modelos intencionais. Modelos intencionais são fundamentais para a transparência de software, uma vez que associam aos requisitos as metas e os critérios de qualidade esperados pelos interessados e que justificam as decisões tomadas. Um sistema exemplo foi implementado como um sistema multi-agentes intencional, ou seja, com agentes colaborativos que implementam o modelo Belief-Desire-Intention e que são capazes de raciocinar sobre metas e critérios de qualidade. Essa tese discute as questões importantes para o sucesso da nossa abordagem de desenvolvimento de software transparente, como: (i) rastreabilidade requisitos-código e código-requisitos; (ii) o uso de lógica nebulosa para desenvolver uma máquina de raciocínio para agentes intencionais; (iii) a aplicação de argumentação para a validação relativa de requisitos de transparência através da obtenção de um consenso entre os interessados; e (iv) pré-rastreabilidade colaborativa para modelos intencionais baseada nas interações sociais. Nossas idéias foram validadas através de estudos de caso em diferentes domínios, tal como computação ubíqua e aplicações Web.