Model base management for multifacetted systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hierarchical relation in simulation models
WSC '93 Proceedings of the 25th conference on Winter simulation
Simulation program development by stepwise refinement in UNITY
WSC '91 Proceedings of the 23rd conference on Winter simulation
Application of hierarchical modeling concepts to a multi-analysis environment
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
The role of polymorphism in class evolution in the DEVS-scheme environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
| Hi-index | 0.00 |
This paper describes a realization of DEVS (Discrete Event System Specification) formalism in an object-oriented programming environment, SCOOPS of PC-Scheme. The realization, DEVS-Scheme, is a powerful environment combining simulation modelling with AT techniques, which supports hierarchical, modular specification of discrete event models. We will describe the taxonomical organization of classes in DEVS-Scheme in which kernel-models classes will be emphasized. As an example, we will illustrate specification of kernel models including broadcast models, hypercube models, and cellular models. Finally, implementation of isomorphism checks between pairs of models in DEVS-Scheme will be discussed. Thus, DEVS-Scheme represents a significant step toward implementing system theoretic based formalisms and operations.