Academia.eduAcademia.edu

AI-generated Abstract

Agent-oriented software engineering has emerged as a significant field in response to the complexity of software that relies on interaction among components. This article surveys the current state of agent-oriented software engineering, detailing the essential concepts of agent-based systems and the methodologies for engineering multi-agent systems. It discusses the relationship between agents and traditional object-oriented programming, outlines preliminary methodologies, and explores formal methods for multi-agent system engineering. The paper concludes by addressing ongoing challenges in the field and the potential for agents as a transformative paradigm in software engineering.

Key takeaways

  • The third important distinction between the standard object model and our view of agent systems is that agents are each considered to have their own thread of control.
  • Inverno have developed an agent specification framework in the Z language [68], although the types of agents considered in this framework are somewhat different from those discussed above [48,49].
  • What are the requirements for an agent specification framework?
  • The specification represents the goal of the game: the agent must keep the goal satisfied, while the environment tries to prevent the agent from doing so.
  • The second problem is the difficulty of the proof problem for agent specification languages.