Show simple item record

dc.contributor.authorFonseca Casas, Pau
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa
dc.date.accessioned2015-12-18T11:34:14Z
dc.date.available2015-12-18T11:34:14Z
dc.date.issued2015-03-01
dc.identifier.citationFonseca, P. Transforming classic discrete event system specification models to specification and description language. "Simulation. Transactions of the Society for Modeling and Simulation International", 01 Març 2015, vol. 91, núm. 3, p. 249-264.
dc.identifier.issn0037-5497
dc.identifier.urihttp://hdl.handle.net/2117/80899
dc.description.abstractDiscrete Event System Specification (DEVS) is one of the main widely used formal languages to represent simulation models, while Specification and Description Language (SDL) is a graphical ITU-T standard language, commonly used in telecommunication and engineering areas. In this paper, we present an algorithm, and a simulation infrastructure that implements this algorithm, to transform a simulation model represented using the DEVS formalism to the SDL standard language. The algorithm can be viewed as a mechanism to represent graphically DEVS models. In addition, because of the transformation, one can use SDL tools in order to implement DEVS models. To implement the algorithm, we propose an Extensible Markup Language representation for the DEVS and SDL models. For practical application of the algorithm, it is implemented in a simulation infrastructure named the Specification and Description Language Parallel Simulator that allows defining the models with both formalisms.
dc.format.extent16 p.
dc.language.isoeng
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Simulació
dc.subject.lcshArtificial intelligence
dc.subject.otherDiscrete Event System Specification
dc.subject.otherSpecification and Description Language
dc.subject.othersimulation
dc.subject.otherformal language
dc.titleTransforming classic discrete event system specification models to specification and description language
dc.typeArticle
dc.subject.lemacIntel·ligència artificial
dc.contributor.groupUniversitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació
dc.identifier.doi10.1177/0037549715571623
dc.description.peerreviewedPeer Reviewed
dc.subject.amsClassificació AMS::68 Computer science::68T Artificial intelligence
dc.rights.accessOpen Access
drac.iddocument15466047
dc.description.versionPostprint (published version)
upcommons.citation.authorFonseca, P.
upcommons.citation.publishedtrue
upcommons.citation.publicationNameSimulation. Transactions of the Society for Modeling and Simulation International
upcommons.citation.volume91
upcommons.citation.number3
upcommons.citation.startingPage249
upcommons.citation.endingPage264


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 3.0 Spain