Monitoring hierarchical agent-based simulation traces

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

2 Citations (Scopus)


Due to their internal complexity, agent-based simulations are rarely amenable to conventional formal verification. With its focus on individual traces, runtime verification represents an interesting alternative for correctness assessment. Here, execution traces produced by the running system are observed by a monitor and checked for correctness on-the-fly. If the truth or falsity of a given property cannot be determined at time t, then the monitor creates an obligation that the current trace needs to satisfy at time t + 1 in order for the whole property to become true. With different observational levels, traces produced by agent-based simulations have an inherently hierarchical nature which complicates the structure and manipulation of obligations significantly. However, it turns out that this problem is general enough to be dealt with in an abstract, language-independent way. In this paper, we provide a general framework for the monitoring of hierarchical traces. It introduces different types of obligations and appropriate manipulation procedures along with minimal requirements that a property specification language needs to satisfy in order to be monitorable. We provide a full formalisation of the framework and an example implementation of a subset in Haskell.

Original languageEnglish
Title of host publicationProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Number of pages9
ISBN (Print)9781450337694
Publication statusPublished - 2015
Event14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - Istanbul, Turkey
Duration: 4 May 20158 May 2015


Conference14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015


  • Agent-based simulation
  • Monitoring
  • Runtime verification
  • Temporal logic


Dive into the research topics of 'Monitoring hierarchical agent-based simulation traces'. Together they form a unique fingerprint.

Cite this