CC BY
59
2017 Электротехника, информационные технологии, системы управления № 23 УДК 004.94
О.Л. Викентьева, А.И. Дерябин, О.А. Пономарева, Л.В. Шестакова
Национальный исследовательский университет «Высшая школа экономики»,
Пермь, Россия
ТРАНСФОРМАЦИЯ МОДЕЛЕЙ БИЗНЕС-ПРОЦЕССОВ ПРИ ПРОЕКТИРОВАНИИ ДЕЛОВЫХ ИГР
В настоящее время в обучении широко используются компьютерные деловые игры, моделирующие реальные условия деятельности компаний. В качестве предметной области при проектировании деловой игры выступают бизнес-процессы реальных предприятий, исполнители которых должны обладать определёнными компетенциями. Существует достаточно много программных продуктов, позволяющих моделировать бизнес-процессы и строить сценарий игры на основе такой модели, но их особенностью являются ориентация на определенный бизнес-процесс и разработка сценария игры только для этого процесса. При разработке программного продукта, с помощью которого можно построить сценарий игры для любой предметной области, возникает проблема, связанная с автоматизированным построением сценария по моделям бизнес-процессов. Процесс построения сценария деловой игры состоит из нескольких этапов, одним из которых является трансформация модели реального бизнес-процесса в модель унифицированного бизнес-процесса. Модели реальных бизнес-процессов относятся к слабоформализован-ному описанию предметной области деловой игры, поэтому такой переход является сложной задачей. В работе рассмотрен алгоритм трансформации моделей реальных бизнес-процессов, представленных в нотации IDEF0, в модели унифицированного бизнес-процесса на основе онтологического подхода. Для трансформации выполнено построение онтологических моделей элементов и графического представления в редакторе онтологий Protégé, для описания соответствия элементов и их графических представлений созданы соответствующие ограничения, разработаны правила трансформации, которые также отражены в онтологической модели. На основе онтологической модели построен запрос, который выводит соответствие элементов одной нотации другой нотации. В качестве примера приведен запрос, позволяющий получить соответствие элемента рабочего процесса в нотации IDEF0 другим нотациям.
Ключевые слова: компьютерная деловая игра, метамодель, визуальное моделирование, трансформация, бизнес-процесс, онтология.
O.L. Vikenteva, A.I. Deryabin, O.A. Ponomareva, L.V. Shestakova
National Research University «Higher School of Economics», Perm, Russian Federation
BUSINESS PROCESSES MODELS TRANSFORMATION IN BUSINESS GAMES DESIGNING
Currently in training widely used computer business game, simulating the real conditions of companies. As a subject area in designing a business game organized by the business processes of real enterprises, the perpetrators of which must possess certain competencies. There are many software products that allows to model business processes and build the game scenario based on this model, but their characteristic feature is orientation to a particular business process and scenario development of the game only for this process. When developing a software product, which you can use to build the game scenario for any subject area, there is a problem with the automated build script for models of business processes. The process of constructing the scenario of the business game consists of several stages, one of which is the transformation of the business process model in a unified business process. Models of real business processes are weakly formalized description of the subject area of business game, so this transition is a challenging task. The paper considers the algorithm of transformation of models of real business processes, represented in IDEF0 notation, the model unified business process based on the ontological approach. For transformation build ontological models of elements and a graphical representation in the editor Protégé ontology for the description of the matching elements and their graphical representations created by appropriate limitations, developed rules of transformation, which is also reflected in the ontological model. A query to the ontology that displays matching elements of one notation to another notation built. As an example, given the query, allowing obtaining the matching element of the work process in IDEF0 notation to other notations.
Keywords: computer business game, metamodel, visual modeling, transformation, business process, ontology.
Введение. Использование активных форм обучения становится одним из значимых компонентов изменения процесса преподавания. Применение активных методов на практике обусловлено тем фактором, что обучаемые приобретают не только теоретические знания, но также получают критические умения и навыки. К подобным методам относятся мозговой штурм, тренинги, дискуссии, деловые игры и т.д.
В современном обучении широко распространяются деловые игры (ДИ), которые могут моделировать реальные условия деятельности определенной компании. В связи с этим фактом растет число программных продуктов, которые автоматизируют проведение деловых игр. В качестве таких примеров можно привести SimulTrain компании Sauter Training & Simulation, MobLab компании MobLab Inc, Innov8 компании IBM. Несмотря на то, что такие продукты являются мощным инструментом для создания деловых игр, они ориентированы на конкретную предметную область [1-3]. К тому же стоимость таких продуктов очень высока.
Для моделирования деловой деятельности вне зависимости от предметной области была разработана концепция «Студии компетент-ностных деловых игр» (далее - СКДИ) [4]. СКДИ состоит из различных подсистем, которые воссоздают единое пространство для управления жизненным циклом деловой игры (табл. 1).
Таблица 1
Подсистемы СКДИ
Подсистема Назначение
Проектирование Разработка сценария деловой игры на основе описания бизнес-процессов
Проведение Проведение игры с использованием автоматной и операционной моделей из подсистемы проектирования
Мониторинг Отслеживание промежуточных результатов игроков во время игры и формирование статистики для подсистемы анализа
Анализ Анализ итогов деловой игры, составление отчетов о результатах деловой игры, результатах игроков
Измерение Вычисление уровня выработанных в ходе деловой игры компетенций
Корректировка Внесение поправок в сценарии деловой игры с учетом результатов данных подсистемы анализа
В качестве предметной области при проектировании ДИ выступают бизнес-процессы реальных предприятий, исполнители которых должны обладать определёнными компетенциями. Как правило, такая информация представляет собой неформализованное или слабоформализованное описание. Для получения формализованного описания ДИ используется последовательная трансформация моделей бизнес-процессов [4]:
- рабочий бизнес процесс (РБП) может быть представлен с помощью визуальных моделей бизнес-процессов в различных нотациях (ГОЕБО, ГОЕБЗ, ЭБЭ, БРММ, ДЫБ ЕРС, диаграммы активности иМЬ и т.д.), а также текстовых описаний;
- унифицированный бизнес-процесс (УБП) - визуальная модель, которая отражает существенные инвариантные характеристики реального бизнес-процесса;
- учебный унифицированный бизнес-процесс (УУБП) - визуальная модель, в которую добавлены обучающие элементы, с помощью которых создается возможность выбора ресурсов и принятия решений игроком.
Эти модели относятся к слабоформализованному описанию предметной области деловой игры, поэтому переход от РБП к УБП является сложной задачей. Входными параметрами для трансформации являются РБП, которые могут быть представлены в виде текстового описания и/или визуальных моделей. В данной работе рассматривается трансформация РБП, представленных с помощью диаграмм в нотации ГОЕБО (табл. 2) [5], в УБП. Для разработки процесса трансформации необходимо описать метамодели языков, правила трансформации и непосредственно сам процесс трансформации.
Таблица 2
Элементы нотации ГОЕБО
Элемент Описание
Функциональный блок Обозначает конкретное действие, указывается обычно название действия и его номер. В графическом виде представляет собой прямоугольник
Интерфейсная дуга -входной поток Обозначает информацию, которая поддается на вход функционального блока для ее преобразования. Наличие стрелки входа у функционального блока необязательно. В графическом виде представляет собой стрелку, входящую в блок
Интерфейсная дуга -выходной поток Обозначает продукцию или информацию, которая получается в результате работы функционального блока. Наличие стрелки выхода у функционального блока обязательно. В графическом виде представляет собой стрелку, выходящую из блока
Управление Обозначает управление функционального блока. Наличие стрелки у функционального блока входа необязательно. В графическом виде представляет стрелку, направленную вниз в функциональный блок
Механизм Обозначает ресурсы (персонал, техника, оборудование), которые непосредственно выполняют моделируемое действие. Наличие стрелки механизма исполнения у функционального блока необязательно. В графическом виде представляет стрелку, направленную вверх в функциональный блок
В состав унифицированного бизнес-процесса входят операции, образующие определенную последовательность, и условия, по которым выполняются те или иные операции [6-8]. Язык описания унифицированного бизнес-процесса состоит из двух метамоделей: «Последовательность операций» и «Операция». Описание языка представлено в табл. 3.
Таблица З
Язык описания унифицированных бизнес-процессов
Метамодель Элемент Описание
Последовательность операций Начало БП Итерация бизнес-процесса конечна, поэтому необходимо выделить начало и конец итерации, для чего используются объекты «Начало БП» и «Завершение БП»
Операция Данный объект отражает активность в бизнес-процессе
Условие Иногда выбор следующей операции зависит от выхода предыдущей операции, который может быть произведен с помощью некого условия, которое поможет определить дальнейшие действия
Завершение БП Итерация бизнес-процесса конечна, поэтому необходимо выделить начало и конец итерации, для чего используются объекты «Начало БП» и «Завершение БП»
Операция Контрагент Данный объект отражает объекты внешней среды
Операция Данный объект отражает активность в бизнес-процессе
Поток Потоки отражают используемые и изменяемые ресурсы в операции
Трудовой ресурс Трудовой ресурс выполняет операцию
Информационный ресурс Информационный ресурс может регламентировать операцию или быть изменен, или добавлен в процессе ее выполнения
Услуга Услуга может быть произведена при выполнении операции, а также потреблена или продана
Товар Товар может быть получен, произведен или потреблен в процессе выполнения операции
Финансовый ресурс Финансовый ресурс может уменьшаться или увеличиваться с выполнением операции
Оборудование Отражает оборудование, необходимое для выполнения операции
Подходы к трансформации визуальных моделей. Существуют различные подходы для трансформации визуальных моделей, на основе которых разработаны соответствующие инструменты [9]:
AGG (Attributed Graph Grammar) - инструментальная среда для описания и осуществления трансформации на основе типизированных атрибутных графов [10]. AGG состоит из инструмента проверки допустимости, интерпретатора и графического интерфейса, в котором несколько визуальных редакторов. В визуальных редакторах реализована возможность редактирования правил, графов и графовых грамматик. Каждый элемент графа в AGG имеет определенный тип из заданного множества типов, которое состоит из двух подмножеств: набора типов вершин и набора типов ребер. При описании атрибута пользователь должен указать имя и тип атрибута. После описания графов моделей пользователю необходимо задать правила их преобразования. В AGG возможны два подхода к определению трансформации:
- подход одинарного выталкивания (SPO), в котором правило представляет собой левую (LHS) и правую (RHS) часть вместе с частичным морфизмом графа r:LHS^ RHS [11];
- подход двойного выталкивания (DPO), в котором присутствует дополнительный граф склеивания I, т.е. r: LHS RHS [12].
Одно из преимуществ AGG - возможность проверки правил трансформации, допустимости и проверки непротиворечивости графов. Другое преимущество AGG заключается в том, что в данной среде можно разделять правила по уровням. Такое разделение правил по уровням позволяет определять порядок применения правил и задать протокол управления в преобразовании графа.
QVT (Query/View/Transformation) - стандарт трансформации моделей, в котором несколько языков преобразования моделей. Ключевыми понятиями этого стандарта являются: запрос, представление, трансформация [13]. Запрос в QVT по построению аналогичен запросу SQL к реляционной БД. В свою очередь, запрос является частным случаем представления. Под представлением принято принимать модель, которая получена из другой (основной) модели. Модели трансформируют и получают целевую модель из исходной модели. Процесс трансформации основывается на правилах и соответствии, при котором элементы левой
и/или правой модели удовлетворяют условиям фильтра правила. Соответствие инициирует создание элементов целевой модели, управляемой описанием и/или реализацией соответствующего правила.
Основным преимуществом QVT является широкий набор языков описания трансформаций, которые позволяют использовать как стандартные средства, так и их расширения. Тем не менее есть и недостатки. В QVT используется стандарт MOF как язык метамоделирования, что не позволяет пользователю выбрать удобный для него метаязык, а также изменить описание метаязыка, интегрированного в QVT. Кроме того, пользователь не может осуществить трансформацию вида «модель-текст», так как каждая метамодель должна быть описана с помощью стандарта MOF.
GReAT (Graph REwriting And Transformation) - язык описания преобразований моделей, базирующийся на тройных графовых грамматиках. Преобразование моделей основывается на правилах переписывания графа, которые применяются к исходной модели и в результате создают целевую модель [14]. Для спецификации исходной и целевой метамоделей используются диаграммы классов UML и ограничения, описанные на языке OCL. UML позволяет определять структурные ограничения, в то время как OCL может быть использован для задания неструктурных ограничений. Таким образом, диаграмма классов UML играет роль графовой грамматики, с помощью которой могут быть созданы метамодели предметных областей.
Данный язык использует модифицированный аппарат графовых грамматик. Грамматика по-прежнему состоит из набора правил, но правило уже не разбивается на левую и правую части, как это предполагается в классических графовых грамматиках. Вместо этого строится один граф, содержащий как левую, так и правую часть правила. Каждый элемент (вершина или ребро) может быть помечен одним из специальных символов, который указывает способ обработки этого элемента: «создание», «удаление» и др.
Другой подход к трансформации моделей основан на применении онтологии и метамоделей [15-17]. Такая трансформация имеет следующее преимущества:
— использование запросов в онтологии для поиска и обработки информации;
— расширяемость за счет добавления новых метамоделей в онтологию;
— проверка моделей на соответствие семантическим правилам, указанным в онтологии. Такая проверка позволяет выявить логические несоответствия, присутствующие в моделях;
— целостное представление предметной области.
Таким образом, был выбран подход трансформации бизнес-процессов на основе онтологии.
Трансформация РБП в УБП. Рассмотрим трансформацию РБП, описанного с помощью нотации ГОЕБО, в УБП.
Трансформация заключается в сопоставлении элементов моделей РБП и УБП, что позволит перейти от одной диаграммы к другой. Для этого необходимо выполнить следующие шаги:
Шаг 1. Построить онтологическую модель для описания нотации РБП: элементы и их графическое представление в нотации ГОЕБО.
Шаг 2. Построить онтологическую модель для описания нотации УБП: элементы и их графическое представление.
Шаг 3. Разработать соотношения между элементами и их графическим представлением как для РБП, так и для УБП.
Шаг 4. Разработать правила перехода от РБП к УБП.
Шаг 5. Построить онтологическую модель, в которой будут отражены правила сопоставления элементов РБП и УБП для осуществления трансформации.
Шаг 6. Создать запрос в онтологии, который выводит соответствие элементов одной нотации другой нотации.
Таким образом, будет создана онтология, содержащая в себе элементы и их графическое представление в РБП и УБП. Для того чтобы соотнести элементы РБП и УБП, задаются ограничения. После чего создается запрос, который на основании ограничений выводит сопоставление элементов РБП и УБП.
На рис. 1 представлены элементы и их графические представления РБП.
Рис. 1. Состав и графическое представление элементов нотации IDEF0
Онтология для элементов и их графического представления в нотации IDEF0, построенная с помощью редактора онтологий Protégé [18], представлена на рис. 2.
I Class hierarchy | Class hierarchy (inferred)
Class hierarchy: Thing
%
▼ 4 Thing
T НотацияГрафПредставление ОЕО_ГрафПредставление T ШЕЕО_ГрафПредставление ШЕЕО_Прямоугольник ШЕЕО_СтрелкаВблок ШЕЕО_СтрелкаВверх ШЕЕ0_СтрелкаВниз ШЕЕ0_СтрелкаИзблока ШЕЕ0_СтрелкаРазветляк>щаяся ШЕЕО_СтрелкаСоединян>щаяся ШЕЕЗ_ГрафПредставление УБП_ГрафПредставление У- НотацияЭпементы
ОЕО_НотацияЭлементы Т ШЕЕО_НотацияЭлементы ШЕРО_Блок IDEFO_Bxofl IDEFO_Bbi>:ofl IDEFOMе ха н и з м IDEFO_yправление ШЕЕЗ_НотацияЭлементы УБП_НотацияЭлементы
Рис. 2. Онтология элементов и их графического представления для нотации ГОЕР0
На рис. 3 приведены элементы, из которых состоит последовательность операций УБП и их графическое представление.
Рис. 3. Состав и графическое представление элементов последовательности операций УБП
Онтология для элементов и их графического представления в последовательности операций УБП, построенная с помощью редактора онтологий Protégé, представлена на рис. 4.
Аналогично были рассмотрены элементы, их графические представления и онтология для диаграммы Операция УБП.
ОперацияУБП_ГрафПредставление ПоследовательностьОпераций_ГрафПредставление
ПоследОпер_СтрелкаСоединяк>щаяся
Рис. 4. Онтология элементов и графического представления для последовательности операций УБП
Далее было выполнено сопоставление между элементами в каждой нотации и их графическим представлением (рис. 5). В онтологии для описания соответствия элементов и их графических представлений созданы соответствующие ограничения.
Рис. 5. Соответствие элемента «блок ГОЕР0» и его графического представления «прямоугольник»
Следующим этапом является разработка правил трансформации. В табл. 4 показаны правила, построенные для трансформации РБП, представленного в нотации ГОЕРО, в модель «Последовательность операций УБП». Аналогичные правила разработаны для модели «Операция УБП». Эти правила должны быть отражены в онтологии. Для выполнения трансформации необходимо выполнить запрос, с помощью которого и будет построен соответствующий УБП.
Таблица 4
Правила трансформации УБП и ГОЕРО
Элемент Графический символ УБП элемента УБП
Элемент ГОЕРО
Графический символ элемента ГОЕРО
Последовательность операций УБП
Операция
Функциональный блок
Функицональный блок
Условие
Вход
Выход
Окончание табл. 4
Элемент УБП
Графический символ элемента УБП
Элемент ГОЕБО
Графический символ элемента ГОЕБО
Начало БП
Завершение БП
Связь
Вход
Выход
Вход
Выход
На рис. 6 представлен фрагмент онтологии для последовательности операций УБП с указанием ограничения.
Рис. 6. Соответствие элемента «Операция» в последовательности операции УБП и «Функциональный блок» в нотации ГОЕБО
Пример запроса, который выводит соответствие элемента «Функциональный блок» ГОЕБО другим нотациям, приведен на рис. 7.
PREFIX rdf: «http:/toww.w3.org/1999il2/22-rdf-synta*-nsi»> PREFIX owl: shttpitfivww w3.orgt2aa2fC]7i>wlis PREFIX xsd: 4ittp:Hwww.w3.argr2IX]1 fXMLSchemaff:> PREFIX rdfs: -=:http:/toww.w3 org/2aaa/ai/rdf-schema#>
PREFIX : =http:/jSorww semarrtlcweb org/dnsA)ntologles/201 Bi2Aintitled-ontology-924i. SELECT J?CooTBeTCTBwe_c_5noKOM_IOEFO
WHERE [ 7C00TBeT0Tsne_c_Bji0K0MjDEFa rdfs:subClassOf ?object . ?object owl:onProperty: MMeeTMoftejib. ?object ow|:someValuesFrorn: EmoKjDEFO.
Соответствие с Блоком IOEFO
ripnMoyronbHHK_DFD
Прямоугольни|С_ЮЕРО
Операция_БП
Прдмоугопьник_операции_¥БП
Прямоугольник_поспед_УБП
BnoK_DFD
Единица_работы_ЮЕРЗ Операция_УБП_модели_ Операция_поспед_УБП Прямоугольник_ШЕРЗ
Рис. 7. Соответствие функционального блока другим элементам УБП и РБП
В результате выполнения рассмотренного выше алгоритма на основе моделей реальных бизнес-процессов будет получена модель унифицированного бизнес-процесса, содержащая функции для каждого исполнителя. На основе полученной модели УБП в дальнейшем генерируются сценарии ДИ [19, 20].
Выводы. В статье предложен алгоритм для трансформации реальных моделей БП в унифицированный бизнес-процесс. Для представления РБП была выбрана нотация ГОЕРО. Были описаны элементы и их графическое представление для используемых нотаций. Описание элементов и правила трансформации отражены в построенной онтологии с целью реализации запроса в онтологии, который выводит соответствие элементов одной нотации другой нотации. Необходимо отметить, что в разработанных правилах трансформации присутствуют потери, связанные с элементами и связями. Более того, разработанный запрос не отображает порядок последовательности расположения элементов. Таким образом, при использовании разработанных правил пользователю необходимо доопределить недостающие элементы и определить порядок последовательности элементов.
В дальнейшем планируется расширить количество нотаций для описания реальных бизнес-процессов и предложить шаблон для текстового описания РБП. Это необходимо для правильного доопределения
построенных моделей. Данный алгоритм будет использован при реализации программного обеспечения, позволяющего автоматически генерировать сценарии и ресурсы деловой игры на основании неформализо-ванного/слабоформализованного описания рабочего бизнес-процесса.
Библиографический список
1. Компьютерный бизнес-симулятор SimulTrain® [Электронный ресурс]. - URL: http://www.luxoft-training.ru/blog/management-5/105.htmls (дата обращения: 20.04.2017).
2. Онлайн-игра симулятор BPM Innov8 [Электронный ресурс]. -URL: https://www.bpsimulator.com/ru/business/smarter_traffic.html (дата обращения: 20.04.2017).
3. StratX Simulations Company. Brand Pro is a New Serious Business Game to Introduce Brand Strategy in Core Marketing Cources and Executive Education [Электронный ресурс]. - URL: http://web.stratxsimulations.com/ simulation/brandpro (дата обращения: 20.04.2017).
4. Викентьева О.Л., Дерябин А.И., Шестакова Л.В. Концепция студии компетентностных деловых игр // Современные проблемы науки и образования. - 2013. - № 2 [Электронный ресурс]. - URL: http://www.science-education.ru/108-8746 (дата обращения: 24.11.2016).
5. Кулябов Д.С., Королькова А.В. Введение в формальные методы описания бизнес-процессов. - М.: Изд-во РУДН, 2008. - 173 с.
6. Automatization of Business Game Automation Model Construction / O.L. Vikentyeva, A.I. Deryabin, L.V. Shestakova, D. Kozevnikov // International Journal "Information Technologies & Knowledge". - 2015. - Vol. 9, № 4. - P. 325-340.
7. Vikentyeva O.L., Deryabin A.I., Shestakova L.V. Algorithms of Automate Model Construction for Business Game Execution Subsystem // International Journal "Information Models and Analyses". - 2014. - Vol. 3. -№ 3. - P. 271-279.
8. Викентьева О.Л., Дерябин А.И., Шестакова Л.В. Многомодельный подход к формализации предметной области // Информатизация и связь. - 2015. - № 3. - С. 51-56.
9. Сухов А.О. Методы трансформации визуальных моделей // Технологии разработки информационных систем ТРИС-2012: материалы III Междунар. науч.-техн. конф. - Таганрог: Изд-во Технол. ин-та; ЮФУ, 2012. - Т. 1. - С. 120-124.
10. Fundamentals of Algebraic Graph Transformation / H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. - New York: Springer-Verlag, 2006.
11. Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach / H. Ehrig, R. Heckel, M. Korff, M. Loewe, L. Ribeiro, A. Wagner, A. Corradini // Handbook of Graph Grammars and Computing by Graph transformation. -1997. - Vol. 1. - P. 247-312.
12. Algebraic approaches to graph transformation. Part I: Basic concepts and double pushout approach / A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Loewe // Handbook of Graph Grammars and Computing by Graph transformation. - 1997. - Vol. 1. - P. 163-246.
13. Markovic S., Baar T. Semantics of OCL specified with QVT // Software and Systems Modeling. - 2008. - Vol. 7, no. 4. - P. 399-422.
14. The Graph Rewriting and Transformation Language: GReAT / D. Balasubramanian, A. Narayanan, C.P. Buskirk, G. Karsai // Electronic Communications of the EASST. - 2006. - Vol. 1. - P. 1-8.
15. Trinkunas J., Vasilecas O. A Graph-Oriented Model for Ontology Transformation into Conceptual Data Model // Information Technology and Control, Kaunas, Technologija. - 2007. - Vol. 36. - № 1A. - P. 126-131.
16. Wand Y., Storey V.C., Weber R. An ontological analysis of the relationship construct in conceptual modeling // ACM Transactions on Database Systems (TODS). - December 1999. - Vol. 24(4). - P. 494-528.
17. Sukhov A.O., Lyadova L.N. An Approach to Development of Visual Modeling Toolkits // Advances in Information Science and Applications. Volumes I & II. Proceedings of the 18th International Conference on Computers (part of CSCC '14) / ed. E.B. Zamyatina. Vol. 1-2. - Santorini Island: CSCC, 2014. - P. 61-66.
18. Муромцев Д.И. Онтологический инжиниринг знаний в системе Protégé. - СПб.: Изд-во СПбГУИТМО, 2007. - 62 с.
19. Подсистема проектирования информационной системы для проведения деловых игр / О.Л. Викентьева, А.И. Дерябин, Д.Д. Кожевников, Н.В. Красилич, Л.В. Шестакова // Технологии разработки информационных систем: сб. ст. междунар. науч.-практ. конф. - Таганрог: Изд-во ЮФУ, 2015. - С. 27-32.
20. Викентьева О.Л., Дерябин А.И., Шестакова Л.В. Алгоритмы формирования операционной модели студии компетентностных деловых игр // Information Theories & Applications. - 2015. - Т. 22, № 2. -С.169-182.
References
1. Komp'iuternyi biznes-simuliator SimulTrain [Computer business stimulator SimulTrain], available at: http://www.luxoft-training.ru/blog/ management-5/105.htmls (accessed 20 April 2017).
2. Onlain-igra simuliator BPM Innov8 [On-line simulator game BPM Innov8], available at: https://www.bpsimulator.com/ru/business/smarter_ traffic.html (accessed 20 April 2017).
3. StratX Simulations Company. Brand Pro is a New Serious Business Game to Introduce Brand Strategy in Core Marketing Cources and Executive Education, available at: http://web.stratxsimulations.com/simulation/brandpro (accessed 20 April 2017).
4. Vikent'eva O.L., Deriabin A.I., Shestakova L.V. Kontseptsiia studii kompetentnostnykh delovykh igr [Competency based business games concept]. Sovremennye problemy nauki i obrazovaniia, 2013, no. 2, available at: http://www.science-education.ru/108-8746 (accessed 24 December 2016).
5. Kuliabov D.S., Korol'kova A.V. Vvedenie v formal'nye metody opisaniia biznes-protsessov [Introduction in formal methods of business process decryption]. Moscow: Rosciiskii universitet druzhby narodov, 2008. 173 p.
6. Vikentyeva O.L., Deryabin A.I., Shestakova L.V., Kozevnikov D. Automatization of Business Game Automation Model Construction. International Journal "Information Technologies & Knowledge", 2015, vol. 9, no. 4, pp. 325-340.
7. Vikentyeva O.L., Deryabin A.I., Shestakova L.V. Algorithms of Automate Model Construction for Business Game Execution Subsystem. International Journal "Information Models and Analyses", 2014, vol. 3, no. 3, pp. 271-279.
8. Vikent'eva O.L., Deriabin A.I., Shestakova L.V. Mnogomodel'nyi podkhod k formalizatsii predmetnoi oblasti [Multi-model approach to subject area formal characterization]. Informatizatsiia i sviaz', 2015, no. 3, pp. 51-56.
9. Sukhov A.O. Metody transformatsii vizual'nykh modelei [Methods of visual models transformation]. Materialy III Mezhdunarodnoi nauchno-tekhni-cheskoi konferentsii "Tekhnologii razrabotki informatsionnykh sistem TRIS-2012". Taganrog: Iuzhnyi federal'nyi universitet, 2012, vol. 1, pp. 120-124.
10. Ehrig H., Ehrig K., Prange U., Taentzer G. Fundamentals of Algebraic Graph Transformation. New York: Springer-Verlag, 2006.
11. Ehrig H., Heckel R., Korff M., Loewe M., Ribeiro L., Wagner A., Corradini A. Algebraic approaches to graph transformation. Part II: single
pushout approach and comparison with double pushout approach. Handbook of Graph Grammars and Computing by Graph transformation, 1997, vol. 1, pp. 247-312.
12. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., Loewe M. Algebraic approaches to graph transformation. Part I: Basic concepts and double pushout approach. Handbook of Graph Grammars and Computing by Graph transformation, 1997, vol. 1, pp. 163-246.
13. Markovic S., Baar T. Semantics of OCL specified with QVT. Software and Systems Modeling, 2008, vol. 7, no. 4, pp. 399-422.
14. Balasubramanian D., Narayanan A., Buskirk C.P., Karsai G. The Graph Rewriting and Transformation Language: GReAT. Electronic Communications of the EASST, 2006, vol. 1, pp. 1-8.
15. Trinkunas J., Vasilecas O. A Graph-Oriented Model for Ontology Transformation into Conceptual Data Model. Information Technology and Control, Kaunas, Technologija, 2007, vol. 36, no. 1A, pp. 126-131.
16. Wand Y., Storey V.C., Weber R. An ontological analysis of the relationship construct in conceptual modeling. ACM Transactions on Database Systems (TODS), December 1999, vol. 24(4), pp. 494-528.
17. Sukhov A.O., Lyadova L.N. An Approach to Development of Visual Modeling Toolkits. Advances in Information Science and Applications. Volumes I & II. Proceedings of the 18th International Conference on Computers (part of CSCC '14). Еd. E.B. Zamyatina. Vol. 1-2. Santorini Island: CSCC, 2014, pp. 61-66.
18. Muromtsev D.I. Ontologicheskii inzhiniring znanii v sisteme Protégé [Ontology -based engineering of knowledge in Protégé system]. Sankt-Peterburgskii natsional'nyi issledovatel'skii universitet informatsionnykh tekhnologii, mekhaniki i optiki, 2007. 62 p.
19. Vikent'eva O.L., Deriabin A.I., Kozhevnikov D.D., Krasilich N.V., Shestakova L.V. Podsistema proektirovaniia informatsionnoi sistemy dlia provedeniia delovykh igr [Intersystem of information system design for business games carrying out]. Sbornik statei mezhdunarodnoi nauchno-prakticheskoi konferentsii "Tekhnologii razrabotki informatsionnykh sistem". Taganrog: Iuzhnyi federal'nyi universitet, 2015, pp. 27-32.
20. Vikent'eva O.L., Deriabin A.I., Shestakova L.V. Algoritmy formi-rovaniia operatsionnoi modeli studii kompetentnostnykh delovykh igr [Algorythms of executable model design for competency based business games]. Information Theories & Applications, 2015, vol. 22, no. 2, pp. 169-182.
Сведения об авторах
Викентьева Ольга Леонидовна (Пермь, Россия) - кандидат технических наук, доцент кафедры информационных технологий в бизнесе Национального исследовательского университета «Высшая школа экономики» (614070, Пермь, ул. Студенческая, 38, e-mail: oleovic@rambler.ru).
Дерябин Александр Иванович (Пермь, Россия) - кандидат технических наук, доцент кафедры информационных технологий в бизнесе Национального исследовательского университета «Высшая школа экономики» (614070, Пермь, ул. Студенческая, 38, e-mail: aderyabin@hse.ru).
Пономарева Ольга Андреевна (Пермь, Россия) - студентка Национального исследовательского университета «Высшая школа экономики» (614070, Пермь, ул. Студенческая, 38, e-mail: pnmrva@mail.ru).
Шестакова Лидия Валентиновна (Пермь, Россия) - кандидат физико-математических наук, доцент кафедры информационных технологий в бизнесе Национального исследовательского университета «Высшая школа экономики» (614070, Пермь, ул. Студенческая, 38, e-mail: lshestakova@hse.ru).
About the authors
Vikentyeva Olga Leonidovna (Perm, Russian Federation) is a Ph.D.
in Technical Sciences at Department of Information Technologies in Business Higher School of Economics National Research University (614070, Perm, 38, Studencheskaya str., e-mail: oleovic@rambler.ru).
Deryabin Alexander Ivanovich (Perm, Russian Federation) is a Ph.D. in Technical Sciences at Department of Information Technologies in Business Higher School of Economics National Research University (614070, Perm, 38, Studencheskaya str., e-mail: aderyabin@hse.ru).
Ponomareva Olga Andreevna (Perm, Russian Federation) is a Student Perm National Research University Higher School of Economics (614070, Perm, 38, Studencheskaya str., e-mail: pnmrva@mail.ru).
Shestakova Lidia Valentinovna (Perm, Russian Federation) is а Ph.D. in Physical and Mathematical Sciences, Associate Professor at Department of Information Technologies in Business Higher School of Economics National Research University (614070, Perm, 38, Studencheskaya str., e-mail: lshestakova@hse.ru.
Получено 31.07.2017
