CML-DEVS: A specification language for DEVS conceptual models

Diego A. Hollmann

doi:10.1016/j.simpat.2015.06.007

Return

CML-DEVS: A specification language for DEVS conceptual models

2015-09-01

Diego A. Hollmann *

Maximiliano Cristiá

Claudia Frydman

DOI：10.1016/j.simpat.2015.06.007

Original

Save

View PDF

Abstract

En 中文

DEVS models are widely used in the research community, in the industry and even in military or defense departments. Therefore, several software tools exist for modeling and simulating these models. However, each of these tools has its specific input language and a DEVS model described within a particular framework cannot be simulated by a different one. Moreover, the practitioners willing to use one of these tools must have non-trivial programming skills or must ask to a programmer to translate their models into the language of the desired tool. In this paper, we present CML-DEVS, a language that allows the conceptual, abstract or mathematical representation of DEVS models, in terms of mathematical and logical expressions without involving programming issues. Models described with CML-DEVS can be automatically translated (i.e. compiled) into the input language of different modeling and simulation tools. We also present a set of rules to translate CML-DEVS models into models that can be simulated with well-known DEVS frameworks such as DEVS-Suite and PowerDEVS. These rules allow the implementation of a multi-target compiler. (C) 2015 Elsevier B.V. All rights reserved.

Keywords:

Conceptual model

Abstract model

DEVS

Discrete event simulation

Abstract language

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.