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

• Main Author: MAURICIO SERRANO
• Other Authors: JULIO CESAR SAMPAIO DO PRADO LEITE
• Language: pt
• Published: MAXWELL 2012
• Subjects: [pt] ARGUMENTACAO; [en] ARGUMENTATION; [pt] SISTEMAS MULTI-AGENTES; [en] MULTI-AGENT SYSTEMS; [pt] TRANSPARENCIA DE SOFTWARE; [en] SOFTWARE TRANSPARENCY; [pt] RASTREABILIDADE; [en] TRACEABILITY
• Online Access: https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=19240@1; https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=19240@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. === [en] Transparency is a critical quality criterion to modern democratic societies. As software permeates society, transparency has become a concern to public domain software, as eGovernment, eCommerce or social software. Therefore, software transparency is becoming a quality criterion that demands more attention from software developers. In particular, transparency requirements of a software system are related to non-functional requirements, e.g. availability, usability, informativeness, understandability and auditability. However, transparency requirements are particularly difficult to validate due to the subjective nature of the involved concepts. This thesis proposes a transparency-requirements-driven intentional development of transparent software. Transparency requirements are elicited with the support of a requirements patterns catalog, relatively validated by the stakeholders through argumentation and represented on intentional models. Intentional models are fundamental to software transparency, as they associate goals and quality criteria expected by the stakeholders with the software requirements. The goals and quality criteria also justify the decisions made during software development. A system was implemented as an intentional multi-agents system, i.e., a system with collaborative agents that implement the Belief-Desire- Intention model and that are capable of reasoning about goals and quality criteria. This thesis discusses important questions to the success of our approach to the development of transparent software, such as: (i) forward and backward traceability; (ii) a fuzzy-logic based reasoning engine for intentional agents; (iii) the application of an argumentation framework to relatively validate transparency requirements through stakeholders’ multi-party agreement; and (iv) collaborative pre-traceability for intentional models based on social interactions. Our ideas were validated through case studies from different domains, such as ubiquitous computing and Web applications.