Skip to content. | Skip to navigation

Informatik 5
Information Systems
Prof. Dr. M. Jarke
Sections
Personal tools
You are here: Home Publications Comparing TCD/SNet with two other formal analysis approaches based on i*: Formal Tropos and Secure Tropos

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 TCD/SNet with two other formal analysis approaches based on i*: Formal Tropos and Secure Tropos

Year 2006

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 the context of i*, several other approaches that try to enrich i* models to allow for more formal analyses exist. In this paper, we compare our approach with two of them, 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 in this paper as well as the differences, including complementary forms of analysis such as model checking versus simulation.

Details

In Proceedings of the 8th Workshop on Agent-Oriented Information Systems, AOIS @ CAiSE, Luxembourg, June 2006

Presented at

the 8th Workshop on Agent-Oriented Information Systems, AOIS @ CAiSE, 2006 , Luxembourg .

Related projects

Document Actions