The tropos software development methodology: Processes, models and diagrams

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

Volumn 2585, Issue , 2003, Pages 162-173

  Giunchiglia, Fausto ^a   Mylopoulos, John ^b   Perini, Anna ^c  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

^c ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE AGENTS; SOFTWARE ENGINEERING;

ABSTRACT SYNTAX; AGENT-ORIENTED SOFTWARE DEVELOPMENT; ANALYSIS PROCESS; BASIC CONCEPTS; KNOWLEDGE LEVEL; REQUIREMENTS ANALYSIS; SOFTWARE DEVELOPMENT METHODOLOGIES; SOFTWARE DEVELOPMENT PROCESS;

SOFTWARE DESIGN;

EID: 23144448551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36540-0_13     Document Type: Article

References (20)

1. B. Bauer, J. P. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent software systems. Int. Journal of Sofware Engineering and Knowledge Engineering, 11 (3):207-230, 2001.
2. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents - Components for Intelligent Agents in Java. Technical Report TR9901, AOS, January 1999.
3. L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Publishing, 2000.
4. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1-2):3-50, 1993.
5. S. A. Deloach. Analysis and Design using MaSE and agentTool. In 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31 -April 1 2001.
6. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model Checking Early Requirements Specifications in Tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), pages 174-181, Toronto, Canada, August 2001.
7. P. Giorgini, M. Kolp, and J. Mylopoulus. Multi-Agent and Software Architectures: A comparative case study. In this book.
8. F. Giunchiglia, A. Perini, and F. Sannicolò. Knowledge level software engineering. In J.-J.C. Meyer and M. Tambe, editors, Intelligent Agents VIII, LNCS 2333, pages 6-20, Seattle, WA, USA, August 2001. Springer-Verlag.
9. Martin L. Griss, Steven Fonseca, Dick Cowan, and Robert Kessler. Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors. In this book.
10. Marc-Philippe Huget. Extending Agent UML Protocol Diagrams. In this book.
11. D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of BDI agents. In J.W. Perram W. Van de Velde, editor, Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume 1038 of Lecture Notes in Computer Science, pages 56-71. Springer-Verlag, 1996.
12. J. Mylopoulos, L. K. Chung, and B. A. Nixon. Representing and using non-functional requirements: A process-oriented approach. IEEE Transactions on Software Engineering, June 1992.
13. A. Newell. The Knowledge Level. Artificial Intelligence, 18:87-127, 1982.
14. OMG. OMG Unified Modeling Language Specification, version 1.3, alpha edition, 1999.
15. Lin Padgham and Michael Winikoff. Prometheus: A Methodology for Developing Intelligent Agents. In this book.
16. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proceedings of the Fifth International Conference on Autonomous Agents, pages 648-655, Montreal CA, May 2001.
17. A. Perini, A. Susi, and F. Giunchiglia. Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology. In 14th International Conference on Software Engineering and Knowledge Engineering (SEKE'2002), Ischia, Italy, July 2002. ACM Press.
18. F. Sannicolò, A. Perini, and F. Giunchiglia. The Tropos modeling language. A User Guide. Technical Report 0204-13, ITC-irst, January 2002.
19. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.
20. E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995.