From Entities and Relationships to Social Actors and Dependencies

  • John Mylopoulos
  • Ariel Fuxman
  • Paolo Giorgini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1920)


Modeling social settings is becoming an increasingly important activity in software development and other conceptual modeling applications. In this paper, we review i* [Yu95], a conceptual model specifically intended for representing social settings. Then, we introduce Tropos, a formal language founded on the primitive concepts of i*, and demonstrate its expressiveness through examples. Finally, we give an overview of a project which uses Tropos to support software development from early requirements analysis to detailed design.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BCN92]
    C. Batini, S Ceri, and S Navathe. Database Design: An Entity Relationship Approach. Benjamin/Cummings, 1992.Google Scholar
  2. [BRJ99]
    G. Booch, J Rumbaugh, and I Jacobson. The Unied Modeling Language User Guide. The Addison-Wesley Object Technology Series. Addison-Wesley, 1999.Google Scholar
  3. [CGP99]
    E. Clarke, O Grumberg, and D Peled. Model Checking. MIT Press, 1999.Google Scholar
  4. [Che75]
    P. Chen. The Entity-Relationship model: Towards a unied view of data.In D. Kerr, editor, Proceedings of the International Conference on VeryLarge Data BasesSeptember 1975.Google Scholar
  5. [CKM00]
    J. Castro, M. Kolp, and J. Mylopoulos. Developing agent-oriented information systems for the enterprise. InSecond International Conference on Enterprise Information SystemsJuly 2000.Google Scholar
  6. [CL90]
    P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence32(3)1990.Google Scholar
  7. [DvLF93]
    A. Dardenne, A. vanLamsweerde, and S. Fickas. Goal directed require-ments acquisitionScience of Computer Programming203–501993.zbMATHCrossRefGoogle Scholar
  8. [Koy92]
    R. Koymans. Specifying message passing and time-critical systems with temporal logicIn Springer-Verlag LNCS 651. Springer-Verlag, 1992.zbMATHGoogle Scholar
  9. [MC00]
    J. Mylopoulos and J. Castro. Tropos: A framework for requirements-driven software development. In J. Brinkkemper and A. Solvberg, editors, Information Systems Engineering: State of the Art and Research Themes.Springer-Verlag, 2000.Google Scholar
  10. [OPB99]
    J. Odell, H. Van Dyke Parunak, and B. Bauer. Representing agent inter-action protocols in UML. To be published, 1999.Google Scholar
  11. [RBP+91]
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen.Object-Oriented Modelling and Design. Prentice Hall, 1991.Google Scholar
  12. [YM94]
    E. Yu and J. Mylopoulos. From E-R to A-R-modeling strategic actor rela-tionships for business process reengineering. In P. Loucopoulos, editor, Proceedings Thirteenth International Conference on the Entity-Relationship Approach. Springer-Verlag, December 1994.Google Scholar
  13. [YML96]
    E. Yu, J. Mylopoulos, and Y. Lesperance. AI models for business process reengineeringIEEE Expert1996.Google Scholar
  14. [Yu93]
    E. Yu. Modelling organizations for information systems requirements engineeringFirst IEEE Int. Symposium on Requirements EngineeringJanuary 1993.Google Scholar
  15. [Yu95]
    E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Toronto, Canada, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • John Mylopoulos
    • 1
  • Ariel Fuxman
    • 1
  • Paolo Giorgini
    • 2
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Department of Computer ScienceUniversity of TrentoPovoItaly

Personalised recommendations