Comparing Three Formal Analysis Approaches of the Tropos Family
Year | 2008 |
---|
Tropos is a software development methodology founded on concepts used to model early requirements, the i* framework. In addition to a methodological framework, research addresses also formal analysis support. In previous work, we proposed the prototype environment SNet based on the Trust-Confidence-Distrust (TCD) approach for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. There are two major ingredients: i* for modeling the domain statically and ConGolog for analysing it dynamically via simulations. In this paper, we compare our approach with two other approaches that enrich i*/Tropos models to allow for more formal analyses, Formal Tropos and Secure Tropos. While the intended use of these is quite different from SNet, there are a number of commonalities, which will be highlighted as well as the differences that suggest a combined use, including complementary forms of analysis such as model checking versus simulation.
Details
In C. J. P.de Lucen, P. Giorgini, J. Mylopoulos, R. Choren, V. T. da Silva (Eds.): Agent-Oriented Information Systems IV. 8th Int. Bi-Conf. Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers. Springer, LNCS 4898, pp. 164-182
Presented at
AOIS 2006, 2008 , Hakodate , JP.
Published in
Proceedings of AOIS 2006 , by C. J. P.de Lucen, P. Giorgini, J. Mylopoulos, R. Choren, V. T. da Silva , p. 164-182 ; Springer , DE .