This document provides a tutorial to MoDeST, a modeling and description language for stochastic timed systems. The language is introduced in an step-by-step manner by developing a model of communicating stations in a wireless network.
There are some entities that want to communicate via a wireless network. They use star-topology. One entity is called coordinator. All other entities send messages to the coordinator.
We abstract from the channel and assume that all messages reaches the coordinator. Furthermore we assume that all entities are in the same communication radius, which means that every entity can detect if another is sending.
process coordinator()
{
}
process station()
{
}
par{
::coordinator()
::station()
}
We realize stations and the coordinator in in the network through the processes
station() and coordinator() that run in parallel.