A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS |
| |
| Authors: | EUGENE KINDLER |
| |
| Affiliation: | Department of Applied Mathematics , Faculty of Mathematics and Physics, Charles University , Prague, Czechoslovakia |
| |
| Abstract: | A formalization of some simulation modeling concepts is described, which is used as a conceptual framework among simulationists and in the educational process. The notion of dynamic system is hierarchically constructed from attributes and classes: the domains of the classes are formed by elements with “similar” attributes and a set of classes is a system if it satisfies certain axioms. A simulation model is composed of two systems and four mappings also satisfying axioms. This conception reflects the capability of simulation languages to not only describe the dynamics of systems but also their structure. The theory is a framework for any sort of simulation models (discrete, continuous, combined, hybrid, analogue, galvanical, aerodynamical etc.) and allows a classification of the set of all simulation languages according to their semantics. |
| |
| Keywords: | Model simulation transaction activity classification of simulation languages attributes classes dynamic system |
|
|
