[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.
| Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:19240 |
| Date | 06 March 2012 |
| Creators | MAURICIO SERRANO |
| Contributors | JULIO CESAR SAMPAIO DO PRADO LEITE |
| Publisher | MAXWELL |
| Source Sets | PUC Rio |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | TEXTO |
Page generated in 0.0022 seconds