Abstract
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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing security requirements models through planning. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 33–47. Springer, Heidelberg (2006)
Castelfranchi, C., Falcone, R.: Trust and Deception in Virtual Societies, chapter Social Trust: A Cognitive Approach. Kluwer, Dordrecht (2001)
Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: The Tropos project. Information Systems 27(6), 365–389 (2002)
Alan, M.: Christie. Simulation – An enabling technology in software engineering [Accessed: 2007-11-20] (April 1999), http://www.sei.cmu.edu/publications/articles/christie-apr1999/christie-apr1999.html
Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, Springer, Heidelberg (2002)
Claßen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of Golog and planning. In: Veloso, M.M. (ed.) IJCAI, pp. 1846–1851 (2007)
de Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus: language and implementation. Artificial Intelligence 121(1-2), 109–169 (2000)
Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements in Tropos. Requirements Engineering Journal 9(2), 132–150 (2004)
Gans, G., Jarke, M., Kethers, S., Lakemeyer, G.: Continuous requirements management for organization networks: A (dis)trust-based approach. Requirements Engineering Journal 8(1), 4–22 (2003)
Gans, G., Jarke, M., Kethers, S., Lakemeyer, G., Ellrich, L., Funken, C., Meister, M.: Requirements modeling for organization networks: A (dis-)trust-based approach. In: Proc. 5th IEEE Int. Symposium on Requirements Engineering (2001)
Gans, G., Jarke, M., Lakemeyer, G., Schmitz, D.: Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks. Information Systems 30(7), 587–607 (2005)
Gans, G., Schmitz, D., Arzdorf, T., Jarke, M., Lakemeyer, G.: SNet reloaded: Roles, monitoring, and agent evolution. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS (LNAI), vol. 3508, pp. 68–84. Springer, Heidelberg (2005)
Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL – the planning domain definition language. In: AIPS 1998 Planning Committee (1998)
Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Requirements engineering meets trust management: Model, methodology, and reasoning. In: Proc. of the 2nd Int. Conf. on Trust Management (iTrust) (2004)
Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: RE 2005. Proc. of the 13th IEEE Int. Requirements Engineering Conf (2005)
Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling social and individual trust in requirements engineering methodologies. In: Proc. of the 3rd Int. Conf. on Trust Management (iTrust) (2005)
Jarke, M., Eherer, S., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M.: ConceptBase – a deductive object base for meta data management. Journal of Intelligent Information Systems 4(2), 167–192 (1995)
Kethers, S., Gans, G., Schmitz, D., Sier, D.: Modelling trust relationships in a healthcare network: Experiences with the TCD framework. In: Proc. of the 13th European Conf. on Information Systems (ECIS) (2005)
Lapouchnian, A., Lespérance, Y.: Modeling mental states in agent-oriented requirements engineering. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 480–494. Springer, Heidelberg (2006)
McCarthy, J.: Situations, actions and causal laws. Technical report, Stanford, Reprinted 1968 in Minsky, M.(ed.) Semantic Information Processing, MIT Press (1963)
Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th IEEE Symposium on Foundation of Computer Science (1977)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Schael, T. (ed.): Workflow Management Systems for Process Organisations, 2nd edn. LNCS, vol. 1096. Springer, Heidelberg (1996)
Schmitz, D., Lakemeyer, G., Jarke, M., Karanfil, H.: How to model inter-organisational networks to enable dynamic analyses via simulations. In: Proc. 17th Workshop on Agent-Oriented Information Systems (AOIS), pp. 697–711 (2007)
Wang, X., Lespérance, Y.: Agent-oriented requirements engineering using ConGolog and i*. In: Working Notes of the AOIS Workshop (2001)
Winograd, T., Flores, C.F.: Understanding computers and cognition - a new foundation for design. Ablex Publishing Corporation, Greenwich (1986)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmitz, D., Lakemeyer, G., Jarke, M. (2008). Comparing Three Formal Analysis Approaches of the Tropos Family. In: Kolp, M., Henderson-Sellers, B., Mouratidis, H., Garcia, A., Ghose, A.K., Bresciani, P. (eds) Agent-Oriented Information Systems IV. AOIS 2006. Lecture Notes in Computer Science(), vol 4898. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77990-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-77990-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77989-6
Online ISBN: 978-3-540-77990-2
eBook Packages: Computer ScienceComputer Science (R0)