Skip to content. | Skip to navigation

Informatik 5
Information Systems
Prof. Dr. M. Jarke
Sections
Personal tools
You are here: Home Publications Comparing Three Formal Analysis Approaches of the Tropos Family

Contact

Prof. Dr. M. Jarke
RWTH Aachen
Informatik 5
Ahornstr. 55
D-52056 Aachen
Tel +49/241/8021501
Fax +49/241/8022321

How to find us

Annual Reports

Disclaimer

Webmaster

 

 

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 .

Related projects

Document Actions