Ponencia
Defeasible Argumentation of Software Architectures
Autor/es | Cañete Valdeón, José Miguel
Ruiz Cortés, Antonio Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2016 |
Fecha de depósito | 2017-10-26 |
Publicado en |
|
ISBN/ISSN | 978-1-5090-2131-4 |
Resumen | Defeasible argumentation is typical of legal and
scientific reasoning. A defeasible argument is one in which
the conclusion can be accepted tentatively in relation with the
evidence known so far, but may need to be ... Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion can be accepted tentatively in relation with the evidence known so far, but may need to be retracted as new evidence comes in. This paper analyses the role of defeasible argumentation in the explanation and evaluation of architectural decisions. We analyse technical explanations offered by engineers at Twitter and eBay about several architectural decisions adopted in those systems. We generalize these examples in four argumentation schemes. We also study the typical case of reasoning with a formal model of an architecture, and we infer a fifth argumentation scheme. Finally, we apply Hastings’ method of attaching a set of critical questions to each scheme. We show that the existence of critical questions reveals that the inferred schemes are defeasible: in argumentation theory, if a respondent asks one of the critical questions matching a scheme and the proponent of an argument fails to offer an adequate answer, the argument defaults and the conclusion is retracted. This dialogical structure is the basis of typical architectural evaluations. We conclude that the provided evidence supports the hypothesis that defeasible argumentation is employed in architectural evaluation. In this context, a rich catalogue of argumentation schemes is a useful tool for the architect to organize his or her reasoning; critical questions assist the architect in identifying the weak points of his or her explanations, and provide the evaluation team with a checklist of issues to be raised. |
Agencias financiadoras | Universidad de Sevilla |
Identificador del proyecto | VPPI-US |
Cita | Cañete Valdeón, J.M., Ruiz Cortés, A. y Toro Bonilla, M. (2016). Defeasible Argumentation of Software Architectures. En WICSA 2016: 13th Working IEEE/IFIP Conference on Software Architecture (115-121), Venice, Italy: IEEE Computer Society. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Defeasible Argumentation.pdf | 242.2Kb | [PDF] | Ver/ | |