Take a look at the architecture of the MOSEL-modeling environment:

The process of performance and reliabilty analysis in the MOSEL modeling environment is divided into the following steps:

1. The modeller inspects the real-world system and generates a high-level system description using the MOSEL specification language. He also specifies the desired performance and reliability measures using the language constructs provided by MOSEL. He passes the model to the environment which then performs all following steps without user interaction.
   
   
2. The MOSEL environment automatically translates the MOSEL model into a tool-specific system description, for example a CSPL-file suitable to serve as input for SPNP.
   
   
3. The appropriate tool (i.e. SPNP) is invoked by the MOSEL environment.
   
   
4. Depending on the structure of the model, particularly with regard to the types of distributions used, the analysis continues along one of the following paths:
   
   4a) If a numerical solution of the subordinated stochastic process is feasible, the state space of the model is generated out of the static description according to the semantic rules favored by the tool.
   
   4b) If none of the tool's numerical solution methods is applicable, a structural analysis of the model is performed. All information needed for a subsequent Discrete Event Simulation (DES) is extracted and preprocessed during this stage. DES analysis is available in TimeNET and SPNP.
   
   
5. The computation of the stationary or transient state distributions of the underlying stochastic process of the model is prepared.
   
   5a) For state-space based numerical analysis methods, all the information needed by the numerical solution algorithm is extracted from the semantic model.
   
   5b) If the model is analyzed via discrete event simulation, the simulation, the simulation engine is parametrized according to the command-line options given by the modeller.
   
   
6. The stochastic process is solved by the selected solution method. From the computed stationary or transient state probabilities the tool derives the result measures as specified in the tool-specific high-level description and stores them in a file with a tool-specific structure.
   
   
7. The MOSEL-environment parses the tool-specific output and generates a result file containing the performance and reliability measures which the user specified in the MOSEL system description. If the modeller requested graphical representation of the results, an IGL-file is generated by the MOSEL environment.