A Novel Approach to Programming: Agent Based Software Engineering

Agent (and multiagent system) technology originates from artificial intelligence. The continuous and autonomous nature of agents and the communication among these agents also make them an excellent candidate for distributed computing and even general software applications. Agent based software engineering advocates using the agent technology for typical software development. Evolving from object oriented software engineering to agent based software engineering may be as significant as evolving from the procedure oriented concept to the object oriented concept. In this paper, we examine agent based software engineering in relation to the three main steps of software development: system analysis and modeling, design and implementation, and validation.

[1]  Jörg P. Müller,et al.  Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers , 2004, AOSE.

[2]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers , 2006, AOSE.

[3]  Daniel Moldt,et al.  Formal Semantics for AUML Agent Interaction Protocol Diagrams , 2004, AOSE.

[4]  C.F.F. Ramos,et al.  Methodology for analysis and design of systems , 2004, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings..

[5]  Charles J. Petrie,et al.  Agent-Based Software Engineering , 2000, AOSE.

[6]  Alexander Artikis,et al.  Specifying Electronic Societies with the Causal Calculator , 2002, AOSE.

[7]  Ian Sommerville,et al.  Software engineering (6th ed.) , 2001 .

[8]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[9]  Lakhmi C. Jain,et al.  Knowledge-Based Intelligent Information and Engineering Systems , 2004, Lecture Notes in Computer Science.

[10]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[11]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[12]  Jörg P. Müller,et al.  Agent-Oriented Software Engineering IV , 2003, Lecture Notes in Computer Science.

[13]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[14]  Danny Weyns,et al.  A Design Process for Adaptive Behavior of Situated Agents , 2004, AOSE.

[15]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[16]  Gaële Simon,et al.  Implementing Validated Agents Behaviours with Automata Based on Goal Decomposition Trees , 2005, AOSE.

[17]  Marco Pistore,et al.  Agent-Oriented Modeling by Interleaving Formal and Informal Specification , 2003, AOSE.

[18]  Jacques Ferber,et al.  A Formal Approach to Design and Reuse Agent and Multiagent Models , 2004, AOSE.

[19]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[20]  Wanli Ma,et al.  On an IT Security Framework , 2005, KES.

[21]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[22]  Frank Dignum,et al.  Enacting and Deacting Roles in Agent Programming , 2004, AOSE.

[23]  Fausto Giunchiglia,et al.  Agent-Oriented Software Engineering III , 2003, Lecture Notes in Computer Science.

[24]  Wanli Ma,et al.  A Multiple Agents Based Intrusion Detection System , 2005, KES.

[25]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[26]  Felix A. Fischer,et al.  Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language , 2005, AOSE.

[27]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[28]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[29]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[30]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[31]  Hong Lin,et al.  Concurrent Programming with Multi-Agents and the Chemical Abstract Machine , 2007 .

[32]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[33]  Jeffrey M. Bradshaw,et al.  An introduction to software agents , 1997 .

[34]  Eric Sanchis,et al.  Designing new agent-based applications architectures with the AGP methodology , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..

[35]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[36]  Amund Tveit,et al.  A survey of Agent-Oriented Software Engineering , 2001 .

[37]  Alessandro Cimatti,et al.  Validation of Multiagent Systems by Symbolic Model Checking , 2002, AOSE.

[38]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[39]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[40]  Pádraig Cunningham,et al.  Software agents: A review , 1997 .