Sciweavers

Share
INFSOF
2006

DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems

11 years 5 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be translated in different forms of codes by code generators, which are executed with various tools for models verification, logical analysis, performance evaluation, and others. q 2005 Elsevier Ltd All rights reserved.
Ki Jung Hong, Tag Gon Kim
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where INFSOF
Authors Ki Jung Hong, Tag Gon Kim
Comments (0)
books