Skip to main content
SpringerLink
Log in

Comparing Three Formal Analysis Approaches of the Tropos Family

  • Conference paper
Agent-Oriented Information Systems IV (AOIS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4898))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. Castelfranchi, C., Falcone, R.: Trust and Deception in Virtual Societies, chapter Social Trust: A Cognitive Approach. Kluwer, Dordrecht (2001)

    Google Scholar 

  3. Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: The Tropos project. Information Systems 27(6), 365–389 (2002)

    Article  MATH  Google Scholar 

  4. 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

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Article  MATH  MathSciNet  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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)

    Article  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Article  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. McCarthy, J.: Situations, actions and causal laws. Technical report, Stanford, Reprinted 1968 in Minsky, M.(ed.) Semantic Information Processing, MIT Press (1963)

    Google Scholar 

  21. Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th IEEE Symposium on Foundation of Computer Science (1977)

    Google Scholar 

  22. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  23. Schael, T. (ed.): Workflow Management Systems for Process Organisations, 2nd edn. LNCS, vol. 1096. Springer, Heidelberg (1996)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. Wang, X., Lespérance, Y.: Agent-oriented requirements engineering using ConGolog and i*. In: Working Notes of the AOIS Workshop (2001)

    Google Scholar 

  26. Winograd, T., Flores, C.F.: Understanding computers and cognition - a new foundation for design. Ablex Publishing Corporation, Greenwich (1986)

    MATH  Google Scholar 

  27. Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer FIT, Schloss Birlinghoven, 53754, Sankt Augustin, Germany

    Dominik Schmitz & Matthias Jarke

  2. RWTH Aachen University, Informatik 5, Ahornstr. 55, 52056, Aachen, Germany

    Gerhard Lakemeyer & Matthias Jarke

Authors
  1. Dominik Schmitz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gerhard Lakemeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Kolp Brian Henderson-Sellers Haralambos Mouratidis Alessandro Garcia Aditya K. Ghose Paolo Bresciani

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation