From Formal Modelling to Agent Simulation Execution and Testing

Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas

2015

Abstract

This work presents an approach to agent-based simulation development using formal modelling, i.e. stream X-Machines, that combines the power of executable specifications and test case generation. In that respect, a domain specific language is presented for effortlessly encoding agent behaviour as a stream X-Machine in a well known simulation platform. The main benefits in using the specific formal approach in such a practical setting, apart from the fact that it offers a clear, intuitive way for specifying agent behaviour, is the existence of tools for test case generation, that allow to systematically generate “agent simulation test scenarios”, i.e. sequences of agent inputs that can be used for validation.

Paper Citation

in Harvard Style

Sakellariou I., Dranidis D., Ntika M. and Kefalas P. (2015). From Formal Modelling to Agent Simulation Execution and Testing . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 87-98. DOI: 10.5220/0005222200870098

in Bibtex Style

@conference{icaart15,
author={Ilias Sakellariou and Dimitris Dranidis and Marina Ntika and Petros Kefalas},
title={From Formal Modelling to Agent Simulation Execution and Testing},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={87-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005222200870098},
isbn={978-989-758-073-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - From Formal Modelling to Agent Simulation Execution and Testing
SN - 978-989-758-073-4
AU - Sakellariou I.
AU - Dranidis D.
AU - Ntika M.
AU - Kefalas P.
PY - 2015
SP - 87
EP - 98
DO - 10.5220/0005222200870098