B. Bauer, J. P. Müller, and J. Odell, “Agent UML: A formalism for specifying multiagent software systems,” Int. J. Software. Eng. Knowl. Eng., vol. 11, no. 3, pp. 207-230, 2001.
G. Booch, J. Rambaugh, and J. Jacobson, The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, Addison-Wesley, 1999.
F. M. T. Brazier, B. Dunin Keplicz, N. Jennings, and J. Treur, “DESIRE: Modelling multi-agent systems in a compositional formal framework,” Int. J. Coop. Inform. Syst., vol. 9, no. 1, 1997.
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. “Modeling early requirements in tropos: A transformation based approach,” in Wooldridge, et al. .
G. Caire, F. Leal, P. Chainho, R. Evans, F. Garijo, J. Gomez, J. Pavon, P. Kearney, J. Stark, and P. Massoneta, “Agent oriented analysis using MESSAGE/UML,” in Wooldridge, et al. .
J. Castro, M. Kolp, and J. Mylopoulos. “Towards requirements-driven information systems engineering: The tropos project,” Information Systems, Elsevier: Amsterdam, The Netherlands.
L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Software Engineering, Kluwer Publishing, 2000.
P. Ciancarini and M. Wooldridge, (ed.), Agent-Oriented Software Engineering, vol. 1957 of Lecture Notes in AI., Springer-Verlag, 2001.
A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, “NuSMV: A new symbolic model checker,” Int. J. Software Tools Technol. Transf. (STTT), vol. 2, no. 4, 2000.
E. M. Clarke and E. A. Emerson, “Design and synthesis of synchronization skeletons using branching time temporal logic,” in D. Kozen, (ed.), Proceedings of the Workshop on Logics of Programs, vol. 131 of Lecture Notes in Computer Science, Yorktown Heights, New York, Springer-Verlag: New York, pp. 52-71, 1981.
M. Coburn, “JACK Intelligent Agents User Guide,” AOS Technical Report, Agent Oriented Software Pty Ltd, July 2000. http://www.jackagents.com/docs/jack/html/index.html.
A. Dardenne, A. van Lamsweerde, and S. Fickasu, “Goal-directed requirements acquisition,” Sci. Comput. Program., vol. 20, no. 1-2, pp. 3-50, 1993.
S. A. Deloach, “Analysis and design using MaSE and agent Tool, in 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31-April 1 2001.
A. Fuxman, P. Giorgini, M. Kolp, and J. Mylopoulos, “Information systems as social structures,” in Second International Conference on Formal Ontologies for Information Systems (FOIS-2001), Ogunquit, USA, October 17-19 2001.
A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso, “Model checking early requirements specification in Tropos,” in Proceedings of the 5th IEEE International Symposium on Requirements Engineering, Toronto, CA, August 2001.
P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani, “Reasoning with goal models,” in S. Spaccapietra, S. T. March, and Y. Kambayashi, (eds.), 21st International Conference on Conceptual Model. (ER02), Tampere, Finland, vol. 2503 of Lecture Notes in Computer Science, Springer-Verlag, 2002.
P. Giorgini, A. Perini, J. Mylopoulos, F. Giunchiglia, and P. Bresciani, “Agent-oriented software development: A case study,” in S. Sen, J. P. Müller, E. Andre and C. Frassen, (eds.), Proceedings of the Thirteenth International Conference on Software Engineering-Knowledge Engineering (SEKE01), Buenos Aires, ARGENTINA, June 13-15, 2001.
A. Davis and F. Giunchiglia, Software Requirements: Objects, Functions and States, Prentice Hall, 1993.
F. Giunchiglia, J. Mylopoulos, and A, Perini, “The Tropos software development methodology: Processes, models and diagrams,” in F. Giunchiglia, J. Odell, and G. Weiβ, (eds.), Agent-Oriented Software Engineering III, Third International Workshop (AOSE2002), Bologna, Italy LNCS, Springer-Verlag, in press.
D. Kinny, M. Georgeff, and A. Rao, “A methodology and modelling technique for systems of BDI agents,” in W. Van de Velde and J. W. Perram, (eds.), Agents Breaking Away: Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer-Verlag: Berlin, Germany, 1996.
M. Kolp, P. Giorgini, and J. Mylopoulos, “An goal-based organizational perspective on multi-agents architectures,” in Procedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), Seattle, WA, August 2001.
J. Mylopoulos, L. K. Chung, and B. A. Nixon, “Representing and using non functional requirements: A process-oriented approach,” IEEE Trans. Software Eng., 1992.
A. Newell, “The knowledge level,” Artif. Intell., vol. 18, pp. 87-127, 1982.
H. Nwana, “Software agents: An overview,” Knowl. Eng. Rev. J., vol. 11, no. 3, 1996.
J. Odell, H. Parunak, and B. Bauer, “Extending UML for agents,” in G. Wagner, Y. Lesperance, and E. Yu, (eds.), Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, TX, 2000, pp. 3-17.
OMG, OMG Unified Modeling Language Specification, version 1.3, Alpha edition, January 1999.
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 5th Int. Conference on Autonomous Agents, Montreal CA, May 2001, ACM.
A. S. Rao and M. P. Georgeff, “Modelling rational agents within a BDI-architecture,” in Proceedings of Knowledge Representation and Reasoning (KRR-91) Conference, San Mateo CA, 1991.
J. Sabater, C. Sierra, S. Parsons, and N. R. Jenning, “Using multi-context systems to engineer executable agent,” in N. R. Jennings and L. Lesperance, (eds), Proceedings of the 6th International Workshop on Agent Theories Architectures, and Languages (ATAL-99), number 1757 in LNCS, Springer-Verlag, 1999, pp. 277-294.
F. Sannicol'91o, A. Perini, and F. Giunchiglia, “The Tropos modeling language. A User Guide,” Technical report, ITC-irst, December 2001.
G. Weiss, (ed.), Multiagent System: A modern approach to Distributed AI, MIT Press, 1999.
M. Wooldridge, P. Ciancarini, and G. Weiss (eds.), Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering (AOSE-2001), Montreal, CA, May 2001.
M. Wooldridge and N. R. Jeanings, “Intelligent agents: Theory and practice,” Knowl. Eng. Rev., vol. 10, no. 2, 1995.
M. Wooldridge, N. R. Jennings, and D. Kinny, “The Gaia methodology for agent-oriented analysis and design,” J. Autonomous Agents Multi-Agent Sys., vol. 3, no. 3, 2000.
E. Yu, “Modeling organizations for information systems requirements engineering,” in Proceedings of the First IEEE International Symposium on Requirements Engineering, San Jose, January IEEE, 1993, pp. 34-41.
E. Yu, Modelling Strategic Relationships for Process Reengineering, PhD thesis, University of Toronto, Department of Computer Science, 1995.
E. Yu, “Agent-oriented modeling: Software versus the world,” in Wooldridge et al. .
E. Yu and J. Mylopoulos, “Understanding 'why' in software process modeling, analysis and design,” in Proceedings Sixteenth International Conference on Software Engineering, Sorrento, Italy, May 1994.
E. Yu and J. Mylopoulus, “Using goals, rules, and methods to support reasoning in business process reengineering,” Int. J. Intell. Syst. Account. Finance Manage., vol. 1, no. 5, 1996.