kstrizhov / rdo-xtext

RDO modelling language written in Xtext
0 stars 0 forks source link

RDO-xtext

Summary

This project is an implementation of RDO modelling language in Eclipse, using xtext.

Preparing

Running

$Resources Парикмахерская = Парикмахерские(Свободен, 0, 0); $End

$Pattern Образец_прихода_клиента : event $Relevant_resources _Парикмахерская: Парикмахерская Keep $Body _Парикмахерская: Convert_event Образец_прихода_клиента.planning( time_now + Интервал_прихода( 30 ) ); количество_в_очереди++; $End

$Pattern Образец_обслуживания_клиента : operation $Relevant_resources _Парикмахерская: Парикмахерская Keep Keep $Time = Длительность_обслуживания( 20, 40 ) $Body _Парикмахерская: Choice from _Парикмахерская.состояние_парикмахера == Свободен and _Парикмахерская.количество_в_очереди > 0 Convert_begin количество_в_очереди--; состояние_парикмахера = Занят; Convert_end состояние_парикмахера = Свободен; количество_обслуженных++; $End

$Decision_point model: some $Condition NoCheck $Activities Обслуживание_клиента: Образец_обслуживания_клиента; $End

$Sequence Интервал_прихода : real $Type = exponential 123456789 legacy $End

$Sequence Длительность_обслуживания : real $Type = uniform 123456789 legacy $End

$Simulation_run Образец_прихода_клиента.planning( time_now + Интервал_прихода( 30 ) ); Terminate_if Time_now >= 12 7 70; $End

$Results Занятость_парикмахера : watch_state Парикмахерская.состояние_парикмахера == Занят Длина_очереди : watch_par Парикмахерская.количество_в_очереди Всего_обслужено : get_value Парикмахерская.количество_обслуженных Пропускная_способность: get_value Парикмахерская.количество_обслуженных / Time_now * 60 Длительность_работы : get_value Time_now / 60 $End