Page 131 -

116 GIORGINI, KOLP, AND MYLOPOULOS
Chung, L.; Nixon, B.; Yu, E.; and Mylopoulos, J. 2000. Non-Functional Requirements in Software Engineer-
ing. Boston: Kluwer Academic.
Ciancarini, P., and Wooldridge, M. (eds.) 2001. Agent-oriented software engineering. In Lecture Notes in
AI, vol. 1957. Springer-Verlag.
Cohen, P., and Levesque, H. 1990. Intention is choice with commitment. Artificial Intelligence, 32, 3,
213–261.
Conallen, J. 1999. Building Web Applications with UML. Reading, MA: Addison-Wesley.
Dardenne, A.; van Lamsweerde, A.; and Fickas, S. 1993. Goal-directed requirements acquisition. Science of
Computer Programming, 20, 1–2, 3–50.
Davis, A. 1993. Software Requirements: Objects, Functions, and States. Englewood Cliffs, NJ: Prentice
Hall.
Deloach, S.A.; Wood, M. F.; Sparkman, C. H. 2001. Multiagent systems engineering. International Journal
of Software Engineering and Knowledge Engineering, 11(3), 231–258.
Do, T.T.; Faulkner, S.; and Kolp, M. 2003. Organizational multi-agent architectures for information systems.
In Proceedings of the Fifth International Conference on Enterprise Information Systems, ICEIS ’03,
Angers, France. Available at http://www.isys.ucl.ac.be/descartes/.
Do, T.T.; Kolp, M.; and Pirotte, A. 2003. Social patterns for designing multi-agent systems. In Proceedings
of the Fifteenth International Conference on Software Engineering and Knowledge Engineering, SEKE
’03, San Francisco, CA, 103–110.
Finin, T.; Labrou, Y.; and Mayfield, J. 1997. KQML as an agent communication language. In J. Bradshaw
(ed.), Software Agents. Cambridge, MA: MIT Press, 291–316.
Foundation for Intelligent Physical Agents (FIPA). 2001. Available at www.fipa.org.
Gamma, E.; Helm, R.; Johnson, J.; and Vlissides, J. 1995. Design Patterns: Elements of Reusable Object-
Oriented Software. Reading, MA: Addison-Wesley.
Giorgini, P.; Mylopoulos, J.; Nicchiarelli, E.; and Sebastiani, R. 2003. Formal reasoning techniques for goal
models. Journal of Data Semantics 1, 1–20.
Hayden, S.; Carrick, C.; and Yang, Q. 1999. Architectural design patterns for multiagent coordination. In
Proceedings of the Third International Conference on Autonomous Agents, Agents ’99, Seattle, WA.
Available at http://citeseerx.ist.psu.edu/.
Jennings, N.R. 2000. On agent-based software engineering. Artificial Intelligence, 117, 2, 277–296.
Kinny, D., and Georgeff, M. 1996. Modelling and design of multi-agent systems. In Proceedings of the Third
International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages, ATAL ’96,
Budapest, Hungary, 1–20.
Kinny, D.; Georgeff, M.; and Rao, A. 1996. 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 Seventh
European Workshop on Modelling Autonomous Agents in a Multi-Agent World. Berlin: Springer-Verlag,
56–71.
Kolp, M.; Giorgini, P.; and Mylopoulos, J. 2001. A goal-based organizational perspective on multi-agents
architectures. In Proceedings of the Eighth International Workshop on Intelligent Agents: Agent Theories,
Architectures, and Languages, ATAL ’01, Seattle, WA. Springer Berlin, Heidelberg, 128–140.
———. 2003. Organizational patterns for early requirements analysis. In Proceedings of the Fifteenth In-
ternational Conference on Advanced Information Systems, CAiSE ’03, Velden, Austria. Lecture Notes
in Computer Science #2681, Springer, 617–632.
Labrou, Y.; Finin, T.; and Peng, Y. 1999. The current landscape of agent communication languages. Intel-
ligent Systems, 14, 2, 45–52.
Lapouchnian, A.; Liaskos, S.; Mylopoulos, J.; and Yu, Y. 2005. Design of autonomic software through re-
quirements models. In Proceedings of the DEAS Workshop, Twenty-seventh International Conference on
Software Engineering (ICSE ’05), St. Louis, MO. ACM Press, 1–7.
Lau, D., and Mylopoulos, J. 2004. Designing Web services with Tropos. In Proceedings of the IEEE Inter-
national Conference on Web Services (ICWS ’04), San Diego, CA, 306–314.
Mintzberg, H. 1992. Structure in Fives: Designing Effective Organizations. Reprint ed. Englewood Cliffs,
NJ: Prentice Hall.
Morabito, J.; Sack, I.; and Bhate, A. 1999. Organization Modeling: Innovative Architectures for the 21st
Century. Upper Saddle River, NJ: Prentice Hall.