header
ABM

Tag:
Edit edit   Starstar

Program Information

Name: ABM
Domain: Algorithm
Functionality: Introduce the type of metamorphic properties for ABM.(To demonstrate the process of discovering metamorphic properties for validation, and identifying MR based on those properties, we use a agent-based model of angiogenesis to illustrate it.You can find it by searching ``Angiogenesis model") 
Input:
Output:

Reference

Metamorphic Validation for Agent-based Simulation Models https://dl.acm.org/citation.cfm?id=3015607 

MR Information

MR1------Environmental Parameters

Description:
Property: Changes to the environment with a predictable change in system behavior.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR2------Agent Parameters

Description:
Property: Changes to agent parameters that cause predictable change in the system behavior.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR3------Agent Topology

Description:
Property: If agent connections or situation are defined by a specific topology, there may be some simulation output metric that should not be impacted by a topology change, and other metrics that should undergo a predictable change when the interaction network topology changes. Although in some simulations this may be implemented as a parameter, in simulations in which a single topology is used this property will require adding new functionality into the system to test.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR4------Interactions Between Agents

Description:
Property: In many ABMs each agent may be able to interact with another agent. This interaction may be via direct and purposeful communication, or from specific interactions that occur when two collide, or any number of related events. Changes in what occurs when agents interact or under what circumstances they interact may lead to predictable changes.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR5------Interactions between Agent and Environment

Description:
Property: Agents may directly interact with artifacts in the environment, either through sensing or other communication activities. Changes to either the way interactions occur, the effect of interaction on the agent or environment, or the level of interaction, could be a metamorphic property.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR6------Individual Agent Behavior

Description:
Property: Agent behavior refers to any behavior that should be validated and does not occur due to interactions. For instance, the general decision process an agent may use before moving in a 2D world could be the basis of a property if a change to that decision process could lead to a predictable outcome.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here