UML for agent-oriented software development: The tropos proposal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 422-441

  Mylopoulos, John ^a   Kolp, Manuel ^a   Castro, Jaelson ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE AGENTS; UNIFIED MODELING LANGUAGE;

AGENT ORIENTED SOFTWARE; AGENT SOFTWARE; AGENT-ORIENTED SOFTWARE DEVELOPMENT; DETAILED DESIGN; MODEL FRAMEWORK; SOFTWARE DEVELOPMENT METHODOLOGIES; SUPPORT DESIGN;

SOFTWARE DESIGN;

EID: 84948990946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_31     Document Type: Conference Paper

References (30)

1. [1] Bauer, B., Extending UML for the Specification of Agent Interaction Protocols, OMG document ad/99-12-03, FIPA submission to the OMG’s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled “UML2.0 RFI”, December 1999.
2. [2] Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, Addison-Wesley, 1999.
3. [3] Castro, J., Kolp, M. and Mylopoulos, J., “A Requirements-Driven Development Methodology”, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE’01), Interlaken, Switzerland, June 2001.
4. [4] Chung, L. K., Nixon, B. A., Yu, E. and Mylopoulos, J., Non-Functional Requirements in Software Engineering, Kluwer Publishing, 2000.
5. [5] Clarke, E., Grumberg, O. and Peled, D., Model Checking, MIT Press, 1999.
6. [6] Cohen, P. and Levesque, H., “Intention is Choice with Commitment”, Artificial Intelligence, 32(3), 1990, pp. 213-261.
7. [7] Conallen, J., Building Web Applications with UML, The Addison-Wesley Object Technology Series, Addison-Wesley, 2000.
8. [8] Dardenne, A., van Lamsweerde, A. and Fickas, S., “Goal-directed Requirements Acquisition”, Science of Computer Programming, 20, 1993, pp. 3-50.
9. [9] Davis, A., Software Requirements: Objects, Functions and States, Prentice Hall, 1993.
10. [10] DeLoach, S. A. and Wood, M., “Developing Multiagent Systems with agentTool”, Proceedings of the 7th The Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL’00), Boston, USA, July, 2000.
11. [11] DeMarco, T., Structured Analysis and System Specification, Yourdon Press, 1978.
12. [12] The Foundation for Intelligent Physical Agents, http://www.fipa.org, 2001.
13. [13] Fuxman, A., Pistore, M., Mylopoulos, J. and Traverso, P., “Model Checking Early Requirements Specification in Tropos”, Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE’01), Toronto, Canada, August 2001.
14. [14] Fuxman, A., Giorgini, P., Kolp, M. and Mylopoulos, J., “Information Systems as Social Structures”, Proceedings of the Second International Conference on Formal Ontologies for Information Systems (FOIS’01), Ogunquit, USA, October 2001.
15. [15] Goal Oriented Requirement Language, http://www.cs.toronto.edu/km/GRL
16. [16] Iglesias, C., Garrijo, M. and Gonzalez, J., “A Survey of Agent-Oriented Methodologies”, Proceedings of the 5th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL’98), pp. 317-330, Paris, France, July 1998.
17. [17] Jennings, N. R., “On agent-based software engineering”, Artificial lntelligence, 117, 2000, pp. 277-296.
18. [18] Kinny, D. and Georgeff, M., “Modelling and Design of Multi-Agent System”, Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL’96), pp. 1-20, Budapest, Hungary, August 1996.
19. [19] Kolp, M., Castro, J. and Mylopoulos, J., “A Social Organization Perspective on Software Architectures”, Proceedings of the First International Workshop From Software Requirements to Architectures (STRAW'01), pp. 5-12, Toronto, Canada, May 2001.
20. [20] Kolp, M., Giorgini, P. and Mylopoulos, J., “A Goal-Based Organizational Perspective on Multi-Agents Architectures”, Proceedings of the 9th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL’01), Seattle, USA, August 2001.
21. [21] Odell, J. and Bock, C., Suggested UML Extensions for Agents, OMG document ad/99-12-01, Submitted to the OMG’s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled “UML 2.0 RFI”, December 1999.
22. [22] Odell, J., Van Dyke Parunak, H. and Bauer, B., “Extending UML for Agents”, Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence, pp. 3-17, Austin, USA, July 2000.
23. [23] Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P. and Mylopoulos, J., “A Knowledge Level Software Engineering Methodology for Agent Oriented Programming”. Proceedings of the Fifth International Conference on Autonomous Agents (Agents’01), Montreal, Canada, June 2001.
24. [24] Wirfs-Brock, R., Wilkerson, B. and Wiener, L., Designing Object-Oriented Software, Englewood Cliffs, Prentice-Hall, 1990.
25. [25] Wooldridge, M., Jennings, N. R. and Kinny D., “The Gaia Methodology for Agent-Oriented Analysis and Design”, Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.
26. [26] Yourdon, E. and Constantine, L., Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, 1979.
27. [27] Yu, E., “Modeling Organizations for Information Systems Requirements Engineering”, Proceedings of the First IEEE International Symposium on Requirements Engineering (RE’93), pp. 34-41, San Jose, USA, January 1993.
28. [28] Yu, E. and Mylopoulos, J., “Understanding 'Why' in Software Process Modeling, Analysis and Design”, Proceedings of the Sixteenth International Conference on Software Engineering (ICSE’94,, pp. 159-168, Sorrento, Italy, May 1994.
29. [29] Yu, E., Modelling Strategic Relationships for Process Reengineering, Ph.D. thesis, Department of Computer Science, University of Toronto, Canada, 1995.
30. [30] Yu, E. and Mylopoulos, J., “Using Goals, Rules, and Methods to Support Reasoning in Business Process Reengineering”, International Journal of Intelligent Systems in Accounting, Finance and Management, 5(1), January 1996, pp. 1-13