Towards an ABM Tool with Formal Semantics

Get Started. It's Free
or sign up with your email address
Rocket clouds
Towards an ABM Tool with Formal Semantics by Mind Map: Towards an ABM Tool with Formal Semantics

1. Related work

1.1. On formal semantics

1.2. On agent-based modeling

1.3. On existing tools

2. Introduction

2.1. Introduction

2.2. Motivation

2.3. Research questions

2.4. Methodology

2.5. Overview

3. Defining a formal semantics

3.1. Key elements of an agent based model

3.1.1. Agent

3.1.1.1. Behaviour

3.1.1.2. Communication

3.1.1.3. Actions

3.1.2. Environment

3.1.2.1. Physical environment

3.1.2.2. Communication environment

3.1.3. Schedule

3.1.3.1. Discrete event

3.1.3.2. Discrete time

3.2. Existing tools

3.2.1. NetLogo

3.2.2. Repast

3.2.3. TurtleKit

3.2.4. MASON

3.2.5. GAMA/GAML

3.2.6. SARL as basis for new platform

3.3. Existing (partial) formalisations

3.3.1. Environment

3.3.1.1. IR4MS

3.3.2. Communication and agent interaction

3.3.2.1. Formal Semantics for AUML Agent Interaction Protocol Diagrams (Cabal et al. 2000)

3.3.3. Based on the DEVS formalism

3.3.3.1. LDEF (loosely)

3.3.3.2. M-DEVS

3.4. SARL meta-model

3.4.1. Contexts and Spaces

3.4.1.1. Event Spaces

3.4.1.2. Holonic orginazation

3.4.2. Events

3.4.3. Agents and Behaviour

3.4.3.1. Reactive behaviour

3.4.3.2. Pro-active behaviour

3.4.3.3. Behaviour as first class abstraction

3.4.4. Capacities and Skills

3.5. Extending SARL meta-model

3.5.1. Scheduling

3.5.2. IRM4S for SARL

3.5.3. Re-implementing built-in capacities

3.6. Proposed formal semantics

3.6.1. Environment

3.6.1.1. Events

3.6.1.2. Actions

4. Tool Design

4.1. Define design goals

4.1.1. Correctly implementing formal semantics

4.1.2. Reusability of artifacts

4.2. Design

4.2.1. UML diagram

4.3. Experiments

4.3.1. Reprodicibility analysis

4.3.2. Test suite for formal semantics

4.3.3. Demonstrative example

4.3.3.1. Comparison of models

4.3.3.2. Verification methods

4.3.3.3. Utilizing existing models to build new models

5. Conclusion

5.1. Acknowledgement

6. Experiment results

6.1. Results of reproducibility analysis

6.2. Results test suite

6.3. Results Demonstrative example

6.4. Discussion