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

被引：16
|
作者：
Hong, KJ [1 ]
Kim, TG [1 ]
机构：
[1] Korea Adv Inst Sci & Technol, EECS Dept, Taejon 305701, South Korea
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2006年 / 48卷 / 04期
关键词：
discrete event system; DEVS formalism; DEVS specification language; model testing; seamless design framework;
D O I：
10.1016/j.infsof.2005.04.008
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes it 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. (c) 2005 Elsevier Ltd All rights reserved.
引用
收藏
页码：221 / 234
页数：14
相关论文
共 50 条
  • [1] The advances in the state of the art of modeling and simulation: Discrete event system specification (DEVS)
    Mustafee, Navonil
    Mittal, Saurabh
    Diallo, Saikou
    Zacharewicz, Gregory
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2018, 94 (04): : 279 - 280
  • [2] From Discrete Event Simulation to Discrete Event Specified Systems (DEVS)
    Zeigler, Bernard P.
    Muzy, Alexander
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 3039 - 3044
  • [3] Component-based light-rail modeling in discrete event systems specification (DEVS)
    Huang, Yilin
    Seck, Mamadou D.
    Verbraeck, Alexander
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2015, 91 (12): : 1027 - 1051
  • [4] DISCRETE EVENT SYSTEM SPECIFICATION MODELING AND SIMULATION
    Van Tendeloo, Yentl
    Vangheluwe, Hans
    [J]. 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 162 - 176
  • [5] A SPECIFICATION LANGUAGE TO ASSIST IN ANALYSIS OF DISCRETE EVENT SIMULATION-MODELS
    OVERSTREET, CM
    NANCE, RE
    [J]. COMMUNICATIONS OF THE ACM, 1985, 28 (02) : 190 - 201
  • [6] Discrete event systems specification in systems biology - A discussion of stochastic Pi calculus and Devs
    Uhrmacher, AM
    Priami, C
    [J]. PROCEEDINGS OF THE 2005 WINTER SIMULATION CONFERENCE, VOLS 1-4, 2005, : 317 - 326
  • [7] A discrete event system specification (DEVS)-based model of consanguinity
    Akhtar, Noreen
    Niazi, Muaz
    Mustafa, Farah
    Hussain, Amir
    [J]. JOURNAL OF THEORETICAL BIOLOGY, 2011, 285 (01) : 103 - 112
  • [8] Discrete event calculus model, a high level specification language for discrete event systems
    Paillet, JL
    Giambiasi, N
    [J]. ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, 1998, : 29 - 33
  • [9] ΦDEVS: Phase Based Discrete Event Modeling
    Honig, H. Job
    Seck, Mamadou D.
    [J]. THEORY OF MODELING AND SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2012 (DEVS 2012), 2012, 44 (04): : 93 - 100
  • [10] Modeling, specification and controller synthesis for discrete event systems
    Lennartson, B
    Tittus, M
    Fabian, M
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 698 - 703
12345