Разработка методов и средств анализа и контроля диаграмматики бизнес-процессов в проектировании автоматизированных систем тема диссертации и автореферата по ВАК РФ 05.13.12, кандидат наук Гайнуллин, Ринат Фаязович

• Гайнуллин, Ринат Фаязович
• кандидат наук
• 2014

Оглавление диссертации кандидат наук Гайнуллин, Ринат Фаязович

Введение

Глава 1. Использование и реализация диаграмматических

нотаций бизнес-процессов в проектировании АС

1.1 Место и роль диаграмматических моделей бизнес-процессов в проектировании АС

1.2 Анализ использования диаграмматических нотаций бизнес -процессов в методологиях проектировании АС

1.3 Анализ методов контроля диаграмматических спецификаций в процессе проектирования бизнес-процессов

1.4 Анализ систем разработки диаграмматических спецификаций бизнес-процессов нотации 1/МЬ

1.5 Постановка задачи

1.6 Выводы

Глава 2. Разработка методов синтаксического и семантического

анализа и контроля диаграмматики нотаций бизнес-процессов,

созданных в процессе коллективного проектирования

2.1 Обзор методов многоуровневых описаний

2.2 Разработка метода описания многоуровневых грамматик анализа диаграмматических нотаций, созданных в процессе коллективного проектирования

2.3 Оценка временных затрат многоуровневых грамматик

2.4 Анализ методов построения онтологий

2.5 Анализ языков описания онтологий

2.6 Исследование алгоритмов объединения#онтологий

2.7 Разработка метода анализа и контроля семантических ошибок диаграмм при коллективном проектировании

2.8 Выводы

Глава 3. Разработка метода синтеза RV-грамматик и алгоритма нейтрализации ошибок грамматики диаграммных нотаций бизнес-процессов

3.1 Инструментальные средства метатрансляции

3.2 Разработка структуры метакомпиляторадиаграмматических нотаций бизнес-процессов на примере языка UML

3.3 Анализ методов нейтрализации ошибок в диаграмматических нотациях бизнес-процессов

3.4 Разработка метода нейтрализации в графических грамматиках

3.5 Разработка алгоритма формирования множества продолжателей

3.6 Типы диагностируемых ошибок

3.7 Выводы

Глава 4. Разработка программных средств реализации анализа и

контроля диаграмматическх нотаций бизнес-процессов

4.1 Разработка анализатора графических нотаций для системы вопросно- ответного проектирования WIQA

4.2 Разработка плагина для редактора Microsoft Visio

4.3 Разработка сетевых систем анализ диаграмматики бизнес-процессов

4.4 Проведение эксперимента

4.5 Выводы и рекомендации

Заключение

Список литературы

Принятые сокращения и обозначения

ARIS - Architecture of Integrated Information Systems

BPMN - Business Process Model and Notation

CASE-средства - Computer-Aided Software Engineering - средства

DSL - domain-specific language

EPC - Event-driven Process Chain

IDEF - Integration Definition Metodology

OCL - Object Constraint Language

RUP - Rational Unified Process

AC - автоматизированные системы

ГОСТ - Государственный стандарт

Введение диссертации (часть автореферата) на тему «Разработка методов и средств анализа и контроля диаграмматики бизнес-процессов в проектировании автоматизированных систем»

Введение

Актуальность темы. Подход к проектированию и реинжинирингу автоматизированных систем (АС), в основу которого положено системное представление организации и функционирования АС в виде бизнес-процессов, является в настоящее время одним из эффективных и активно применяемых на практике.

Под понятием «бизнес-процесс» понимают регулярно повторяющуюся последовательность комплексов мероприятий, направленных на удовлетворение потребностей потребителя с целью извлечения полезных эффектов.

Для представления и обработки бизнес-процессов широкое распространение получили средства диаграмматики, использующие графические нотации языков иМЬ , ШЕБ, ВРМ1Ч, ББО, ЕЯ-диаграмм и других.

Практика проектирования АС показала, что использование диаграмматики значительно повышает эффективность процесса проектирования и качество создаваемых систем за счет унификации языка взаимодействия участников процесса создания АС, строгого документирования проектно-архитектурных, функциональных решений и формального контроля корректности диаграммных нотаций.

Наиболее распространенным диаграмматическим инструментом, используемым на всех этапах создания АС, является язык ЦМЬ. Однако в современной теории и практике применения ЦМЬ-диаграмматики в проектировании АС наблюдается слабое развитие методов и средств анализа и контроля корректности проектируемых диаграмм. Отсутствуют средства контроля корректности семантической согласованности диаграммных нотаций в процессе коллективного проектирования. Данные факты открывают дополнительный источник трудно диагностируемых и

«дорогих» ошибок в создании АС, их анализ и контроль является актуальной научно-технической задачей.

Целью диссертационной работы является расширение класса диагностируемых ошибок в процессе проектирования АС за счет развития и реализации методов и средств анализа и контроля диаграммных нотаций бизнес-процессов, что позволяет сократить ошибки и время создания АС.

В соответствии с поставленной целью в работе формулируются и решаются следующие задачи исследования.

1. Анализ существующих методов контроля диаграмма™ческих нотаций бизнес-процессов в проектировании АС.

2. Анализ структурных особенностей диаграматики описания бизнес-процессов. Разработка многоуровневой автоматной графической ЯУ-грамматики.

3. Анализ семантических особенностей графических нотаций бизнес-процессов. Разработка метода контроля семантической целостности комплекса диаграмм в процессе коллективного проектирования.

4. Анализ методов нейтрализации ошибок. Разработка алгоритма формирования множества комплексов продукций-продолжателей для автоматной графической ЯУ-грамматики.

5. Анализ методов метакомпиляции. Разработка метода синтеза таблицы автоматной графической ЯУ-грамматики.

6. Разработка программного обеспечения, позволяющего производить эффективный анализ и контроль графических нотаций бизнес-процессов в диаграмматике ЦМЬ.

Объектом исследования является применение диаграмматики бизнес-процессов при разработке АС.

Предметом исследования являются модели, методы и средства анализа и анализа и контроля диаграмматики бизнес-процессов,

используемые для выявления синтаксических (топологических) и семантических ошибок.

Методы исследования основаны па использовании положений и методов теории множеств, теории графов, теории автоматов, теории формальных языков, теории графических языков, математической лингвистики, теории искусственного интеллекта, а также использовании основ системотехники и теории автоматизированного проектирования.

Научная новизна определяется разработанными методами и средствами анализа и контроля диаграмматики бизнес-процессов, основу которых составляют авторские графические грамматики. В результате исследований получены следующие результаты.

1. Предложен новый метод анализа и контроля диаграмматических нотаций бизнес-процессов на основе автоматных многоуровневых графических Ю/М-грамматик, отличающийся введением понятия сабтерма, учитывающий комплексную и иерархическую природу диаграмматических нотаций бизнес- процессов и позволяющий расширить класс диагностируемых ошибок за счет возможности определения ошибок распределенных по взаимосвязанным диаграммам.

2. Предложен новый метод анализа и контроля семантических ошибок диаграмматических нотаций бизнес-процессов в составе комплексной диаграммы, созданной в процессе коллективного проектирования, на основе автоматных графических ЯУ-грамматик, отличающийся использованием графовой модели отношений понятий семантической текстовой информации диаграмм и позволяющий расширить класс ошибок, диагностируемых в процессе проекгирования АС, и, тем самым, сократить время проектирования АС. Извлечение семантической информации из диаграммных нотаций происходит при помощи адаптированного метода лексико-синтаксических шаблонов.

3. Предложен новый метод синтеза автоматной графической RV-грамматики, отличающийся оригинальностью текстовых правил описания конструкций диаграмматических нотаций бизнес-процессов, ориентированных на использование в метакомпиляторе, обеспечивающих полноту описания их особенностей и позволяющих автоматически сформировать таблицу RV-грамматики, включая операции с внутренней памятью.

4. Впервые предложен алгоритм формирования множества комплексов продукций-продолжателей для автоматной графической RV-грамматики, позволяющий эффективно продолжать анализ с минимальным количеством пропущенных термов входного предложения диаграмматической нотации бизнес-процесса, что повышает производительность труда проектировщика и сокращает время разработки АС.

Практическими результатами диссертационной работы являются.

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

2. Разработан синтаксически-ориентированный анализатор UML-диаграмм для MS Visio, позволяющий обнаруживать допущенные при построении диаграмм синтаксические ошибки.

3. Разработана и реализована архитектура системы анализа и контроля корректности диаграммных спецификаций бизнес-процессов, предлагающая полный набор функциональности для анализа и контроля синтаксических и семантических ошибок.

На защиту выносятся следующие новые и содержащие элементы новизны основные положения:

1) метод анализа и контроля диаграмматики бизнес-процессов на основе многоуровневых графических RVM-грамматик;

2) метод анализа и контроля семантических ошибок диаграмматических нотаций бизнес-процессов в составе комплексной диаграммы;

3) метод синтеза автоматной графической RV-грамматики;

4) алгоритм автоматического формирования комплексов-продолжателей;

5) разработанные программные средства анализа и контроля синтаксических и семантических ошибок.

Реализация и внедрение результатов работы. Работа выполнена в рамках гранта РФФИ № 13-07-00483. Разработанные программные средства внедрены в производственные процессы ФНЦП ОАО «НПО «Марс» (г. Ульяновск), производственный процесс ООО «Эквид» (г. Ульяновск), учебный процесс Ульяновского государственного технического университета.

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на следующих международных и Всероссийских конференциях: 9-ой и 10-ой международных научно-технических конференциях «Интерактивные системы: Проблемы человеко-компыотерного взаимодействия / ИС-2011, ИС-2013», г. Ульяновск, 2011 и 2013; 111 и VI международных научно-практических конференциях «Объектные Системы-2011» и «Объектные Системы-2012», г. Шахты, 2011 и 2012; Всероссийских научно-технических конференциях «Информатика и вычислительная техника», г. Ульяновск, 2010, 2011, 2012, 2013; Всероссийских школах-семинарах "Информатика, моделирование, автоматизация проектирования", г. Ульяновск, 2010, 2011, 2012, 2013; научно-практических конференциях профессорско -преподавательского состава УлГТУ 2010, 2011, 2012, 2013.

Публикации. По теме диссертации опубликовано 21 печатная работа, в том числе 3 в журналах списка ВАК. Получено 3 СВИДЕТЕЛЬСТВА (РОСПАТЕНТ) об официальной регистрации программ для ЭВМ.

Глава 1. Использование и реализация диаграмматических нотаций бизнес-процессов в проектировании АС

Целыо данной главы является исследование подходов и методов проектирования бизнес-процессов в разработке АС. Рассматривается структурная модель бизнес-процесса в разрезе проектирования АС. Проведен анализ современных сред проектирования диаграммных спецификаций и их возможностей по анализу и контролю различных классов ошибок.

1.1 Место и роль диаграмматических моделей бизнес-процессов в проектировании АС

Под бизнес-процессом в АС понимается устоявшийся алгоритм действий, реализуемый исполнителем с потреблением входных ресурсов (материальных и/или информационных), создающий ценность и направленный на получение стабильного результата [70,160,137,80]. Целыо разработки и моделирования бизнес-процессов является выявление значимых аспектов деятельности, на автоматизацию которых направлена проектируемая АС.

Проектирование АС с использованием подхода, основанного на модельном представлении бизнес-процессов, производится в соответствии со следующими этапами [79].

1. Выделение одного глобального бизнес-процесса, который обуславливает деятельность всей системы.

2. Проведение анализа бизнес-процессов, необходимых для функционирования глобального бизнес-процесса. Выделяется множество более мелких процессов, которые обеспечивают исполнение глобального.

3. Ранжирование выделенных бизнес-процессов. Обычно производится анализ по критериям важность и проблематичность. Первый критерий определяет место выделенного бизнес-процесса в общей картине разработки. Это определяющий критерий очередности разработки.

Критерий проблематичность определяет сложность реализации автоматизированной версии бизнес-процесса. После оценки затрат на реализацию некоторые бизнес-процессы признаются нерентабельными к автоматизации и исключаются из дальнейшего рассмотрения. Данный критерий фактически является фильтром бизнес-процессов по критерию реализуемости.

4. Непосредственно описание бизнес-процесса. Описание состоит из выявления цели, окружения, функциональной структуры, различных потоков, алгоритмов и организационной структуры бизнес-процесса. Цели бизнес-процесса - это ценности или результаты, которые собираются достигнуть исполнители, выполняя бизнес-процесс. Цели ставят для оценки полученного результата и для задания общего курса работы.

Окружение бизнес-процесса - это все множество внешних элементов, с которыми взаимодействует бизнес-процесс как отдельная единица. К окружению относятся входы и выходы бизнес-процесса, с указанием поставщиков и потребителей. Поставщики могут быть как внешними, так и внутренними. Для лучшего анализа рекомендуется составить графическое представление как в примере на рис. 1.1.

5. Следующие два этапа традиционно выполняются совместно. Выделяют структурные особенности бизнес-процесса и потоки внутри процесса. Для анализа строят множество действий внутри бизнес-процесса и определяют взаимосвязь их входов и выходов.

Построенная схема является базой для построения алгоритма бизнес-процесса. На основе схемы строятся список ограничений на входы и выходы действий. Определяются требования на качество и время исполнения действия исполнителем.

Рис. 1.1. Схема бизнес-процесса

Таким образом, модельное представление АС в виде бизнес-процессов обладает следующими особенностями:

• бизнес-процессы имеют иерархическую структуру;

• бизнес-процесс не изолированная система - каждый бизнес-процесс функционирует в окружении, который определяет множество входов и выходов бизнес-процесс;

• у каждого бизнес-процесса есть «заказчик»;

• у каждого бизнес-процесса есть «исполнитель».

После анализа основных потоков работ, используемых в мастер технологии 1ШР, было выявлено использование понятия бизнес-процесса в проектировании АС. Результаты анализа этапа «Деловое моделирование» представлены в Приложении 1. На рис. 1.2 в качестве примера представлено графическая интерпретация бизнес-процесса «Требование участников системы». Бизнес-процесс определяет цели и направления

развития разрабатываемой АС и создается бизнес-аналитиком на ранних этапах проектирования АС.

Определение

Атрибуты требований

Рис. 1.2. Бизнес-процесс требования участников системы

В России основными регламентирующими документами на создание АС являются ГОСТы 34 серии. В них определены все понятия, стадии создания и другие важные аспекты создания АС. Рассмотрим некоторые их ГОСТов 34 серии.

ГОСТ 34.003-90 [146] «Информационная технология. Комплекс стандартов на автоматизированные системы. Термины и определения». Данный документ определяет АС как систему, состоящую из персонала и комплекса средств автоматизации его деятельности, реализующую информационную технологию выполнения установленных функций. Таким образом, АС состоит из персонала, комплекса средств и некой деятельности, подлежащей автоматизации.

ГОСТ 34.601-90 [147] «Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания» выделяет этапы создания АС от формирования требований до ввода в эксплуатацию и сопровождение. Множество

методологий, реализующих разработку по ГОСТу, утверждают, что на ранних этапах создания АС важным аспектом является разработка графических спецификаций для описания конкретных частей системы.

Для разработки и исследования моделей бизнес-процессов в процессе проектирования АС активно применяются диаграмматические средства. Ниже исследуется наиболее значимые с практической точки зрения методологии проектирования АС, использующиеся в качестве основного методологического базиса диаграмматические представления бизнес-процессов [151].

1. UML [36, 30, 33, 63] является развитием методологии Объектно-ориентированного анализа и проектирования (OOAD [69]), которая была разработана в 80х-90х годах прошлого века. UML описывает только языковой компонент методологии, который является составной частью большой методологии Rational Unify Process (RUP).

Рис. 1.3. Комплексная диаграмма 11МЬ

иМЬ, как язык моделирования, состоит из множества графических примитивов (нотация языка) и множества правил (синтаксиса и семантики), которые определяются языком. Пример ЦМЬ-диаграммы

приведен на рис. 1.3. Множество правил может быть классифицировано следующим образом:

• группа синтаксических правил - определяет варианты использования;

• группа семантических правил — определяет значение графических примитивов, индивидуально и в контексте;

• группа прагматичных правил - рекомендации по тому, как использовать язык.

2. Методология структурного анализа и проектирования (Structured Analysis and Design Technique , SADT) [89, 152, 57] разработана в конце шестидесятых годов двадцатого века, является первой методологией основанной на концепциях полного системного моделирования. Процесс системного моделирования состоит из нескольких этапов: получение знаний в процессе опроса, документирование полученных знаний, проверка корректности модели в процессе итеративного рецензирования. Аналитик документирует полученные им знания о данной проблемной области, выражая их в виде одной или нескольких SADT-диаграмм.

3. Методология IDEF (Integrated Computer-Aided Manufacturing) базируется на методах SADT и включает в настоящее время 15 стандартов [167, 58, 63]

IDEF0 [57] (рис. 1.4) рекомендуется для начальных стадий проектирования АС. Диаграммы потоков бизнес-процессов этой методики описывает функциональное взаимодействие различных частей проектируемой системы.

Стандарты IDEF1 и 1DEF1X используются для проектирования баз данных в терминах «сущность-связь». Данные нотации позволяют строить реляционные модели в третьей нормальной форме.

IDEF3 описывает потоки данных внутри проектируемой АС. Диаграммные спецификации данной методологии описывает причинно-следственную связь происходящих процессов.

Стандарт IDEF4 предназначен для компонентного проектирования клиент-серверных систем. Диаграммная спецификация используется для описания архитектурного уровня, статуса артефактов системы, архитектурных моделей, ранжирования разработанных артефактов.

Стандарт IDEF5 представляет онтологическую модель проектируемой АС. Используется для описания объектов и концептов в специфической области, через его семантическую взаимосвязь с другими объектами.

Развитие BPR методов (Business Process Reengineering [20]) получило в стандартах IDEF6, IDEF8, IDEF9 и IDEF14.

Стандарты IDEF7, IDEF 10, IDEF 11, 1DEF 12, IDEF 13 разработаны только частично.

I Оаазвикя eufic <ва»*<и«н» 1 _i-

Ct{4H«IW и

MexiWv« I гм мослам

Op«««*« р8Ш<е<мя

По е+ычтмл* «JwmJu

Инфоочацияо пос*>гв Д^геьор нл !

Лиа-еумы* &сл%вт

-н-

Л«ам*<] ¡хм*»*« я «Фепгиых рвбвг

tea

Злсглуйш, 1«!

ТМЦя ««ijj'Wt^T от

Прюлилл с рмм *tyi(i

1 1 1 1 »У* tfly »>«(»••»» 1 ! ' I 1 ^ _ • 7МЦ

1 ! !

PaiCTOvOCwCi-(a«< i I

«•{чоиал i j

KWi^UPW

SoaipWWS >П№>

~]тгп.еГ

Деятельность а области проектирования и монтажа иижснсрно-тохничсских систем

Рис. 1.4. Диаграмма IDEF0

4. Event-driven process chains (EPC) [94, 61, 60] - графический язык описания бизнес-процесса, разработанный Келлером и Шеер в 1992. Язык разработан для описания процессов па уровне их бизнес-логики, не опускаясь до уточнения каждого события, и легок для понимания и использования бизне-разработчиками.

ЕРС-диаграмма (рис. 1.5) состоит из следующих элементов:

• функции — основные стандартные блоки, соответствуют деятельности (задача, шаг процесса), которая должна быть выполнен.

• события - описывают ситуацию прежде и/или после того, как функция будет выполнена. Функции связаны с событиями. Событие может соответствовать выходному условию одной функция и предварительному условие другой функции.

• логические соединители могут использоваться, чтобы соединить действия и события. Существует три типа соединителей: Л (и), XOR (исключающий или) и _ (или).

Рис. 1.5. Диаграмма ЕРС

5. BPMN (Business Process Model and Notation) [106, 59, 96, 110] -язык для описания исполняемых процессов внутри глобального бизнес-

процесса, включая различные комплексы действий, транзакции, движение данных, параллельные процессы и операционную семантику. Язык ориентирован на создание компьютерных систем, поэтому его описание ориентировано на отображение реальных процессов на диаграммы автоматизируемых процессов. В ВР1УШ находят отражение такие важные для автоматизации характеристики процесса как атомарность, контекст, свойство, значения по умолчанию. Также нотация ВРМИ вводит понятия более высокого уровня - расписание, транзакционность, компенсация и корреляция свойств.

В конечном счете, ВРМЫ - язык для описания «течения» бизнес-процесса без относительно описания особенностей для человека. Сейчас основой разработки ВРММ-диаграмм является инструментарий, транслирующий диаграммы в ХМЬ-описание, для дальнейшей автоматизации обработки диаграммы. На рис. 1.6 приводится пример диаграммы ВРМК

он

пен»

-»1К-Я1

"¡V_

75 Кг*-

Л.

А

-X

Ч-М4

Г«««

Сц.н

»»«НИМ

ТГ ,'Í*U,^,

М« ^

—Э* в а г«

Г"

1* м<

1

<

о

Рис. 1.6. Диаграмма ВР]УШ

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

Таблица 1.1 Сравнение графических нотаций бизнес-процессов

имь ШЕГ ЕРС ВРМТЧ

Сложность изучения Средняя Сложно Легко Средняя

Взаимосвязь артефактов Есть Есть Есть Нет

Взаимосвязь артефактов разного класса Есть Неявная Her (Классы отсутствуют) Нет

Совместная работа Активно используется Активно используется Возможна Возможна

Формальное описание синтаксиса Не строгое Строгое Очень строгое Строгое

Область применения Программное обеспечение + Бизнес-процессы Программное обеспечение + Бизнес-процессы Бизнес-процессы + Программное обеспечение Бизнес-процессы + Программное обеспечение

Проанализировав таблицу, видно, что для проектирования АС на основе анализа бизнес-процессов подходят нотации иМЬ и ГОЕР. При этом стоит отметить, что нестрогий синтаксис 11МЬ открывает дополнительные возможности совершить ошибки при использовании данной технологии. Данный факт обуславливает выбор для анализа именно языка иМЬ.

1.2 Анализ использования диаграмматических нотаций бизнес-процессов в методологиях проектировании АС [138]

В процессе разработки АС для достижения предсказуемого результата используют некоторый набор практик и методов. ГОСТ 34.60190 [148] определяет 8 этапов разработки АС: формирование требований, концептуальное проектирование, разработка технического задания, эскизный проект, технический проект, разработка рабочей документации, ввод в эксплуатацию, сопровождение. Для реализации каждого из этапов используются одна из множества технологий проектирования АС. В настоящее время основными мастер технологиями являются ARIS и RUP [158,156,135].

ARIS [93, 91, 118, 19] - платформа основанная на рассмотрении бизнес-процессов с пяти основных точек зрения:

• функциональный анализ - моделирование всех функций преобразующих входной поток в выходной;

• организационный анализ - описание организационной структуры предприятия;

• анализ данных - описание входных и выходных данных, ограничения, наложенные на них, и контекста, в котором происходит операции с данными;

• анализ результатов деятельности — моделируются предполагаемые результаты деятельности;

• контроль моделей — анализируются созданные ранее модели и устраняются недочеты обнаруженные в процессе анализа.

Концепция фреймворка ARIS и жизненный цикл моделей ARIS описывается диаграммой (рис. 1.7), называемой «Дом ARIS» или «ARIS house» [92].

Require monis DofinitionNSb

Design Specification

implementation Description

Requirements Definition Requirements Definition Requirements Definition

Design Specification 1 Design Specification 1 Design Specification

Implementation Description implementation Description Implementation Description

Data Hi Control Function

Requirements Definition

Design Specification

implementation Description

Output

Рис. 1.7. Модель ARIS house

RUP — регламентированное описание этапов процесса создания приложения. RUP обеспечивает регламентированный подход к исполнению задач и обязанностей в группе разработки. Его цель состоит в том, чтобы гарантировать создание высококачественного программного обеспечения, которое соответствует потребностям его конечных пользователей в рамках графика и бюджета [114, 15, 50].

RUP [44] разработана и поддерживается компанией Rational Software. Группа разработчиков работает в постоянном тесном контакте с клиентами, партнерами, промышленными группами, чтобы гарантировать, что процесс непрерывно обновляется и улучшается, чтобы постоянно вводить только лучшие современные практики разработки.

RUP призывает активно создавать и поддерживать диаграмматические модели. Вместо создания большого количества печатных документов, RUP поддерживает активное использование

моделей — семантически богатых представлений разрабатываемой системы программного обеспечения [51, 14].

При исследовании вопроса моделей в 1ШР составлена следующую схема взацмодействий моделей. Узлы схемы могут быть более детализированы или отсутствовать в конечной реализации конкретной сложной АС.

(Спенарим использования V для бтнеса

[5]:

14 7 Аналитическая бизнес

I I МОДРЛЬ

1 -Ж—

Модель вариантов использований ,

^ \ Л Г Л

^К^рга вааимодвисгиня^ ^Ана гит утеска ч модель^

Модель данных

Модель »рхтвкгуры ^--

\

Л.

^Модель разворачивания^ ^Модель реализации^

Рис. 1.8. Схема взаимодействия моделей методологии 1ШР

1ШР различает три этапа разработки, где активно используется ЦМЬ

• бизнес-моделирование;

• составление требований;

• анализ и проектирование.

Рассмотрим применение диаграмматических моделей на каждом из этих этапов разработки сложной АС и схему взаимодействия различных моделей друг с другом.

Бизнес-моделирование

В 1ШР выделяются две основные модели в процессе бизнес-моделирования [45]:

• модель бизнес-вариантов использования, которая описывает внешние взаимодействия организации с точки зрения бизнеса;

• модель бизнес-анализа, которая показывает, как предприятие ведет себя внутренне, чтобы выявить все узлы предприятия и их взаимодействие.

На рис. 1.8 эти модели находятся на верхнем уровне, что говорит об их основополагающем значении в процессе проектирования.

Модели бизнес-вариантов использования определяют взаимодействие бизнеса и окружения. В этом случае бизнес-процесс рассматривается как черный ящик. Варианты бизнес-использования описываются с точки зрения актора. Для делового агента «потребитель» примером может быть вариант использования «заказать модуль», а для «исполнителя» - «реализовать требования». Для описания бизнес-модели, дополнением служат следующие диаграммы:

• диаграмма пакетов - большая модель делится на группу более конкретных и представляется с помощью диаграммы пакетов;

• диаграмма вариантов использования - демонстрирует бизнес-возможности взаимодействий и связанных с ними акторов;

• диаграмма активности - показывает поток работ в зависимости от некоторых событий в системе.

Аналитическая бизнес-модель описывает внутреннее функционирование бизнеса. Модель предназначена, чтобы разобрать внутренние процессы при различных вариантах бизнес-использования. Здесь анализируются бизнес-процессы и потоки операций. Также моделируется организационная структура и потоки данных. Для анализа используют следующие виды диаграмм:

Список литературы диссертационного исследования кандидат наук Гайнуллин, Ринат Фаязович, 2014 год

Список литературы

1. .NET Framework Remoting Overview URL: http://msdn.microsoft.coni/en-us/library/kvvdt6w2k(v=vs.85).aspx (Дата обращение 11.03.2014)

2. A. Firat, Information Integration Using Contextual Knowledge and Ontology Merging, Ph.D. Thesis, Massachusetts Institute of Technology, Sloan School of Management, 2003

3. Aho A. V., Johnson S. C. LR parsing //ACM Computing Surveys (CSUR). - 1974. - T. 6. - №. 2. - C. 99-124.

4. Alio A. V., Peterson T. G. A minimum distance error-correcting parser for context-free languages //SIAM Journal on Computing. - 1972. - Т. 1. - №. 4. - C. 305-312.

5. Ambler S., Nalbone J., Vizdos M. Enterprise Unified Process, the: Extending the Rational Unified Process. // Prentice Hall Press - 2005. - 408 C.

6. Ankudinov G. I. Aspects of the theory of plex-languages// Cybernetics. -1978 - T. 14, C. 363-369.

7. ANTLR URL: http://www.antlr.org/ (Дата обращение 14.02.2014)

8. ARIS Express - Free Modeling Software | ARIS BPM Community URL: http://www.ariscommunity.com/aris-express (Дата обращение 10.02.2014)

9. Balena F., Foreword By-Fawcette J. Programming Microsoft Visual Basic 6.0. - Microsoft Press, 1999.

10. Baxter I. D., Pidgeon C., Mehlich M. DMS®: Program transformations for practical scalable software evolution //Proceedings of the 26th International Conference on Software Engineering. - IEEE Computer Society, 2004. - C. 625634.

11. Bianchi U. et al. Generating the analytic component parts of syntax-directed editors with efficient-error recovery //Journal of Systems and Software. -1993. - T. 23. - №. 1. - C. 65-79.

12. Bianchi U. et al. Generating the analytic component parts of syntax-directed editors with efficient-error recovery //Journal of Systems and Software. -1993. - T. 23. - №. 1. - C. 65-79.

13. Bison - GNU parser generator URL: http://www.gnu.org/ software/bison/ (Дата обращение 14.02.2014)

14. Booch G., Rumbaugh J., Jacobson I. Unified Modeling Language—User's Guide. // Addison-Wesley - 2005. - 496 C.

15. Booch G., Rumbaugh J., Jacobson I. Unified Software Development Process. //Addison-Wesley - 1999. - 512 C.

16. Bottoni P., Taentzer G., Schurr A. Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation //Visual Languages, 2000. Proceedings. 2000 IEEE International Symposium on. - IEEE, 2000. - C. 59-60.

17. Boullier P., Jourdan M. A new error repair and recovery scheme for lexical and syntactic analysis //Science of computer programming. - 1987. - T. 9. - №. 3.-C. 271-286.

18. Bouquet P. et al. C-owl: Contextualizing ontologies //The Semantic Web-ISWC 2003. - Springer Berlin Heidelberg, 2003. - C. 164-179.

19. Business process management discussions, news and articles | ARIS BPM Community URL: httpy/www.ariscommunity.com/ (Дата обращения 01.03.2014)

20. Business process re—engineering URL: http://www.adi.pt/docs/ innoregio_bpr-en.pdf (Дата обращения 18.03.2014)

21. С. H. Goh, S. Bressan, S. Madnick, and M. Siegel, "Context Interchange: New Features and Formalisms for the Intelligent Integration of Information," ACM Transactions on Information Systems, vol. 17, C. 270-293, 1999.

22. Cabot J., Pau R., Raventös R. From UML/OCL to SBVR spécifications: A challenging transformation //Information Systems. - 2010. - T. 35. - №. 4. - C. 417-440.

23. Choi N., Song I. Y., Han H. A survey on ontology mapping //ACM Sigmod Record. - 2006. - T. 35. - №. 3. - C. 34-41.

24. COM: Component Object Model Technologies URL: https://www.microsoft.com/com/default.mspx (Дата обращение 11.03.2014)

25. Costagliola G. et al. Positional grammars: A formalism for LR-like parsing of visual languages //Visual language theoiy. - Springer New York, 1998. -C. 171-191.

26. Costagliola G., Lucia A. D., Orefice S., Tortora G. A parsing methodology for the implementation of visual systems. http://www.dmi.unisa.it/people/costaglio la/www/home/papers/method.ps.gz.

27. Costagliola G., Polese G. Extended positional grammars //Visual Languages, 2000. Proceedings. 2000 IEEE International Symposium on. - IEEE, 2000.-C. 103-110.

28. DMS Software Reengineering Toolkit URL: http://www.semanticdesigns.com/Products/DMS/DMSToolkit.html (Дата обращение 14.02.2014)

29. Donnelly С., Stallman R. Bison//Free Software Foundation. - 1995.

30. D'souza D. F., Wills A. C. Objects, components, and frameworks with UML: the catalysis approach. - Reading : Addison-Wesley, 1998. - Т. 1.

31. Feder J. Plex languages // Information Science.— 1971.— no. 3. — C. 225-241.

32. Firat A., Madnick S., Manola F. Multi-dimensional ontology views via contexts in the ECOIN semantic interoperability framework //Contexts and Ontologies: Theory, Practice and Applications. AAA! Workshop. AAA! Press. -2005. - C. 1-8.

33. Fowler M. UML Distilled: A Brief Guide to the Standard Object Modeling Languange. - Addison-Wesley Professional, 2004.

34. GOLD Parsing System - A Free, Multi-Programming Language, Parser Generator URL: http://goIdparser.org/ (Дата обращение 14.02.2014)

35. Golin E. J. Parsing visual languages with picture layout grammars //Journal of Visual Languages & Computing. - 1991. - T. 2. - №. 4. - C. 371-393.

36. Graham I. Object oriented methods. - Wokingham, England : Addison-Wesley, 1991. - T. 991.

37. Graham S. L., Haley С. В., Joy W. N. Practical LR error recovery. -ACM, 1979. - T. 14. - №. 8. - C. 168-175.

38. Graham S. L., Rhodes S. P. Practical syntactic error recovery //Communications of the ACM. - 1975. - T. 18. - №. 11. - C. 639-650.

39. Gray D. N. et al. Modern languages and Microsoft's component object model//Communications of the ACM. - 1998. - T. 41. - №. 5. - C. 55-65.

40. Hagge N., Wagner B. A new function block modeling language based on Petri nets for automatic code generation // Industrial Informatics, IEEE Transactions. - 2005 - C. 226-237

41. Henneler J. С. C. ct al. Error Correction and Recoveiy in a LL (1) Parser. - 1998. - 35 C.

42. Hoffmann H. P. Deploying model-based systems engineering with IBM® rational® solutions for systems and software engineering //Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st. - IEEE, 2012. - C. 1-8.

43. IBM - Rational Software Architect URL: http://www-03.ibm.com/ software/products/ru/ratisoftarcli/ (Дата обращение 12.01.2014)

44. IBM Rational Unified Process (RUP) URL: http://www-01.ibm.com/software/rational/rup/ (Дата обращение 25.02.2014)

45. Introduction to business modeling using the Unified Modeling Language (UML) URL: http://www.ibm.com/developerworks/ rational/library/360.html (Дата обращение 23.01.2014)

46. Jones A., Freeman A. Windows Presentation Foundation //Visual C# 2010 Recipes. - Apress, 2010. - C. 789-904.

47. Jones D., Bench-Capon Т., Visser P. Methodologies for ontology development //Proc. 1T&KNOWS Conference of the 15th IFIP World Computer Congress. - 1998. - C. 20-35.

48. Knuuttila T. From representation to production: Parsers and parsing in language technology //Simulation. - Springer Netherlands, 2006. - C. 41-55.

49. Knuuttila Т., Voutilainen A. A parser as an epistemie artifact: A material view on models //Philosophy of Science. - 2003. - T. 70. - №. 5. - C. 1484-1495.

50. Kruchten P. A Rational Development Process // CrossTalk. — 1996. — C. 11-16.

51. Kruchten P. Rational Unified Process—An Introduction. // Addison-Wesley - 2003. - 336 C.

52. Leborg C. Visual grammar. - Princeton Architectural Press, 2006.

53. Lee J. K., Solin M. M. The extensible rule markup language //Communications of the ACM. - 2003. - T. 46. - №. 5. - C. 59-64.

54. Lex & Yacc Tutorial URL: http://epaperpress.com/lexandyacc/ (Дата обращение 14.02.2014)

55. Maedche A. et al. Mafra—a mapping framework for distributed ontologies //Knowledge engineering and knowledge management: ontologies and the semantic web. - Springer Berlin Heidelberg, 2002. - C. 235-250.

56. Mairesse F. et al. Phrase-based statistical language generation using graphical models and active learning //Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics. — Association for Computational Linguistics, 2010. -C. 1552-1561.

57. Marca D.A., McGowan C.L. IDEF0 and SADT: A Modeler's Guide // OpenProcess, Inc. - 2005. - 392 C.

58. Mayer R.J., Painter M.K., deWitte P.S. IDEF family of methods for concurrent Engineering and Business Re-engineering Application// Knowledge Based Systems - 1994. - 60 C.

59. Mendling J., Mtiller M. A Comparison of BPML and BPEL4WS //Berliner XML Tage. - 2003. - T. 2003. - C. 305-316.

60. Mendling J., Neumann G., Nuttgens M. Towards workflow pattern support of event-driven process chains (EPC) //Proc. of the 2nd Workshop XML4BPM. - 2005. - C. 23-38.

61. Mendling J., Nuttgens M. EPC markup language (EPML): an XML-based interchange format for event-driven process chains (EPC) //information Systems and e-Business Management. - 2006. - T. 4. - №. 3. - C. 245-263.

62. MossenbockH. et al. The compiler generator Coco/R//Peter RechenbergFestschrift zum. - 1990. - 70 C.

63. Noran O. S. Business modelling: UML vs. IDEF //Lecture note, Griffith University, School of Computing and Information Technology. - 2000. - C. 16-23.

64. Noy N. F., Musen M. A. Anchor-PROMPT: Using non-local context for semantic matching //Proceedings of the workshop on ontologies and information sharing at the international joint conference on artificial intelligence (IJCAI). -2001. -C. 63-70.

65. Noy N. F., Musen M. A. The PROMPT suite: interactive tools for ontology merging and mapping //International Journal of Human-Computer Studies. - 2003. - T. 59. - №. 6. - C. 983-1024.

66. Noy N. Ontology Mapping and Alignment //Fifth International Workshop on Ontology Matching collocated with the 9th International Semantic Web Conference ISWC-2010, Shangai, China. - 2012.

67. Omelayenko B. RDFT: A mapping meta-ontology for business integration //Proc. of the Workshop on Knowledge Transformation for the Semantic Web at the 15th European Conference on Artificial Intelligence (KTSW2002). - 2002. -C. 77-84.

68. Omelayenko B. RDFT: A Mapping Meta-Ontology for Web Service Integration. - 2003.

69. OOAD UML Object oriented analysis and Design using UML or similar modeling languages URL: http://ooaduml.com/ (Дата обращения 18.03.2014)

70. Osterwalder A., Pigneur Y. Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers. // Wiley - 2010. - 288 C.

71. Overview Of Methodologies For Building Ontologies URL: http://oa.upm.eS/5480/l/Overview_Of_Methodologies.pdf (Дата обращение 10.02.2014)

72. OWL - Semantic Web Standards URL: http://www.w3.org/2001/ sw/wiki/OWL (Дата обращение 02.02.2014)

73. OWL Web Ontology Language Overview URL: http://www.w3.org/ TR/owl-features/ (Дата обращение 02.02.2014)

74. Pai А. В., Kieburtz R. B. Global context recovery: A new strategy for syntactic error recovery by table-drive parsers //ACM Transactions on Programming Languages and Systems (TOPLAS). - 1980. - Т. 2. - №. 1. - С. 1841.

75. Paradigm V. Visual paradigm for uml //Hong Kong: Visual Paradigm International. Available at: http://www. visual-paradigm, com/product/vpuml/. Accessed April. - 2010. - T. 15. - C. 2010.

76. Parr T. The definitive ANTLR reference: Building domain-specific languages. - Pragmatic Bookshelf, 2007.

77. Parr Т., Fisher K. LL (*): the foundation of the ANTLR parser generator //ACM SIGPLAN Notices. - 2012. - T. 47. - №. 6. - C. 425-436.

78. Philipps Gabriele Taentzer Syntax Definition of Visual Domain-Specific Languages by Graph Transformation //Universität Marburg. —2012.

79. Podeswa H. The Business Analyst's Handbook. // Cengage Learning PTR - 2008. - 432 C.

80. Quality management systems — Fundamentals and vocabulary, ISO 9000:2005. — 2005. — http://www.iso.org

81. R. Gainullin Diagrams languages analysis software system// IX International conference on interactive systems: problems of human-computer interaction. - 201 lr. - C. 157-161

82. Raj A., Prabhakar Т. V., Hendryx S. Transformation of SBVR business design to UML models //Proceedings of the 1st India software engineering conference. - ACM, 2008. - C. 29-38.

83. Rekers J., Schürr A. Defining and parsing visual languages with layered graph grammars //Journal of Visual Languages & Computing. - 1997. - T. 8. - №. l.-C. 27-55.

84. Richter H. Noncorrecting syntax error recovery //ACM Transactions on Programming Languages and Systems (TOPLAS). - 1985. - T. 7. - №. 3. - C. 478-489.

85. Rimell L., Clark S., Steedman M. Unbounded dependency recovery for parser evaluation //Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 2-Volume 2. - Association for Computational Linguistics, 2009. - C. 813-821.

86. Rohrich J. Methods for the automatic construction of error correcting parsers //Acta Informática. - 1980. - Т. 13. - №. 2. - С. 115-139.

87. Roth С. Using Microsoft Visio 2010. - Pearson Education, 2011.

88. RuleML Wiki URL: http-y/wiki.ruleml.org/index.php/RuleML Home (Дата обращение 14.02.2014)

89. SADT-моделирование. Основные понятия и принципы. Режим доступа: httpy/vemikov.i*u/media/K2/item_attacliments /stacionar_idef0.pdf (дата обращения 22.07.2013)

90. Santos Jr P. S., Almeida J. P. A., Pianissolla T. L. Uncovering the organisational modelling and business process modelling languages in the ARIS method //International Journal of Business Process Integration and Management. -2011. - T. 5. - №. 2. - C. 130-143.

91. Scheer A. W., Cameron I. Architecture of integrated information systems: foundations of enterprise modelling. - Springer-Verlag, 1992. - 220 C.

92. Scheer A. W., Nüttgens M. ARIS architecture and reference models for business process management. - Springer Berlin Heidelberg, 2000. - C. 376-389.

93. Scheer A. W., Schneider K. Aris—architecture of integrated information systems //Handbook on architectures of information systems. - Springer Berlin Heidelberg, 2006. - C. 605-623.

94. Scheer A. W., Thomas O., Adam O. Process modeling using event-driven process chains //Process-Aware Information Systems. - 2005. - C. 119-146.

95. Silva N., Rocha J. MAFRA-an ontology MApping FRAmework for the semantic web //Proceedings of the 6th International Conference on Business information Systems. - 2003.

96. Smith H. Business process management—the third wave: business process modelling language (bpml) and its pi-calculus foundations //information and Software Technology. - 2003. - T. 45. - №. 15. - C. 1065-1069.

97. SOAP Specifications URL: http://www.w3.org/TR/soap/ (Дата обращение 11.03.2014)

98. Stead A. G., Blackwell A. F., Aaron S. Graphic Score Grammars for EndUsers //Proceedings of the International Conference on New Interfaces for Musical Expression (NIME). - 2012. - C. 176-179.

99. Strotgen J., Gertz M., Popov P. Extraction and exploration of spatiotemporal information in documents //Proceedings of the 6th Workshop on Geographic Information Retrieval. - ACM, 2010. - C. 16.

100. Stuckenschmidt H. et al. Using C-OWL for the alignment and merging of medical ontologies. - 2004.

101. Swierstra S. D., Duponcheel L. Deterministic, error-correcting combinator parsers. - Springer Berlin Heidelberg, 1996. - C. 184-207.

102. Szepielak D. REST-based Service Oriented Architecture for Dynamically Integrated Information Systems //PhD Symposium at ICSOC. - 2006. - T. 2006.

103. Tawara Y., Yamauchi Т., Olukotun K. Introduction to domain specific programming approach for heterogeneous multicore. - 2012.

104. The Compiler Generator Coco/R URL: http://ssw.jku.at/Coco/ (Дата обращение 14.02.2014)

105. The LEMON Parser Generator URL: http://www.hwaci.com/ sw/lemon/ (Дата обращение 14.02.2014)

106. Thiagarajan R. K. et al. BPML: A process modeling language for dynamic business models //Proceedings of the Fourth IEEE International

Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02). - IEEE Computer Society, 2002. - C. 239.

107. Tornado Web Server — Tornado 3.2 documentation [Официальный

♦

сайт] URL: http ://www. tornad о web .org/ (Дата обращения 15.02.2014)

108. Tsai Т. M. et al. Ontology-mediated integration of intranet web services //Computer. - 2003. - T. 36. - №. 10. - C. 63-71.

109. UML CASE tool for software development URL: http://www.visual-paradigm.com/product/vpuml/ (Дата обращение 10.02.2014)

110. Van der Aalst W. M. P. et al. Pattern-based analysis of BPML (and WSCI). - Technical Report FIT-TR-2002-05, Queensland University of Technology, 2002. - Т. 1. - C. 60.

111. Vaziri M., Jackson D. Some Shortcomings of OCL, the Object Constraint Language of UML //TOOLS (34). - 2000. - C. 555-562.

112. VISpro - Vision Imaging & Signal Processing Research Group — SEECS - NUST URL: http://vispro.seecs.nust.edu.pk/ (Дата обращение 10.01.2014)

113. W3C OWL Working Group et al. OWL 2 Web Ontology Language Document Overview, W3C Recommendation, Oct, 2009.

114. Walker R. Software Project Management - A Unified Framework. // Addison-Wesley - 1998. - 448 C.

115. Wang L., Wang Y., Gao W. Mining layered grammar rules for action recognition //International journal of computer vision. - 2011. - T. 93. - №. 2. - C. 162-182.

116. Warmer J., KJeppe A. The object constraint language second edition: Getting your models ready for MDA //Canada: Person Education, Inc. - 2003.

117. Welcome To The OMG's CORBA Website http://www.corba.org/ (Дата обращение 11.03.2014)

118. Wiederhold G. Mediators in the architecture of future information systems //Computer. - 1992. - T. 25. - №. 3. - C. 38-49.

119. Windows Presentation Foundation [Microsoft Development Network] URL: http://msdn.microsoft.com/ni-ni/library/ms754130(у=у8. 110). aspx (Дата обращения 15.02.2014)

120. Wittenburg К. В., Weitzman L. M. Relational grammars: Theory and practice in a visual language interface for process modeling //Visual language theory. - Springer New York, 1998. - C. 193-217.

121. XAML в WPF [Microsoft Development Network] URL: http://msdn.microsoft.com/ni-ru/library/ms747122(v=vs. 110).aspx (Дата обращения 15.02.2014)

122. Zhang D. Q., Zhang K. Reserved graph grammar: A specification tool for diagrammatic VPLs //Visual Languages, 1997. Proceedings. 1997 IEEE Symposium on. - IEEE, 1997. - C. 284-291.

123. Zhang К. В., Zhang K., Orgun M. A. Using Graph Grammar to Implement Global Layout for A Visual Programming Language Generation System. - 2002.

124. Zur Muehlen M., Nickerson J. V., Swenson K. D. Developing web services choreography standards—the case of REST vs. SOAP //Decision Support Systems. - 2005. - T. 40. - №. 1. - C. 9-29.

125. Zweigenbaum P. et al. A multi-lingual architecture for building a normalised conceptual representation from medical language //Proceedings of the Annual Symposium on Computer Application in Medical Care. - American Medical Infonnatics Association, 1995. - C. 357.

126. Александров A. E., Шильманов В. П. Инструментальные средства разработки и сопровождения программного обеспечения на основе генерации кода /Ют сервисов к субъектам. - 2012. - С. 10-16.

127. Афанасьев А.Н., Брагин Д.Г., Гайнуллин Р.Ф. Распределепая система анализа и контроля диаграмных языков // Всероссийская школа семинар ИМАП-2012. - 2012г. - С. 21-26.

128. Афанасьев А.Н., Гайнуллин Р.Ф. Анализ графических спецификаций потоков проектных работ на примере языка UML// Вестник УлГТУ- 4т. - 2010 г. С. 42-45.

129. Афанасьев А.Н., Гайнуллин Р.Ф. Метакомпилятор диаграмных языков // Автоматизация процессов управления. - С. 62-67.

130. Афанасьев А.Н., Гайнуллин Р.Ф. Система контроля диаграммных языков // Материалы III международной научно-практической конференции Объектные Системы-2011 - 2011г. - С. 29-32.

131. Афанасьев А.Н., Гайнуллин Р.Ф., Шаров О.Г. Программная система анализа диаграммныхязыков // Программные продукты. - 2012. - № З.-С. 138-141.

132. Афанасьев, А. Н. Автоматная графическая грамматика / А. Н. Афанасьев, О. Г. Шаров // Вестник УлГТУ. - 2005. - №1. - С. 54-56.

133. Афанасьев, А. Н. Методы и средства трансляции графических диаграмм / О. Г. Шаров ,А. Н. Афанасьев // Программирование. - 2011. -№3. - С. 65-76.

134. Афанасьев, А. Н. Нейтрализация синтаксических ошибок в графических языках / О. Г. Шаров, А. Н. Афанасьев // Программирование. -2008. - №1. - С. 61-66.

135. Боковой Ю. В. Особенности методологии проектирования информационных систем для малого и среднего бизнеса // Прикладная информатика. 2006. №5. С. 3-11.

136. Брагин Д.Г., Гайнуллин Р.Ф. Анализатор диаграммных языков для диаграммного редактора Microsoft Visio // Информационные системы. -2013 - №6.-С. 18-21.

137. Вендров А. М. Методы и средства моделирования бизнес-процессов (обзор) // Jetlnfo. — № 10 (137). — 2004. — http У/www.jetinfo.ru/2004/10/ 1/article 1.10.2004.html.

138. Гайнуллин Р.Ф. Анализ диаграммных спецификаций потоков проектных работ в технологии RUP// Сборник научных трудов 4-й

Российской научно-технической конференции аспирантов, студентов и молодых ученных ИВТ-2012. - 2012г. - С. 128 -134.

139. Гайнуллин Р.Ф. Анализ семантики диаграмм языка UML// Всероссийская школа семинар ИМАП-2011. - 2011г. - С. 104 -108.

140. Гайнуллин Р.Ф. Аналитический обзор по графическим грамматикам// Всероссийская школа семинар ИМАП-2010. - 2010г. - С. 142 -146.

141. Гайнуллин Р.Ф. Контроль графических спецификаций в процессах коллективного проектирования автоматизированных систем// Сборник научных трудов 5-й Российской научно-технической конференции аспирантов, студентов и молодых ученных ИВТ-2013. - 2013г. - С. 31-39.

142. Гайнуллин Р.Ф. Метод нейтрализации синтаксических ошибок В RV-грамматиках// Всероссийская школа семинар ИМАП-2012. - 2012г. - С. 52-63.

143. Гайнуллин Р.Ф. Разработка анализатора UML-диаграмм// Сборник научных трудов 3-й Российской научно-технической конференции аспирантов, студентов и молодых ученных ИВТ-2011. - 2011г. - С. 166 -169.

144. Гайнуллин Р.Ф. Разработка метода нейтрализации ошибок для анализатора диаграммных языков// Сборник научных трудов 3-й Российской научно-технической конференции аспирантов, студентов и молодых ученных ИВТ-2011. -2011г. -С. 169-174.

145. Гайнуллин Р.Ф., Брагин Д.Г. Анализатор диаграммных языков для Microsoft Visio// Материалы III международной научно-практической конференции Объектные Системы-2012 - 2012г. - С. 40-45.

146. ГОСТ 34.003-90. Автоматизированные системы. Термины и определения.

147. ГОСТ 34.601-90 Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания

148. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания.

149. Грищенко В. Н., Лаврищева Е. М. Компонентно-ориентированное программирование. Состояние, направления и перспективы развития //Проблемы программирования. - 2002. - №. 1-2. - С. 80-90.

150. Гуров В. С., Мазин М. А., Шалыто А. А. Текстовый язык автоматного программирования //Тезисы докладов Международной научной конференции, посвященной памяти профессора AM Богомолова «Компьютерные науки и технологии». Саратов: СГУ. - 2007. - С. 66-69.

151. Замятина О. М. Метод моделирования и комплексного анализа бизнес-процессов // Известия ТПУ. - 2005. - №6. С. 180-186

152. Марка Д.А., МакГоуэн К. SADT. Методология структурного анализа и проектирования. Режим доступа: http://www.pqm-online.com/assets/files/lib/marka.pdf (дата обращения 22.07.2013)

153. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем.// М.: Мир, 1973. - 344 с.

154. Новиков Д. А. Теория управления организационными системами. - М. : Моск. психол.-соц. ин-т, 2005.

155. Обзор языка XAML (Windows) URL: http://msdn.microsoft.com/ru-ru/library/windows/apps/hh700354.aspx (Дата обращение 10.03.2014)

156. Паронджанов С.Д. Методология создания корпоративных ИС// CIT форум образования (эл. журнал). - 2003. - № 4

157. Платонов Ю. Г. Анализ перспектив перехода информационных систем на сервисно-ориентированную архитектуру //Проблемы информатики. - 2011. - №. 4. - С. 56-65.

158. Попов, А. В. Объекшо-ориентировапный анализ, проектирование и программирование информационной системы университета / А. В. Попов, А. Л. Григорьева, А. Ю. Лошманов // Современные проблемы науки и образования (эл. журнал). - 2012. - № 6

159. Профессиональное программное обеспечение для построения схем - Microsoft Visio - Office.com URL: http://office.microsoft.com/ ru-ru/visio/ (Дата обращение 12.02.2014)

160. Репин В. Бизнес-процессы. Моделирование, внедрение, управление.// М.:Манн, Иванов и Фербер - 2010. - 512 с.

161. Соснин П.И., Афанасьев А.Н., Гайнулллин Р.Ф. Анализатор диаграматических моделей потоков проектных работ на основе UML. РОСПАТЕНТ: свидетельство № 2012612447 от 6 марта 2012г.

162. Афанасьев А.Н., Гайнулллин Р.Ф. Синтаксически-ориентированный анализатор UML-диаграмм для MS Visio. РОСПАТЕНТ: свидетельство № 2012617248 от 13 августа 2012г.

163. Афанасьев А.Н., Брагин Д.Г., Гайнулллин Р.Ф. Сетевая система анализа и контроля диаграмматических моделей потоков проектных работ компьютеризированных систем. РОСПАТЕНТ: свидетельство № 2013661176 от 29 ноября 2013г.

164. Соснин П.И., Маклаев В.А. Инструментальные средства для спецификации концептуализаций в проектировании автоматизированных систем// Онтология проектирования - 2012г., № 1 - С. 39-53

165. Степанов О. Г., Шалыто А. А., Шопырип Д. Г. Предметно-ориентированный язык автоматного программирования на базе динамического языка Ruby //Информационно-управляющие системы. - 2007. - №. 4.

166. Фу К. Структурные методы в распознавании образов.— М.: Мир, 1977.—319 с.

167. Черемных С. В. Структурный анализ систем: IDEF-технологии. // М.: Финансы и статистика - 2003.

Приложение 1.Схема потоков бизнес-процессов этапа «Деловое моделирование» в методологии 1ШР

БП1

>

БП1

>

БП1

>

БП1

БГП|>--} [—»БГП.^

БПЗ

зЪ-1

>

БП1

>

БП2

->|БП2Л>

БП1

>

БП7

>

БП2

>п

БП5

БП6

Рис. П1.1. Схема потоков бизнес-процессов этапа «Деловое моделирование» в методологии ЯУР

БП 1.1. БП 1 БП 1 БП 1 БП 1 БП 1 БП 1 БП 1 БП 1 БП 1 БП 1 БП 1.2. БП 1 БП 1 БП 1 БП 1 БП 1 БП 1

Оценка целевой организации

1.1. Инициализация оценивания

1.2. Идентификация совладельцев Описание структуры целевой организации Идентификация ключевых лиц Оценивание бизнес-идеи и бизнес-стратегии Измерение целевой организации Идентификация скрытых причин для изменений Оценивание объёма изменений Идентификация проблем Оформление заключения

Постановка и регулирование целей 2.1. Определение границ целевой организации Идентификация совладельцев Сборка соглашения по целям Идентификация накладываемых ограничений Формулирование проблемы Оформление приоритетных областей

1.3.

1.4.

1.5.

1.6.

1.7.

1.8.

1.9.

1.10.

2.2.

2.3.

2.4.

2.5.

2.6.

БП 1.2.7. Формирование документа «Деловое видение» БП 1.2.8. Оценивание результатов БП 1.3. Формирование общего бизнес БП 1.3.1. Нахождение общих термов БП 1.3.2. Оценивание результатов БП 1.4. Определение деловой архитектуры

БП 1.4.1. Создание обзора деловой архитектуры

БП 1.4.2. Описание сил, влияющих.на деловую архитектуру

БП 1.4.3. Ранжирование деловых вариантов использования

БП 1.4.4. Наметка контуров организации верхнего уровня

БП 1.4.5. Идентификация бизнес-процессов

БП 1.4.6. Наметка контуров приоритетных реализаций деловых

прецедентов БП 1.4.7. Определение географического вида БП 1.4.8. Определение человеческих ресурсов БП 1.4.9. Оценка результатов БП 1.5. Идентификация бизнес-целей

БП 1.5.1. Анализ конкурентного позиционирования БП 1.5.2. Определение бизнес-целей БП 1.5.3. Описание измерений БП 1.5.4. Структуризация бизнес-целей БП 1.5.5. Оценивание результатов БП 1.6. Обслуживание бизнес-правил БП 1.6.1. Сбор исходных данных БП 1.6.2. Выражение правил БП 1.6.3. Оценивание результатов БП 1.7. Поиск бизнес-акторов и деловых прецедентов БП 1.7.1. Поиск бизнес-акторов БП 1.7.2. Поиск деловых прецедентов БП 1.7.3. Рассмотрение бизнес-целей БП 1.7.4. Ранжирование деловых прецедентов БП 1.7.5. Создание эскиза бизнес-процессов деловых прецедентов БП 1.7.6. Описание взаимодействия бизнес-акторов и деловых прецсндентов

БП 1.7.7. Группирование деловых прецедентов и бизнес-акторов БП 1.7.8. Представление модели деловых прецедентов БП 1.7.9. Разработка обзора модели деловых прецедентов БП 1.7.10. Оценка результатов

Название Владелец Цель Результат Вход Выход

Бизнес-моделирование

Создание общего словаря Бизнес-аналитик Утверждение тезауруса Предметной области Глоссарий Документация предметной области Словарь общий определений

Определение входных требований Бизнес-аналитик Утверждение бизнес-целей Раскадровка требований Экономическое обоснование проекта Запросы заказчиков системы

Разработка видения Бизнес-аналитик Разработка видения системы Видение Экономическое обоснование проекта Запросы заказчиков системы Бизнес-видение

Исследование субъектов системы Бизнес-аналитик Анализ субъектов системы Список участников системы Запросы заказчиков системы Модель прецедентов

Разработка дополнительных спецификаций Бизнес-аналитик Детальный анализ системы Расширение спецификаций системы План итераций Запросы заказчиков системы Дополнительные спецификации

Название Владелец Цель Результат Вход Выход

Управление зависимостями Бизнес-аналитик Утверждение зависимостей План управления требованиями Модель прецедентов Дополнительные спецификации План управления зависимостями

Анализ требований

Определение приоритетов вариантов Архитектор Разработка стратегии реализации План проведения работ План итераций Модель прецедентов Список рисков Архитектура системы Требования к ПО

Детализация вариантов Технически й писатель Детализация список Детализирован ные варианты Варианты План Итераций Детализированные варианты

Требований к ПО Технически й писатель Определение требований к ПО Список ПО Видение План итераций Спецификации ПО Требования ПО

Контроль требований Технически й контролер Контроль требований Непротиворечи вые требования к системы План итераций Экономическое обоснование проекта Требование ПО Проверки записи

-о оо

Название Владелец Цель Результат Вход Выход

Анализ и проектирование

Определение Контекста системы Архитектор -аналитик Выявление окружения системы Контекстное окружение системы Модель анализа Дополнительные спецификации Анал итич еская модель Операции

Архитектурный анализ Системный архитектор Анализ архитектуры Детализация архитектуры Видение Глоссарий Список рисков Модель проекта Модель развертывания Модель анализа

Построение концепции системы Системный архитектор Построение концепции Концепция системы Архитектур а ПО Модель развертывания Модель проекта Доказательство концепции архитектуры

Оценка жизнеспособное ти системы Системный архитектор Оценка концепции Оценка доказательства концепции Доказательство концепции архитектуры Видение Глоссарий Проверки записи

Название Владелец Цель Результат Вход Выход

Анализ прецедентов Архитектор проектиров щик Анализ вариантов Модель вариантов Варианты Модель анализа Реализация прецедентов

Анализ операций Архитектор проектиров щик Анализ Операции Реализация операции Модель анализа Операция Модель прецедентов Модель анализа Модель прецедентов

Проектирование интерфейса Проектиров щик интерфейсо в Разработка шаблона интерфейса Эскиз прототипы интерфейсов Требование ПО Схема навигации

Создание прототипа интерфейса Проектиров щик интерфейсо в Разработка интерфейсов Прототипы интерфейсов Схема навигации Прототипы интерфейсов

Проектирование подсистем Архитектор проектиров щик Разбиение на подсистемы Список подсистем Интерфейсы Список прецедентов Модель проекта

Приложение 2. Обзор редакторов диаграмм UML

сз &

СЗ

я Ч

Семантическая ошибка

Циклическая связь

Взаимоисключающие связи

Множественная связь

Ошибка удаленного ко!ггекста

Ошибка передачи управления + + + + + + +

Ошибка кратности входов + + + + + + +

Ошибка кратности выходов + + +

Недопустимая связь +

Ошибка связи + + + +

Ошибка уровня доступа +

Ошибка передачи сообщения +

Ошибка делегирования управления +

Количественная ошибка элементов диаграммы + + +

Исключающие связи неверного типа +

Вызов направленный в линию жизни + +

Оборванная связь +

Нарушение кратности зависимостей + + +

Взаимоисключающие связи +

Синхронный вызов до получения ответа + + +

Aris Toolset Alto va UModel Artisan Studio 'и С i—i н < Borland Together BOUML Eclipse UML2 Tools Э1А О О 'x, о С и « "С & <D С щ Gaphor GenMyModel MagicDraw UML

Семантическая ошибка -

Циклическая связь

Взаимоисключающие связи

Множественная связь

Ошибка удаленного контекста

Ошибка передачи управления + + + + + +

Ошибка кратности входов + + + + + +

Ошибка кратности выходов + + ' + +

Недопустимая связь + + +

Ошибка связи +

Ошибка уровня доступа +

Ошибка передачи сообщения +

Ошибка делегирования управления +

Количественная ошибка элементов диаграммы +

Исключающие связи неверного типа +

Вызов направленный в линию жизни + + +

Оборвашия связь +

Нарушение кратности зависимостей + + +

Взаимоисключающие связи +

Синхронный вызов до получения ответа + + +

Modelio Modelus Suite Objecteering Papyrus PlantUML Poseidon for UML Prosa UML Modeller Rational Rhapsody Rational Software Architect Rational Software Modeler RTDS MS Visio Visual Paradigm for UML

Приложение 3. Многоуровневая грамматика комплексных ЦМЬ-диаграмм

Таблица П3.1. Многоуровневая грамматика комплексных иМЬ диаграмм

пп Комплекс Квази-терм Комплекс -преемник Комплекс -возврата 11У - отношение

1. г'о И, г'з \¥1(?(|))/\¥з(?(1) == 0 ||?(2)=0)

2. Л Wl(it(1УWз(it(1) = 0 ||?(2)=0)

3. Г15 ХУ^'^ЛУз^1' == 0 || ¡<(2)^ 0 )

4. Е[ г1 Г 6 0

5. ЕЕ г1 г 7 0

6. ВЙ г1 Г 8 0

7. 4 Г 0 г 3 \¥1(?(1))/\Уз(?(1) = © ||?(2)==0)

8. "КЕ 4 Г 0 г'4 0 || ,«2)= 0 )

9. Ис 4 Г 0 г'5 Wl(itU))/ \У3(1,(1,== 0 || ¡'(2) = 0 )

10. 11 4 Г 0 г1 Г 6 0

11. Ш 4 Г 0 г1 г 7 0

12. 1о 4 Г 0 г' Г 8 0

13. Г1, ЯА г'2 0

14. Ис, Г15 0

15. Г12 с Г 0 0

16. г'з с г 0 0

17. Л с г 0 0

18. г'з с г'о 0

19. А Г1! 0

20. Л С г1 г 0 \¥1(?(2))Л¥З(1К1) = 0 ||?(2)=0)

21. г'7 С г'о \У1а,(2))/\Уз(?(1) = 0 ||?(2)=0)

22. Г1« с г'о \¥,(?(2У\¥3(?(1) = 0 ||^(2)==0)

23. А г', 0

Таблица ПЗ. 1. Многоуровневая грамматика комплексных UML диаграмм (продолжение)

IIII Комплекс Квази-терм Комплекс -преемник Комплекс -возврата RV- отношение

24. Л Linke Г2! Wi(it(1))AV3(it(1)== 0 ||?(2)=0)

25. Linkn 1*2 Wi(ft3,yW3(?(3) = 0 ||i'(4)== © )

26. LinkG wi(i(5iyw3(ii5>= 0 || ¡'(б)== 0 )

27. LinkA 1 Га W,(?(7))/W3(f(7)= © || j<(»>= 0 )

28. Linkte 1*5 w,(it(9))/w3(it(9)== 0 у ¿t(io)__ 0 )

29. Axor Л 0

30. Л С ■у Г 0 W,(it(2))/W3(i,{1)== 0 || f(2)= © )

31. Л С л W,(it(4))/W3(i(3)== 0 ||jK4)=0)

32. 1*3 С 1 Го W1(i,(6))/W3(i,(5)== 0 || i«6)== © )

33. 1*4 С Л Wi(itw)/W3(i,(7)== 0 || i<(8)= 0 )

34. 1*5 С Л 0 || i«(10)= 0 )

35. Linke 7 Г1 W,(tlm)

36. С Л W2(tlm)

37. Л С Л 0

38. S г 0 L Л 0

39. Г3! М г'з 0

40. МА Л 0

41. Mr 1*5 0

42. L Л 0

43. J г 2 М Wi(m,(1))

44. МА А. Wi(m,(2))

45. Mr 0

46. L Л W2(mu2>)

47. М г4о Г*3 Wi(mt(1))

48. МА г4о Л Wi(m,(2))

ТаблицаП3.1. Многоуровневая грамматика комплексных иМЬ диаграмм (продолжение)

Комплекс Квази-терм Комплекс - Комплекс - 11У - отношение

пп преемник возврата

49. Мк г40 ©

50. Ь г40 Л \¥2(т,(2})

51. з г 3 Я Г3! 0

52. Р Л ©

53. Л Р Л 0

54. Р Л \У2(т,(1))

55. 3 Г 6 Р \¥1(т'(,))

56. V 1*7 0

57. 3 Г 7 и 0

58. МЛ Л 0

59. 4 Г 0 1аЬе1 Г 3 0

60. Г4. 1аЬе1 Г4з 0

61. 1аЬе1 Л 4 Г 3 0

62. Г42 1аЬе1р г4 г 3 Ж2(ЬШ)

63. 1аЬе1\у г4 г 3 Щ(Ь2т)

64. Ыэе^ Г4з Щ(д3т)

65. 1аЬе1ь Г4з w2(b 2у \¥3(т' -т1(3))

66. г4з А Г4, 0

67. Р Г4, Ж, (Л)

68. W Г42 >У,(1и,)/т)/ W2(e,(1))

69. Ж Г42 \¥1(2и'2))ЛУ2(1и;г))

70. Я г4, ХУ^Д1"1)/ \У3(к>1)

71. ь Г4 2 ^2(е1(2))

72. ь Г42 ^^(тсСт'^))/ Wз(m,(2)<kt(3))

73. Ак Г4 к 0

74. г50 А г5« 0

75. 1аЬе1 I3. 0

Таблица ГОЛ. Многоуровневая грамматика юмплексных ЦМЬ диаграмм (продолжение)

пп Комплекс Квази-терм Комплекс -преемник Комплекс -возврата ЯУ - отношение

76. 1аЬе1г Л \¥1(11т)

77. Л А Л 0

78. кЬеЬ Л \¥1(11т)

79. Г52 I Г5з \¥2а1га))

80. г5з А Г5! 0

_Таблица П4.1 Процедуры онтологического разбора

Квазитерм Текстовая единица Местоположение в модели

Use Case Diagram

Actor Подлежащее actor

Use Case Сказуемое action

Подлежащее content