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

Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés

doi:10.1007/s10270-009-0135-2

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

Software & Systems Modeling ◽

10.1007/s10270-009-0135-2 ◽

2009 ◽

Vol 10 (1) ◽

pp. 55-62 ◽

Cited By ~ 6

Author(s):

Joaquin Peña ◽

Christopher A. Rouff ◽

Mike Hinchey ◽

Antonio Ruiz-Cortés

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Agent Oriented Software Engineering

Download Full-text

Formal Methods in Agent-Oriented Software Engineering

Lecture Notes in Computer Science - Agent-Oriented Software Engineering X ◽

10.1007/978-3-642-19208-1_15 ◽

2011 ◽

pp. 213-228 ◽

Cited By ~ 5

Author(s):

Amal El Fallah-Seghrouchni ◽

Jorge J. Gomez-Sanz ◽

Munindar P. Singh

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Agent Oriented Software Engineering

Download Full-text

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems

2007 IEEE Swarm Intelligence Symposium ◽

10.1109/sis.2007.367958 ◽

2007 ◽

Cited By ~ 5

Author(s):

Christopher A. Rouff ◽

Michael G. Hinchey ◽

Joaquin Pena ◽

Antonio Ruiz-Cortes

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Agent Oriented Software Engineering

Download Full-text

Software engineering and formal methods: SEFM 2019 special section

Software & Systems Modeling ◽

10.1007/s10270-021-00874-1 ◽

2021 ◽

Vol 20 (2) ◽

pp. 291-292

Author(s):

Peter Csaba Ölveczky ◽

Gwen Salaün

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

Introduction to the special issue on challenges in agent-oriented software engineering

The Knowledge Engineering Review ◽

10.1017/s0269888915000041 ◽

2015 ◽

Vol 30 (4) ◽

pp. 373-374

Author(s):

Danny Weyns ◽

Jörg P. Müller

Keyword(s):

Software Engineering ◽

Special Issue ◽

Agent Oriented Software Engineering

Download Full-text

A formal specification language for agent-oriented software engineering

Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 ◽

10.1145/860575.860852 ◽

2003 ◽

Cited By ~ 11

Author(s):

Hong Zhu

Keyword(s):

Software Engineering ◽

Formal Specification ◽

Specification Language ◽

Agent Oriented Software Engineering ◽

Formal Specification Language

Download Full-text

Software engineering and formal methods

Communications of the ACM ◽

10.1145/1378727.1378742 ◽

2008 ◽

Vol 51 (9) ◽

pp. 54-59 ◽

Cited By ~ 31

Author(s):

Mike Hinchey ◽

Michael Jackson ◽

Patrick Cousot ◽

Byron Cook ◽

Jonathan P. Bowen ◽

...

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

BDI Agent Architectures: A Survey

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence ◽

10.24963/ijcai.2020/684 ◽

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.

Download Full-text