В настоящей работе были рассмотрены выполняемые в студии компетентностных деловых игр процессы. Для решения проблемы с отсутствием настройки и моделирования времени были рассмотрены алгоритмы управления временем в распределенном имитационном моделировании. При выполнении поставленных задач были достигнуты следующие результаты:

1. Проанализировав существующие на данный момент алгоритмы для проектирования и проведения ДИ в СКДИ, была выявлена проблема отсутствия времени.

2. Проанализировав подходы продвижения времени в распределенном имитационном моделировании, был выбран подход продвижения времени с учетом событий.

3. Сформулированы требования к системе.

4. С учетом анализа были разработаны алгоритмы для усовершенствования подсистемы проведения деловых игр СКДИ, реализующих хронологический порядок выполнения операций.

5. Спроектированы диаграммы прецедентов, активности и последовательностей для последующей разработки подсистемы.

6. Спроектированы модели бизнес-процессов в студии компетентностных деловых игр с учетом времени и событий.

7. Также были разработаны логические схемы алгоритмов для подсистемы проведения ДИ и активного ресурса.

8. Спроектирована база данных для хранения информации о ресурсах и операциях.

9. Спроектированы экранные формы подсистемы.

10. Разработан прототип подсистемы на языке C# с использованием Microsoft SQL Server.

11. Прототип был протестирован на разработанном контрольном примере. Работа программы выполняется согласно ожидаемым результатам.

Возможна доработка подсистемы в будущем: оптимизация алгоритмов и кода, добавление возможности работы программы на больших примерах, добавление возможности работы ЛСА ППДИ и ЛСА АР параллельно.

Список сокращений и условных обозначений

Краткое наименование - ППДИ.

Приложение 2

Листинг программы

Класс интерпретации ЛСА:

using System;

using System.Collections.Generic;

using System.Linq;

using System.Text;

using System.Threading.Tasks;

namespace Business_Games___2

{

class LSA

{

SqlConnection sqlConnection1 = new SqlConnection(@"Data Source=MNS12;Integrated Security=SSPI;Initial Catalog=BusinessGames_2");

string lsa;

int currentIndex { get; set; }

string currentSymbol { get; set; }

List<string> lsaList { get; set; }

List<Business_Games___2.Frm_main.resource_status> currentConditions { get; set; }

public LSA()

{

currentIndex = 0;

currentSymbol = "S";

lsa = GetlsaFromDb();

lsaList = LsaToList();

}

public LSA(string lsa)

{

currentIndex = 0;

currentSymbol = "S";

this.lsa = lsa;

lsaList = LsaToList();

}

// получение ЛСА из БД

string GetlsaFromDb()

{

SqlCommand command = sqlConnection1.CreateCommand();

command.CommandText = "SELECT code_lsa FROM lsa WHERE (id_lsa = 1)";

DataTable table = new DataTable();

SqlDataAdapter adapter = new SqlDataAdapter(command);

sqlConnection1.Open();

try { adapter.Fill(table); }

finally { sqlConnection1.Close(); }

return table.Rows[0][0].ToString();

return "";

}

//основной метод. Возвращает id по условию или 0(конец алгоритма)

public int GetNextId(List<Business_Games___2.Frm_main.resource_status> list_resources)

{

currentConditions = list_resources;

return ReadLsa();

}

List<string> LsaToList()

{

List<string> lsaList = new List<string>();

string symbol = "";

for (int i = 0; i < lsa.Length; i++)

{

if ((lsa[i] == 'S') || (lsa[i] == 'F') || (lsa[i] == 'w'))

{

if (symbol != "")

lsaList.Add(symbol);

lsaList.Add(lsa[i].ToString());

symbol = "";

}

else if ((lsa[i] == 'p') || (lsa[i] == 'A') || (lsa[i] == '^') || (lsa[i] == 'v') ||

(lsa[i] == 'E'))

{

if (symbol != "")

lsaList.Add(symbol);

symbol = lsa[i].ToString();

}

else symbol += lsa[i].ToString();

}

return lsaList;

}

int ReadLsa()

{

while (currentSymbol[0] != 'F')

{

switch (currentSymbol[0])

{

case 'S':

case 'w':

case 'v':

NextSymbol();

break;

case 'A':

string id = currentSymbol.Remove(0, 1);

NextSymbol();

return int.Parse(id);

case '^':

string arrowIndex = currentSymbol.Remove(0, 1);

int nextIndex = lsaList.FindIndex(currentIndex + 1,

x => (x[0] == 'v') && (arrowIndex == x.Remove(0, 1)));

NextSymbol(nextIndex);

break;

case 'p':

if (IsChosenResource(currentSymbol))

{

NextSymbol(currentIndex + 2);

}

else

NextSymbol();

break;

}

}

return 0;

}

void NextSymbol()

{

currentSymbol = lsaList[++currentIndex];

}

{

currentIndex = index;

currentSymbol = lsaList[currentIndex];

}

bool IsChosenResource(string condition)

{

condition = condition.Remove(0, 1);

string id = condition;

if (currentConditions.Find(x => x.id_res == id).stat_res == "1")

return true;

else return false;

}

}

}

