CML-DEVS: a specification language for DEVS conceptual models

Autores
Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia
Año de publicación
2015
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Hollmann, Diego Ariel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Cristiá, Maximiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina
Fil: Frydman, Claudia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Université de Toulon; Francia
Materia
Conceptual Model
Abstract Model
Devs
Abstract Language
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/15243
Acceder
id CONICETDig_ed7b6bdbdec134055ceb731aaee86851
oai_identifier_str oai:ri.conicet.gov.ar:11336/15243
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling CML-DEVS: a specification language for DEVS conceptual modelsHollmann, Diego ArielCristiá, MaximilianoFrydman, ClaudiaConceptual ModelAbstract ModelDevsAbstract Languagehttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1DEVS 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.Fil: Hollmann, Diego Ariel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; ArgentinaFil: Cristiá, Maximiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; ArgentinaFil: Frydman, Claudia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Université de Toulon; FranciaElsevier Science2015-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/15243Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia; CML-DEVS: a specification language for DEVS conceptual models; Elsevier Science; Simulation Modelling Practice And Theory; 57; 9-2015; 100-1171569-190Xenginfo:eu-repo/semantics/altIdentifier/doi/10.1016/j.simpat.2015.06.007info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1569190X15001021info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:44:56Zoai:ri.conicet.gov.ar:11336/15243instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:44:56.686CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv CML-DEVS: a specification language for DEVS conceptual models
title CML-DEVS: a specification language for DEVS conceptual models
spellingShingle CML-DEVS: a specification language for DEVS conceptual models
Hollmann, Diego Ariel
Conceptual Model
Abstract Model
Devs
Abstract Language
title_short CML-DEVS: a specification language for DEVS conceptual models
title_full CML-DEVS: a specification language for DEVS conceptual models
title_fullStr CML-DEVS: a specification language for DEVS conceptual models
title_full_unstemmed CML-DEVS: a specification language for DEVS conceptual models
title_sort CML-DEVS: a specification language for DEVS conceptual models
dc.creator.none.fl_str_mv Hollmann, Diego Ariel
Cristiá, Maximiliano
Frydman, Claudia
author Hollmann, Diego Ariel
author_facet Hollmann, Diego Ariel
Cristiá, Maximiliano
Frydman, Claudia
author_role author
author2 Cristiá, Maximiliano
Frydman, Claudia
author2_role author
author
dc.subject.none.fl_str_mv Conceptual Model
Abstract Model
Devs
Abstract Language
topic Conceptual Model
Abstract Model
Devs
Abstract Language
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Hollmann, Diego Ariel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario; Argentina
Fil: Cristiá, Maximiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura; Argentina
Fil: Frydman, Claudia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentina. Université de Toulon; Francia
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/15243
Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia; CML-DEVS: a specification language for DEVS conceptual models; Elsevier Science; Simulation Modelling Practice And Theory; 57; 9-2015; 100-117
1569-190X
url http://hdl.handle.net/11336/15243
identifier_str_mv Hollmann, Diego Ariel; Cristiá, Maximiliano; Frydman, Claudia; CML-DEVS: a specification language for DEVS conceptual models; Elsevier Science; Simulation Modelling Practice And Theory; 57; 9-2015; 100-117
1569-190X
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1016/j.simpat.2015.06.007
info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S1569190X15001021
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Elsevier Science
publisher.none.fl_str_mv Elsevier Science
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842268698932412416
score 13.13397

Publicaciones similares