Abstract
We contend that, at least in the first stages of definition of the early and late requirements, the software development process should be articulated using knowledge level concepts. These concepts include actors, who can be (social, organizational, human or software) agents, positions or roles, goals, and social dependencies for defining the obligations of actors to other actors. The goal of this paper is to instantiate this claim by describing how Tropos, an agent-oriented software engineering methodology based on knowledge level concepts, can be used in the development of a substantial case study consisting of the meeting scheduler problem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
FIPA. Foundation for Intelligent Physical Agents. http://www.fipa.org.
G. Booch, J. Rambaugh, and J. Jacobson. The Unified Modeling Language User Guide. The Addison-Wesley Object Technology Series. Addison-Wesley, 1999.
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Modeling early requirements in tropos: a transformation based approach., Montreal, CA, May 2001 Wooldridge et al. [22]}.
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. http://www.jackagents.com/pdf/tr9901.pdf.
J. Castro, M. Kolp, and J. Mylopoulos. Developing agent-oriented information systems for the enterprise. In Proceedings Third International Conference on Enterprise Information Systems, Stafford UK, July 2000.
J. Castro, M. Kolp, and J. Mylopoulos. A requirements-driven development methodology. In Proc. 13th Int. Conf. on Advanced Information Systems Engineering CAiSE 01, Stafford UK, June 2001.
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, editors. Agent-Oriented Software Engineering, volume 1957 of Lecture Notes in AI. Springer-Verlag, March 2001.
R. Darimont, A. van Lamsweerde, and P. Massonet. Goal-Directed elaboration of requirements for a meeting scheduler: problems and lesson learnt. In Proceedings RE’95-2nd IEEE Symposium on Requirements Engineering, pages 194–203, York, March 1995.
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, editors, Proceedings of the Thirteenth International Conference on Software Engineering-Knowledge Engineering (SEKE01), Buenos Aires-ARGENTINA, June 13–15 2001.
F. Giunchiglia, J. Mylopoulos, and A. Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. Technical Report No. 0111-20, ITC-IRST, Nov 2001. Submitted to AAMAS’ 02.
Sandra Hayden, Chirstina Carrick, and Qiang Yang. Architectural design patterns for multiagent coordination. In Proc. of the International Conference on Agent Systems’ 99, Seattle, WA, May 1999.
Ivar Jacobson, Mangus Christerson, Patrik Jonsson, and Gunmar Övergaard. Object-Oriented Software Engineering: a Use-Case Driven Approach. Addison Wesley, Readings, MA, 1992.
N. R. Jennings. On agent-based software engineering. Artificial Intelligence, 117(2), 2000.
M. Kolp, P. Giorgini, and J. Mylopoulos. An goal-based organizational perspective on multi-agents architectures. In Proc. of the 8th Int. Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), Seattle, WA, August 2001.
A. Newell. The Knowledge Level. Artificial Intelligence, 18:87–127, 1982.
J. Odell and C. Bock. Suggested UML extensions for agents. Technical report, OMG, December 1999. Submitted to the OMG’s Analysis and Design Task Force in response to the Request for Information entitled “UML2.0 RFI”.
J. Odell, H. Parunak, and B. Bauer. Extending UML for agents. In G. Wagner, Y. Lesperance, and E. Yu, editors, Proc. of the Agent-Oriented Information Systems workshop at the 17th National conference on Artificial Intelligence, pages 3–17, Austin, TX, 2000.
A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proc. of the 5th Int. Conference on Autonomous Agents, Montreal CA, May 2001. ACM.
F. Sannicolo’, A. Perini, and F. Giunchiglia. The Tropos modeling language. a User Guide. Technical report, ITC-irst, December 2001.
A. v. Lamsweerde, R. Darimont, and P. Massonet. The Meeting Scheduler System-Problem Statement. Technical report, Université Catholique de Louvain-Département d’Ingénierie Informatique, B-1348 Louvain-la-Neuve (Belgium), October 1992.
M. Wooldridge, P. Ciancarini, and organizers G. Weiss, editors. Proc. of the 2nd Int. Workshop on Agent-Oriented Software Engineering (AOSE-2001), Montreal, CA, May 2001.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. Knowledge Engineering Review, 10(2), 1995.
E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giunchiglia, F., Perini, A., Sannicolò, F. (2002). Knowledge Level Software Engineering. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_2
Download citation
DOI: https://doi.org/10.1007/3-540-45448-9_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43858-8
Online ISBN: 978-3-540-45448-9
eBook Packages: Springer Book Archive