Agent-oriented techniques represent an exciting new means of analysing, designing and building complex software systems. They have the potential to significantly improve current practice in software engineering and to extend the range of applications that can feasibly be tackled. Yet, to date, there have been few serious attempts to cast agent systems as a software engineering paradigm. This paper seeks to rectify this omission. Specifically, it will be argued that: (i) the conceptual apparatus of agent-oriented systems is well-suited to building software solutions for complex systems and (ii) agent-oriented approaches represent a genuine advance over the current state of the art for engineering complex systems. Following on from this view, the major issues raised by adopting an agent-oriented approach to software engineering are highlighted and discussed. 1. Introduction Designing and building high quality industrial-strength software is difficult. Indeed, it has been claime...
|
3853
|
Design Patterns: Elements of Reusable Object-Oriented Software
– Gamma, Helm, et al.
- 1995
|
|
2210
|
Artificial Intelligence: A Modern Approach
– Russell, Norvig
- 1995
|
|
1208
|
Object-Oriented Software Construction
– Meyer
- 1988
|
|
998
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
963
|
Reasoning about knowledge
– Fagin, Halpern, et al.
- 1995
|
|
951
|
Component Software: Beyond Object-Oriented Programming
– Szyperski
- 1998
|
|
900
|
The Sciences of the Artificial
– Simon
- 1968
|
|
835
|
Intelligent agents: Theory and practice
– Wooldridge, Jennings
- 1995
|
|
807
|
Object-Oriented Analysis and Design with Applications
– Booch
|
|
806
|
How to do things with words
– Austin
- 1962
|
|
687
|
Intention is choice with commitment
– Cohen, Levesque
- 1990
|
|
603
|
Agent-oriented programming
– Shoham
- 1993
|
|
581
|
Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic
– Clarke, Emerson
- 1981
|
|
504
|
Modal logic: an introduction
– Chellas
- 1980
|
|
486
|
BDI Agents: From Theory to Practice
– Rao, Georgeff
- 1995
|
|
427
|
The Intensional Stance
– Dennett
- 1987
|
|
382
|
The Mythical Man-Month
– Brooks
- 1975
|
|
280
|
AgentSpeak(L): BDI agents speak out in a logical computable language
– Rao
- 1996
|
|
260
|
On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
193
|
On the synthesis of a reactive module
– Pnueli, Rosner
- 1989
|
|
146
|
Agent-oriented software engineering
– Ciancarini, Wooldridge
|
|
130
|
Calculi for interaction
– Milner
- 1996
|
|
110
|
Multiagent Systems
– Weiss
- 1999
|
|
78
|
MetateM: A Framework for Programming in Temporal Logic
– Barringer, Fischer, et al.
- 1989
|
|
77
|
Pitfalls of Agent-Oriented Development
– Wooldridge, Jennings
- 1998
|
|
75
|
Modelling and Design of Multi--Agent Systems
– Kinny, Georgeff
- 1996
|
|
62
|
A Model--Theoretic Approach to the Verification of Situated Reasoning Systems
– Rao, Georgeff
- 1993
|
|
57
|
Towards a social level characterisation of socially responsible agents
– Jennings, Campos
- 1997
|
|
54
|
The logical modelling of computational multi-agent systems
– Wooldridge
- 1992
|
|
44
|
On the formal specification and verification of multi-agent systems
– Fisher, Wooldridge
- 1997
|
|
24
|
Foundations of Distributed Artificial Intelligence
– O’Hare, Jennings
- 1996
|
|
22
|
Industrial and practical applications of dai
– Parunak
- 1999
|
|
20
|
Industrial applications of distributed AI
– Chaib-draa
- 1995
|
|
20
|
An open approach to concurrent theorem proving
– Fisher
- 1997
|
|
18
|
Agent technology: foundations, applications and markets
– Jennings, M
- 1998
|
|
12
|
Model checking versus theorem proving: A manifesto
– Halpern, Vardi
- 1991
|
|
8
|
Temporal Verification of Reactive Systems—Safety
– MANNA, PNUELI
- 1995
|
|
7
|
Intelligent agents: The new revolution in software, Ovum Report
– Guilfoyle, Warner
- 1994
|
|
4
|
Pragmatic Application of Information Agents: BIS Strategic Decisions
– Janca
- 1995
|
|
1
|
Kaelbling (1986) “The synthesis of digital machines with provable epistemic properties
– Rosenschein, P
|
|
1
|
Kaelbling (1996) “A situated view of representation and control
– Rosenschein, P
|