Класс работы ППДИ:

using System;

using System.Collections.Generic;

using System.Data.SqlClient;

using System.Windows;

using System.Windows.Controls;

using System.Data;

namespace Business_Games___2

{

public partial class Frm_main: Window

{

SqlConnection sqlConnection1 = new SqlConnection(@"Data Source=MNS12;Integrated Security=SSPI;Initial Catalog= BusinessGames_2");

// массив состояний ресурсов

public List<resource_status> list_resources = new List<resource_status>();

// массив операций

public List<operation> list_operation = new List<operation>();

// указывает выбран сейчас активный ресурс или нет

public bool active_res = false;

public DateTime first_value_timer;

public DateTime second_value_timer;

public int first_time_int = 0;

public int second_time_int = 0;

int timerCounter = 0; //счётчик для таймера

int time_game = 0;

int time_game_now = 0;

int new_id_operation = 1;

int new_id_scene = 1;

// модельное время прохождения программмы в минутах

private int model_time = 0;

// единица модельного времени (например, выполнение операции 3 дня, после перерасчета - 1 минута)

private double unit_modeltime = 0;

// массив ресурсов конкретной сцены

public List<string> ar_res_scen = new List<string>();

string strLSA;// инициализация объекта ЛСА

LSA lsa;

public struct resource

{

public string id_res;

public string name_res;

public string stat_res;

public string type_res; // тип активный или нет

public resource(string id, string name, string status, string type)

{

id_res = id;

name_res = name;

stat_res = status;

type_res = type;

}

}

public struct operation

{

public string id_oper;

public string name_oper;

public DateTime start_time;

public int process_time;

public operation(string id, string name, DateTime start, int process)

{

id_oper = id;

name_oper = name;

start_time = start;

process_time = process;

}

}

public Frm_main ()

{

InitializeComponent();

txtBx_start.Text = "0";

txtBx_process.Text = "0";

// txtBx_time_now.Text = "2017/10/01";// изменить, чтобы секунды показывались

txtBx_time_now.Text = "0";

txtBx_message.ForeColor = Color.Black;

first_time_int = Convert.ToInt32(txtBx_process.Text);

timer1.Interval = 1000;

txtBx_start.Text = "0";

txtBx_process.Text = "0";

load_all_resourses(); // загрузка всех ресурсов в память

load_all_operation(); // загрузка всех операций в память

lsa = new LSA(); // загрузка ЛСА

load_next_scene(id_operation); // загрузка первой МС }

//загрузка ЛСА

private string LoadLSA(int id)

{

SqlCommand command = sqlConnection1.CreateCommand();

command.CommandText = "SELECT code_lsa FROM lsa WHERE (id_lsa = " + id + ")";

DataTable table = new DataTable();

SqlDataAdapter adapter = new SqlDataAdapter(command);

sqlConnection1.Open();

try { adapter.Fill(table); }

finally { sqlConnection1.Close(); }

return table.Rows[0][0].ToString();

}

private void load_all_resourses()

{

SqlCommand command = sqlConnection1.CreateCommand();

command.CommandText = "SELECT id_resource, name_resource, id_resource_type FROM resources";

DataTable table = new DataTable();

SqlDataAdapter adapter = new SqlDataAdapter(command);

sqlConnection1.Open();

try { adapter.Fill(table); }

finally { sqlConnection1.Close(); }

int nmb_rows = table.Rows.Count;

string id, name, type = null;

resource_status resst;

for (int i = 0; i < nmb_rows; i++)

{

id = table.Rows[i][0].ToString();

name = table.Rows[i][1].ToString();

if (table.Rows[i][2] != null)

type = table.Rows[i][2].ToString();

resst = new resource_status(id, name, "-", type);

list_resources.Add(resst); //массив ресурсов, состояний и положений ресурсов (кнопки)

}

}

private void load_all_operation()

{

SqlCommand command = sqlConnection1.CreateCommand();

command.CommandText = "SELECT operations.id_operation, operations.name_operation, operation_in_business_process.start_time, operation_in_business_process.process_time FROM operation_in_business_process INNER JOIN operations ON operation_in_business_process.id_operation = operations.id_operation";

DataTable table = new DataTable();

SqlDataAdapter adapter = new SqlDataAdapter(command);

sqlConnection1.Open();

try { adapter.Fill(table); }

finally { sqlConnection1.Close(); }

int nmb_rows = table.Rows.Count;

string id, name, startT, processT; ;

operation oper;

for (int i = 0; i < nmb_rows; i++)

{

id = table.Rows[i][0].ToString();

name = table.Rows[i][1].ToString();

startT = table.Rows[i][2].ToString();

processT = table.Rows[i][3].ToString();

oper = new operation(id, name, startT, processT);

list_operations.Add(oper); //массив ресурсов, состояний и положений ресурсов (кнопки)

}

}

// загрузка очередной сцены

// главная функция

private void load_next_scene(int id_op)

{

to_clear(list_resources);

load_resourses_from_model(id_op); // загрузка ресурсов, соответствующих модели сцены

show_resources(list_resources); // вывод на экран доступных ресурсов

}

// функция обнуления/очищения

void to_clear(List<resource_status> list)

{

// все ресурсы недоступны

box_resources.Items.Clear();

// first_value_timer = Convert.ToDateTime(txtBx_time_now.Text);

// все статусы "-"

for (int j = 0; j < list.Count; j++)

{

var lst = list[j]; lst.stat_res = "-"; list[j] = lst;

}

if (new_oper == 0)

{

first_time_int = 0;

time_game = 0;

time_game_now = 0;

// сброс таймера

// Таймер остановлен

timer1.Stop();

// Таймер не доступен

timer1.Enabled = false;

//"Сбрасываем" текст надписи в первое состояние

txtBx_time_now.Text = "0";

timerCounter = 0; //счётчик для таймера

txtBx_start.Text = "0";

txtBx_process.Text = "0";

}

}

// загрузка ресурсов, соответствующих модели сцены

private void load_resourses_from_model(int id_op)

{

// массив ресурсов данной сцены

List<string> list_resources_scen = new List<string>(); // массив ресурсов данной сцены

SqlCommand command = sqlConnection1.CreateCommand();

command.CommandText = "SELECT id_resource FROM resource_in_operation WHERE (id_operation = " + id_op + ")";

DataTable table = new DataTable();

SqlDataAdapter adapter = new SqlDataAdapter(command);

sqlConnection1.Open();

try { adapter.Fill(table); }

finally { sqlConnection1.Close(); }

int nmb_rows = table.Rows.Count;

for (int i = 0; i < nmb_rows-1; i++)

{

list_resources_scen.Add(table.Rows[i][0].ToString());

}

// смена статуса с "-" на "0"

change_of_status(list_resources, list_resources_scen, "-", "0");

}

// смена статусов: у выбранных ресурсов на stat2

public void change_of_status(List<resource_status> list_all, List<string> list_this, string stat1, string stat2)

{

for (int i = 0; i < list_all.Count; i++)

{

for (int j = 0; j < list_this.Count; j++)

{

if (list_all[i].id_res == list_this[j])

{

var lst = list_all[i];

lst.stat_res = stat2;

list_all[i] = lst;

break;

}

private void show_resources(List<resource_status> list)

{

for (int i = 0; i < list.Count; i++)

{

if (list[i].stat_res == "0")

box_resources.Items.Add(list_resources[i].name_res);

}

// После выбора ресурсов нажать на кнопку "Выполнить действие".

private void btn_execute_operation_Click(object sender, EventArgs e)

{

// если ресурсы выбраны правильно

if (check_right_res())

{

// Таймер доступен

timer1.Enabled = true;

// Таймер запущен

timer1.Start();

// загрузка выбранных ресурсов с экрана в опер.пам.

load_resourses_from_display();

// выполнение операции

execute_operation();

// смена статусов с "1" на "-" происходит в самом начале

// получение новой сцены

new_oper++;

if (new_oper < 5)

start_ppdi(new_oper);

else

end_ppdi();

}

else

{

txtBx_message.BackColor = Color.Coral;

txtBx_message.Text = "ресурсы выбраны неверно";

}

}

private bool check_right_res ()

{

// проверка выбраны ли ресурсы

if (box_resources.CheckedItems.Count > 0)

{

// проверка есть в БД операция (выбраны верные ресурсы)

// проверка по ЛСА, след операция

// если по лса не безусловный переход, то возвратится операция

id_operation = lsa.GetNextId(list_resources);

return true;

}

return false;

}

// загрузка ресурсов, выбранных пользователем

private void load_resourses_from_display()

{

List<string> list_select_res = new List<string>(); // массив ресурсов данной сцены

// сохранить выбранные ресурсы

for (int i = 0; i < box_resources.Items.Count; i++)

{

if (box_resources.GetItemChecked(i))

list_select_res.Add(box_resources.Items[i].ToString());

}

// смена статуса с "0" на "1"

change_of_status(list_resources, list_select_res, "0", "1");

}

// функция выполнения операции

public void execute_operation()

{

// отображение времени на экране

txtBx_start.Text = list_operations[new_oper].start_time.ToString("dd:MM:yy");

// string.Format(DateTime.Now.ToString("ss"));

txtBx_process.Text = list_operations[new_oper].process_time.ToString();

second_time_int = first_time_int;

first_time_int = Convert.ToInt32(txtBx_process.Text);

time_game += second_time_int;

if (active)

wrk_active();

// формирование выходного РС

time_game_now += Convert.ToInt32(txtBx_time_now.Text);

// Проверка времени

if (check_time(new_oper))

{

txtBx_message.BackColor = SystemColors.Control;

txtBx_message.Text = "операция выполнена успешно";

}

else

{

txtBx_message.BackColor = Color.Coral;

txtBx_message.Text = "время операции закончилось";

end_ppdi();

}

// проверка наличия входного РС и времени

private bool check_time(int operation)

{

// если время текущей игры меньше длительности игры всей

if (time_game_now <= time_game)

return true;

return false;

}

//Обработчик таймера (вызывается с заданной периодичностью)

private void timer1_Tick(object sender, EventArgs e)

{

//Раз в секунду будет выводиться такой текст (с текущим временем)

// начать с предыдущего значения таймера value_timer и делать до числа "длительность"

// txtBx_time_now.Text = string.Format(DateTime.Now.ToString("ss"));

txtBx_time_now.Text = (++timerCounter).ToString();

}

//функция вызова нового кода сцены (интерпретация лса)

public int get_new_scene(List<resource_status> list, string id_act)

{

// если выбран не активный ресурс, возврат id операции, требуется найти id сцены

if (id_act == null)

// if (!active_res)

{

new_id_operation = lsa.GetNextId(list, out active_res);

if (new_id_operation == 0 || new_id_operation == -1)

if (new_id_operation == -1) MessageBox.Show("Выбран не тот ресурс. Попробуйте еще раз");

else MessageBox.Show("Конец игры");

else

new_id_scene = get_new_id_scene(new_id_operation);

}

else

{

//должны запуститься диалоги, затем id сцены

string strLSA2 = LoadLSA(2);

LSA lsa2 = new LSA(strLSA2);

new_id_question = lsa2.GetNextId(list, out active_res); // получение из ЛСА id вопроса

show_dialod(new_id_question); // вывод диалогов на экран

}

return new_id_scene;

}

private void wrk_active()

{

// выбрать список тем

MessageBox.Show("Сообщение от студента 1 пришло");

Thread.Sleep(1000);

MessageBox.Show("Сообщение от студента 2 пришло");

Thread.Sleep(500);

MessageBox.Show("Сообщение от студента 3 пришло");

}

private void end_ppdi()

{

if (txtBx_message.Text == "время операции закончилось")

{

txtBx_message.Text += ". игра начинается заново";

active = false;

new_oper = -1;

}

else

{

txtBx_message.ForeColor = SystemColors.Control;

txtBx_message.Text = "игра закончена. начинается заново";

active = false;

new_oper = 0;

start_ppdi(new_oper);

}

// загрузка из БД следующей id сцены

private int get_new_id_scene(int id_op)

{

SqlCommand command = sqlConnection1.CreateCommand();