Open Access
Devsif : relational algebraic devs intermediate format
Ki Jung Hong,Tag Gon Kim,In Sup Kwon +2 more
- 01 Jan 2000
TL;DR: A language -independent DEVS modeling format, called DEVSIF (DEVS Intermediate Format) whose semantics is based on relational algebra is proposed, which can be aut omatically converted into DEVS models executable in var ious DEVS simulation environments such as DEVSim++ andDEVSim-Java.
read more
Abstract: The DEVS formalism has been widely used in modeling and simulation of various discrete event systems such as computer/communication systems. However, DEVS models developed in one simulation environment may not be d irectly reused in the other environment. To be useful, a means to represent DEVS models in an environmentindependent format needs to be devised. This paper proposes a language -independent DEVS modeling format, called DEVSIF (DEVS Intermediate Format) whose semantics is based on relational algebra. DEVSIF can be aut omatically converted into DEVS models executable in var ious DEVS simulation environments such as DEVSim++ and DEVSim-Java. An example of mo deling/simulation based on DEVSIF demonstrates effectiveness of the proposed simulation method.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Flexible integration of XML into modeling and simulation systems
Mathias Röhl,Adelinde M. Uhrmacher +1 more
- 04 Dec 2005
TL;DR: In this overall process, both model specifications that are consistent with a formalism definition and models that can be executed efficiently are supported equally.
Simulation Speedup for DEVS Models By Composition-based Compilation
Tag Gon Kim,Wan Bok Lee +1 more
- 01 Jul 2003
10
Embed state machine into DEVS to build complex control system
Chen Liu,Weiping Wang,Yifan Zhu +2 more
- 07 Nov 2005
TL;DR: The paper details the syntax and semantics of state charts and DEVS, and emphasis on the mechanism of embedding statecharts into DEVS to complement each other.
2
Research on system-of-systems combat simulation model formal specification and representation
TL;DR: The abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed.
1
References
•Book
Advanced Compiler Design and Implementation
Steven S. Muchnick
- 01 Jan 1997
TL;DR: Advanced Compiler Design and Implementation by Steven Muchnick Preface to Advanced Topics
2.6K
•Book
Multifacetted Modelling and Discrete Event Simulation
Bernard P. Zeigler
- 01 Mar 1984
TL;DR: A new variety of lily plant of the chalice-type Asiatic Hybrid particularly distinguished by the gold coloring of its five to six inch diameter flowers which are borne in raceme arrangement on tall strong stems.
778