FG Internettechnologie
Refine
Year of publication
- 2017 (4) (remove)
Document Type
- Conference Proceeding (3)
- Book (1)
Language
- English (4)
Institute
We define an operational (transition system) semantics for the two most basic forms of Discrete Event Simulation (DES): event-based simulation (without objects) and object-event simulation. We show that under our operational semantics, DES models correspond to a certain form of abstract state machines (ASMs) such that the Future Event List (FEL) is part of the transition system state and the transition func-tion is based on event routines. Unlike other formalisms proposed for DES (such as Petri Nets or DEVS), our ASM semantics takes all basic DES concepts (like event types and the FEL) into consideration and allows for expressive transition system states representing the objects, properties, relations and functions of the evolving possible worlds of a simulation run. As a direct formal semantics of DES, it provides a basis for comparing, and explaining design choices in, different DES approaches.
1
In simulation engineering, a system model mainly consists of an information model and a process model. In the fields of Information Systems and Software Engineering (IS/SE) there are widely used standards such as the Class Diagrams of the Unified Modeling Language (UML) for making information models, and the Business Process Modeling Notation (BPMN) for making process models. This tutorial presents a general approach how to use UML class diagrams and BPMN process diagrams at all three levels of model-driven simulation engineering: for making conceptual simulation models, for making platformindependent simulation design models, and for making platform-specific, executable simulation models. In our approach, object and event types are modeled as stereotyped classes and random variables are modeled as stereotyped operations constrained to comply with a specific probability distribution, while event rules/routines are modeled both as BPMN patterns and in pseudo-code.
The sim4edu.com project website supports web-based simulation with open source technologies for open science and education. It provides both simulation technologies and a library of educational simulation
examples. Its aim is to support both the use and the development of various kinds of simulations, including ad-hoc simulations, Cellular Automata models, NetLogo-style grid space models, discrete event
simulation and agent-based simulation. Sim4edu facilitates building state-of-the-art user interfaces for web-based simulations and simulation games without requiring simulation developers to learn all the recent web technologies involved (e.g., HTML5, CSS3, SVG and WebGL). Using the power of the web, Sim4edu allows researchers and educators to publish and share their models easily.