Formal Methods in Agent-Oriented Software Engineering

2011 ◽  
pp. 213-228 ◽  
Author(s):  
Amal El Fallah-Seghrouchni ◽  
Jorge J. Gomez-Sanz ◽  
Munindar P. Singh
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Agent Oriented Software Engineering

scholarly journals Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

2009 ◽  
Vol 10 (1) ◽  
pp. 55-62 ◽  
Author(s):  
Joaquin Peña ◽  
Christopher A. Rouff ◽  
Mike Hinchey ◽  
Antonio Ruiz-Cortés
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Agent Oriented Software Engineering

scholarly journals Software engineering and formal methods: SEFM 2019 special section

2021 ◽  
Vol 20 (2) ◽  
pp. 291-292
Author(s):  
Peter Csaba Ölveczky ◽  
Gwen Salaün
Keyword(s):  
Software Engineering ◽  
Formal Methods ◽  
Special Section

scholarly journals Software engineering and formal methods

2008 ◽  
Vol 51 (9) ◽  
pp. 54-59 ◽  
Author(s):  
Mike Hinchey ◽  
Michael Jackson ◽  
Patrick Cousot ◽  
Byron Cook ◽  
Jonathan P. Bowen ◽  
...  
Keyword(s):  
Software Engineering ◽  
Formal Methods

scholarly journals BDI Agent Architectures: A Survey

2020 ◽  
Author(s):  
Lavindra de Silva ◽  
Felipe Meneguzzi ◽  
Brian Logan
Keyword(s):  
Systematic Review ◽  
Software Engineering ◽  
Programming Languages ◽  
Agent Architectures ◽  
Agent Oriented Software Engineering ◽  
Agent Programming ◽  
Agent Programming Languages ◽  
Trade Offs ◽  
Bdi Agent ◽  
Bdi Architecture

The BDI model forms the basis of much of the research on symbolic models of agency and agent-oriented software engineering. While many variants of the basic BDI model have been proposed in the literature, there has been no systematic review of research on BDI agent architectures in over 10 years. In this paper, we survey the main approaches to each component of the BDI architecture, how these have been realised in agent programming languages, and discuss the trade-offs inherent in each approach.

Sign in / Sign up

Export Citation Format

Share Document