loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ilias Sakellariou 1 ; Dimitris Dranidis 2 ; Marina Ntika 3 and Petros Kefalas 2

Affiliations: 1 University of Macedonia, Greece ; 2 The University of Sheffield International Faculty and City College, Greece ; 3 Research Centre of the International Faculty of The University of Sheffield and CITY College, Greece

ISBN: 978-989-758-073-4

ISSN: 2184-433X

Keyword(s): Formal Methods, NetLogo, Agent Based Simulation, Test Case Generation.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Bioinformatics ; Biomedical Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies and Technologies ; Operational Research ; Programming Environments and Languages ; Simulation

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.92.74.105

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 2: ICAART, ISBN 978-989-758-073-4, ISSN 2184-433X, pages 87-98. DOI: 10.5220/0005222200870098

@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 2: ICAART,},
year={2015},
pages={87-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005222200870098},
isbn={978-989-758-073-4},
}

TY - CONF

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.