Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Comparing three formal analysis approaches of the Tropos family

: Schmitz, D.; Lakemeyer, G.; Jarke, M.


Kolp, M.:
Agent-oriented information systems IV. 8th International Bi-Conference Workshop, AOIS 2006 : Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006; Revised selected papers
Berlin: Springer, 2008 (Lecture Notes in Artificial Intelligence 4898)
ISBN: 3-540-77989-2
ISBN: 978-3-540-77989-6
International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS) <8, 2006, Hakodate, Japan>
International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS) <8, 2006, Luxembourg>
Conference Paper
Fraunhofer FIT ()

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.