|
|
 |
|
MOSEL Constructs and Model Structure
|
- Parameter Declaration Part
This part contains the declaration of constants and system
parameters.
- Component Definition Part (node part)
Here the components of the system called nodes are
defined. Each node can hold an integer number of jobs or token.
For each node a capacity can specified. The initial
number of jobs for each node is set by the modeller, which
gives the global system start state. Moreover,
prohibited system can be specified here using the keyword
ASSERT.
- Transition definition part (rules part)
This part contains the specification of the transitions
(called rules) which determine the dynamic behaviour
of the system.
- Condition part (specify the circumstances under which the rule
can be "executed", complex synchronisaion schemes are possible).
- Action part (stochastic timing, branching probabilities,
priorities, reenabling policies)
- Results Part
Here the performance measures (state probabilities, mean response
times, MTTF, reward-based measures, etc.) are specified.
- Picture part (optional)
Specification of the graphical representation of the results.
|
|
|
|
