Agent-Oriented Software Engineering: The State of the Art
Lecture notes in computer sciencePublished 1 January 2001
Michael Wooldridgey, Paolo Ciancarini
Citations405
SJR quartileQ2
SJR score0.35
SNIP0.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
It is argued that intelligent agents and multi-agent systems are just such tools, including methodologies for agent-oriented analysis and design, formal specification and verification methods for agent systems, and techniques for implementing agent specifications.
Abstract
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agents and multi-agent systems are just such tools. We begin by reviewing what is meant by the term "agent", and contrast agents with objects.We then go on to examine a number of prototype techniques proposed for engineering agent systems, including methodologies for agent-oriented analysis and design, formal specification and verification methods for agent systems, and techniques for implementing agent specifications.
Keywords
Computer Science
The Knowledge Engineering ReviewIntelligent agents: theory and practice
6,644 Citations1995Michael Wooldridge, Nicholas R. Jennings
The aim of this paper is to point the reader at what it is perceived to be the most important theoretical and practical issues associated with the design and construction of intelligent agents.
University of Maribor digital library (University of Maribor)The Unified Modeling Language User Guide
5,529 Citations1999Grady Booch, James Rumbaugh +1 more
In The Unified Modeling Language User Guide, the original developers of the UML provide a tutorial to the core aspects of the language in a two-color format designed to facilitate learning.
Object-oriented modeling and design
4,287 Citations1991James Rumbaugh, Michael Blaha +3 more
This book discusses Object Modeling as a Design Technique, Object Diagram Compiler, and the Future of Object-Oriented Technology.
Communications of the ACMAn axiomatic basis for computer programming
3,886 Citations1969C. A. R. Hoare
An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics by elucidation of sets of axioms and rules of inference.
The Intentional Stance
3,862 Citations1987Daniel C. Dennett
The MIT Press eBooksReasoning About Knowledge
2,594 Citations1995Ronald Fagin, Joseph Y. Halpern +2 more
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
BDI Agents: From Theory to Practice
2,347 Citations1995Anand S. Rao
This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.
Communications of the ACMAgents that reduce work and information overload
2,321 Citations1994Pattie Maes
Results from several prototype agents that have been built using an approach to building interface agents are presented, including agents that provide personalized assistance with meeting scheduling, email handling, electronic news filtering, and selection of entertainment.
Autonomous Agents and Multi-Agent SystemsA Roadmap of Agent Research and Development
2,083 Citations1998Nicholas R. Jennings, Katia Sycara +1 more
This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems and aims to identify key concepts and applications, and to indicate how they relate to one-another.
Artificial IntelligenceIntention is choice with commitment
1,865 Citations1990Philip R. Cohen, Hector J. Levesque
The formalism provides analyses for Bratman's three characteristic functional roles played by intentions, and shows how agents can avoid intending all the foreseen side-effects of what they actually intend.
Modal Logic: An Introduction
1,810 Citations1980Brian F. Chellas
Prentice Hall International (UK) Ltd. eBooksSystematic software development using VDM
1,725 Citations1986Cli B. Jones
Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
On the synthesis of a reactive module
1,448 Citations1989Amir Pnueli, Roni Rosner
An algorithm is presented based on a new procedure for checking the emptiness of Rabin automata on infinite trees in time exponential in the number of pairs, but only polynomial in theNumber of states, which leads to a synthesis algorithm whose complexity is doubleonential in the length of the given specification.
Communicating Sequential Processes
1,423 Citations1978C. A. R. Hoare
Lecture notes in computer scienceAgentSpeak(L): BDI agents speak out in a logical computable language
1,257 Citations1996Anand S. Rao
This paper provides an alternative formalization of BDI agents by providing an operational and proof-theoretic semantics of a language AgentSpeak(L), which can be viewed as an abstraction of one of the implemented BDI systems and allows agent programs to be written and interpreted in a manner similar to that of horn-clause logic programs.
The MIT Press eBooksReasoning about Rational Agents
1,238 Citations2000Michael Wooldridge
The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.
Communications of the ACMSoftware agents
1,089 Citations1994Michael Genesereth, Steven P. Ketchpel
A relatively loose notion of an agent as a self-contained program capable of controlling its own decision making and acting, based on its perception of its environment, in pursuit of one or more objectives will be used here.
Lecture notes in computer scienceDESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
1,075 Citations2008Edmund M. Clarke, E. Allen Emerson
A method of constructing concurrent programs in which the synchronization skeleton of the program is automatically synthesized from a high-level (branching time) Temporal Logic specification.
The Journal of Logic ProgrammingGOLOG: A logic programming language for dynamic domains
1,040 Citations1997Hector J. Levesque, Raymond Reiter +3 more
A new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world is proposed.
Elsevier eBooksReadings in Distributed Artificial Intelligence
993 Citations1988
This comprehensive collection of articles shows the breadth and depth of DAI research as well as to practical problems in artificial intelligence, distributed computing systems, and human-computer interaction.
Medical Entomology and ZoologyTemporal Verification of Reactive Systems: Safety
945 Citations1995Zohar Manna, Amir Pnueli
This paper presents a meta-language for estimating Satisfiability over a Finite-State Program: Examples and some examples of how such a program might be implemented in a number of different programming languages.
IEE Proceedings - Software EngineeringAgent-based software engineering
799 Citations1997Michael Wooldridge
The paper considers the problem of building a multi-agent system as a software engineering enterprise and discusses three issues: how agents might be specified; how these specifications might be refined or otherwise transformed into efficient implementations: and how implemented agents and multi- agent systems might subsequently be verified, to show that they are correct with respect to their specifications.
Object-oriented development: the fusion method
715 Citations1994Derek Coleman, Patrick Arnold +5 more
Fusion and Other Methods: Managing a Fusion Project, a Practical Guide to Analysis Models and Notations, and a Reference to Fusion Reference.
Agent technology: foundations, applications, and markets
695 Citations1998Nicholas R. Jennings, Michael Wooldridge
The FinCEN AI System: Finding Financial Crimes in a Large Database of Cash Transactions and Adding Value with Intelligent Agents in Financial Services are highlighted.
First-Order Logic
677 Citations1968Raymond M. Smullyan
The MIT Press eBooksLearning in Embedded Systems
586 Citations1993Leslie Pack Kaelbling
This dissertation addresses the problem of designing algorithms for learning in embedded systems using Sutton's techniques for linear association and reinforcement comparison, while the interval estimation algorithm uses the statistical notion of confidence intervals to guide its generation of actions.
Choice Reviews OnlineCambrian intelligence: the early history of the new AI
514 Citations2000
This book represents Rodney A. Brooks' initial formulation of and contributions to the development of the behavior-based approach to robotics and presents all of the key philosophical and technical ideas that put this "bottom-up" approach at the forefront of current research in not only AI but all of cognitive science.
ACM Transactions on Programming Languages and SystemsSynthesis of Communicating Processes from Temporal Logic Specifications
497 Citations1984Zohar Manna, Pierre Wolper
Propositional Temporal Logic is applied to the specification and synthesis of the synchronization part of communicating processes by constructing a model of the given specifications using a tableau-like satisfiability algorithm for PTL.
Morgan Kaufmann Publishers Inc. eBooksReadings in agents
479 Citations1997Michael N. Huhns, Munindar P. Singh
Themes, approaches, and challenges in agents and Multiagent Systems: Themes, Approaches, and Challenges are explored.
Lecture notes in computer scienceRepresenting Agent Interaction Protocols in UML
426 Citations2001James Odell, H. Van Dyke Parunak +1 more
This paper illustrates the approach by presenting a three-layer AUML representation for agent interaction protocols: templates and packages to represent the protocol as a whole; sequence and collaboration diagrams to capture inter-agent dynamics; and activity diagrams and state charts to capture both intra-agent and inter- agent dynamics.
Lecture notes in computer scienceA Survey of Agent-Oriented Methodologies
413 Citations1999Carlos Á. Iglesias, Mercedes Ruiz Garijo +1 more
The current agent-oriented methodologies are introduced and what approaches have been followed, the suitability of these approaches for agent modelling, and some conclusions drawn from the survey are discussed.
A methodology for agent-oriented analysis and design
384 Citations1999Michael Wooldridge, Nicholas R. Jennings +1 more
The methodology is general, applicable to a wide range of multi-agent systems, and comprehensive, in that it deals with both the macro-level and micro-level aspects of systems.
International Journal of Software Engineering and Knowledge EngineeringAGENT UML: A FORMALISM FOR SPECIFYING MULTIAGENT SOFTWARE SYSTEMS
367 Citations2001Bernhard Bauer, Jörg P. Müller +1 more
It is claimed that by extending the de-facto standard representation for object-oriented modeling to agents, the learning curve forobject-oriented developers to adopt aspects of agent-based programming becomes much less steep and agent-oriented programming as a whole will become more amenable to mainstream software engineering.
Lecture notes in computer scienceA methodology and modelling technique for systems of BDI agents
354 Citations1996David Kinny, Michael Georgeff +1 more
This paper describes an agent-oriented methodology and modelling technique for systems of agents based upon the Belief-Desire-Intention (BDI) paradigm and extends existing Object-Oriented (OO) models to produce an approach that can be easily learnt and understood by those familiar with the OO paradigm.
Lecture notes in computer scienceAn Overview of the Multiagent Systems Engineering Methodology
294 Citations2001Mark F. Wood, Scott A. DeLoach
This paper introduces a methodology for designing systems of interacting agents and focuses on coordinating the local behavior of individual agents to provide an appropriate system-level behavior.
Pitfalls of agent-oriented development
267 Citations1998Michael Wooldridge, Nicholas R. Jennings
This paper identifies the main pitfalls that await the agent system developer, and where possible, makes tentative recommendations for how these pitfalls can be avoided or rectified.
Lecture notes in computer scienceAnalysis and design of multiagent systems using MAS-CommonKADS
263 Citations1998Carlos Á. Iglesias, Mercedes Ruiz Garijo +2 more
An agent-oriented methodology called MAS-CommonKADS is proposed, that extends the knowledge engineering methodology CommonKADS with techniques from objectoriented and protocol engineering methodologies and develops a case study.
Lecture notes in computer scienceSODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems
255 Citations2001Andrea Omicini
SODA promotes the separation of individual and social issues, and focuses on the social aspects of agent-oriented software engineering, and allow the agent environment to be explicitly modelled and mapped onto suitably-defined agent infrastructures.
Lecture notes in computer scienceA survey of concurrent MetateM — The language and its applications
219 Citations2005Michael Fisher
A survey of work relating to the Concurrent MetateM programming language, which incorporates the direct execution of temporal formulae and a variety of extensions that have either been implemented or proposed are outlined.
Goldsmiths (University of London)A Formal Framework for Agency and Autonomy
218 Citations1995G. Flucke, Mark d’Inverno
This paper lays the foundations for a principled theory of agency and autonomy, and specifies the relationship between them using the Z specification language, and describes a three-tiered hierarchy comprising objects, agents and autonomous agents.
Agent Technology
212 Citations1998Nicholas R. Jennings, Michael Wooldridge
The implemented version of OASIS was developed using SRI Intemational's Procedural Reasoning System (PRS) as the agent architecture and can handle in excess of one hundred aircraft Rational Software Agents: Prom Theory to Practice 155 agents, each interacting with the various scheduling and coordination agents.
Lecture notes in computer scienceAgent UML: A Formalism for Specifying Multiagent Software Systems
203 Citations2001Bernhard Bauer, Jörg P. Müller +1 more
Digital Academic REpository of VU University Amsterdam (Vrije Universiteit Amsterdam)Formal Specification of Multi-Agent Systems: a Real World Case
163 Citations1995Frances Brazier, Barbara Dunin‐Kȩplicz +2 more
The framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi- agent application on a conceptual level to obtain a useful formal specification framework for multi-agent systems.
Artificial IntelligenceA situated view of representation and control
159 Citations1995Stanley J. Rosenschein, Leslie Pack Kaelbling
This paper presents a methodology for the design of situated agents that is based on situated-automata theory, which allows designers to describe the informational content of an agent's computational states in a semantically rigorous way without requiring a commitment to conventional run-time symbolic processing.
A really abstract concurrent model and its temporal logic
157 Citations1986Howard Barringer, Ruurd Kuiper +1 more
It is shown that, by imposing the crucial condition of finite variability, the radical notion that a computational model based on the reals provides a more abstract description of concurrent and reactive systems, than the conventional conventional behavioral model of execution sequencing is advanced.
ePrints Soton (University of Southampton)Agent-Based Computing: Promise and Perils
142 Citations1999Nicholas R. Jennings
International Joint Conference on Artificial IntelligenceA model-theoretic approach to the verification of situated reasoning systems
134 Citations1993Anand S. Rao, Michael Georgeff
This paper presents three propositional variants of agent-oriented logics, with different expressive power, and analyzes the computational complexity of verifying if a given property is satisfied by a given abstract agent- oriented system.
Lecture notes in computer scienceMetateM: A framework for programming in temporal logic
132 Citations1990Howard Barringer, Michael Fisher +3 more
This paper further develops the methodology of temporal logic as an executable imperative language, presented by Moszkowski and Gabbay and presents a concrete framework, called MetateM for executing (modal and) temporal logics.
The Knowledge Engineering ReviewThe Knowledge Engineering Review
121 Citations1984John P. Fox, Maurice Ashill
International Joint Conference on Artificial IntelligenceA framework for distributed problem solving
119 Citations1979Reid G. Smith
The contract net framework for distributed problem solving is discussed, with the use of a control formalism based on a contract metaphore in which task distribution corresponds to contract negotiation.
Distributed ComputingKnowledge-based programs
111 Citations1997Ronald Fagin, Joseph Y. Halpern +2 more
In this paper, a sufficient condition is provided for a knowledge-based program to be represented in a unique way in a given context, which applies to many cases of interest, and covers many of the knowledge- based programs considered in the literature.
Lecture notes in computer scienceFoundations of a logical approach to agent programming
110 Citations1996Yves Lespérance, Hector J. Levesque +4 more
A novel approach to high-level agent programming based on a highly developed logical theory of action, which includes a solution to the frame problem, allows agents to have incomplete knowledge of their environment, and handles perceptual actions.
International Journal of Cooperative Information SystemsOn the Formal Specification and Verification of Multi-Agent Systems
100 Citations1997Michael Fisher, Michael Wooldridge
This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics, and develops a logic that may be used to reason about Concurrent METATEM systems.
OpenGrey (Institut de l'Information Scientifique et Technique)The Logical Modelling of Computational Multi-Agent Systems
84 Citations1992Michael Wooldridge
The aim of this thesis is to investigate logical formalisms for describing, reasoning about, specifying, and perhaps ultimately verifying the properties of systems composed of multiple intelligent computational agents.
Agent Oriented Design of a Soccer Robot Team
77 Citations1996Anne Collinot, Alexis Drogoul +1 more
The Cassiopeia method is defined whose specificity is to articulate the design of a multi-agent system around the notion of organization, and the use of this method is reported for designing and implementing the organization of a soccer robot team.
Lecture notes in computer scienceFrom agent theory to agent construction: A case study
67 Citations1997G. Flucke, Nathan Griffiths +1 more
The construction of an agent simulation environment that is based strongly on a formal theory of agent systems, but which is intended to serve in exactly this way as a basis for practical development is described.
Lecture notes in computer scienceFormal semantics for an abstract agent programming language
65 Citations1998Koen V. Hindriks, Frank S. de Boer +2 more
This article proposes an abstract agent programming language with a clear and formally defined semantics, which combines features of both logic programming, i.e. it is rule-based, and imperative programming, and includes the full range of conventional programming constructs.
Lecture notes in computer scienceCompositional formal specification of multi-agent systems
62 Citations1995Barbara Dunin‐Kȩplicz, Jan Treur
It is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture and a specific type of agent with various capabilities of reasoning and acting is given.
A framework for distributed problem solving
58 Citations1982Dave McArthur, Randy Steeb +1 more
A framework for distributed problem solving is presented that describes some of the expertise an agent working in an multi-agent environment must have and an application of the framework to the domain of air-traffic control is discussed.
Knowledge-based programs
56 Citations1995Ronald Fagin, Yoram Moses +2 more
The Knowledge Engineering ReviewAn introduction to executable temporal logics
45 Citations1996Michael Fisher
An introduction to some of the basic concepts of executable temporal logics, together with an overview of the main approaches being pursued.
Lecture notes in computer scienceThis is myworld: The logic of an Agent-Oriented DAI testbed
44 Citations1995Michael Wooldridge
The ultimate goal of the work presented in this article is to develop practical frameworks for formally reasoning about multi-agent systems, as multi- agent approaches are inherently complex, and are already being applied in safety-critical domains such as air traffic control.
Lecture notes in computer scienceAgent Software Engineering with Role Modelling
37 Citations2001Elizabeth Kendall
Role modelling is proposed as a software engineering technique for specifying, analyzing, and designing systems on the basis of the roles that the agents will play, and object-oriented role models are extended to represent patterns of agent interaction that can be employed to engineer agent systems.
Lecture notes in computer scienceControl Structures of Rule-Based Agent Languages
36 Citations1999Koen V. Hindriks, Frank S. de Boer +2 more
This work provides a concrete and intuitive ordering on rules on which an interpreter can provide some means of selection from a set of such rules, inspired by the common sense metaphor of intelligent agents in Artificial Intelligence.
Lecture notes in computer scienceA Model Checking Algorithm for Multi-agent Systems
34 Citations1999Massimo Benerecetti, Fausto Giunchiglia +1 more
This approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm.