A Unified Specification Format for Interlevel Relations between Agent Models in Multiple Abstraction Dimensions

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

Multi-agent systems for a certain application area can be modeled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalization is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner. © 2013 World Scientific Publishing Company.
LanguageEnglish
Pages1250026-1250052
Number of pages27
JournalInternational Journal of Modeling, Simulation and Scientific Computing (IJMSSC)
Volume04
Issue number01
DOIs
Publication statusPublished - 2013

Fingerprint

Multi agent systems
Specification
Specifications
Multi-agent Systems
Model
Abstraction
Formalization
Three-dimension

Cite this

@article{ef2fd1a13b7f4ca18a6a6629dc6cc35e,
title = "A Unified Specification Format for Interlevel Relations between Agent Models in Multiple Abstraction Dimensions",
abstract = "Multi-agent systems for a certain application area can be modeled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalization is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner. {\circledC} 2013 World Scientific Publishing Company.",
author = "J. Treur",
year = "2013",
doi = "10.1142/S1793962312500262",
language = "English",
volume = "04",
pages = "1250026--1250052",
journal = "International Journal of Modeling, Simulation and Scientific Computing (IJMSSC)",
issn = "1793-9623",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "01",

}

TY - JOUR

T1 - A Unified Specification Format for Interlevel Relations between Agent Models in Multiple Abstraction Dimensions

AU - Treur, J.

PY - 2013

Y1 - 2013

N2 - Multi-agent systems for a certain application area can be modeled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalization is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner. © 2013 World Scientific Publishing Company.

AB - Multi-agent systems for a certain application area can be modeled at multiple levels of abstraction. Interlevel relations are a means to relate models from different abstraction levels. Three dimensions of abstraction often occurring are the process abstraction, temporal abstraction, and agent cluster abstraction dimension. In this paper a unifying formalization is presented that can be used as a framework to specify interlevel relations for any of such dimensions. The approach is illustrated by showing how a variety of different types of abstraction relations between multi-agent system models can be formally specified in a unified manner. © 2013 World Scientific Publishing Company.

U2 - 10.1142/S1793962312500262

DO - 10.1142/S1793962312500262

M3 - Article

VL - 04

SP - 1250026

EP - 1250052

JO - International Journal of Modeling, Simulation and Scientific Computing (IJMSSC)

T2 - International Journal of Modeling, Simulation and Scientific Computing (IJMSSC)

JF - International Journal of Modeling, Simulation and Scientific Computing (IJMSSC)

SN - 1793-9623

IS - 01

ER -