2014 Электротехника, информационные технологии, системы управления № 11 УДК 004.65
А.В. Речкалов1, Г.Г. Куликов1, В.В. Антонов1, А.В. Артюхов2
Уфимский государственный авиационный технический университет,
Уфа, Россия
2ОАО «Уфимское моторостроительное производственное объединение»,
Уфа, Россия
РАЗРАБОТКА ФОРМАЛЬНОЙ МОДЕЛИ ПРОИЗВОДСТВЕННОГО ПРОЦЕССА ДЛЯ ОРГАНИЗАЦИИ ПРОЕКТНОГО И ПРОИЗВОДСТВЕННОГО МЕНЕДЖМЕНТА С ПРИМЕНЕНИЕМ ИНТЕЛЛЕКТУАЛЬНОЙ КИС
Рассмотрены проблемы построения формальной математико-семантической модели предметной области (организация производственной деятельности). Эволюция информационных систем рассматривается с позиции их встраивания в действующую систему бизнес-правил производственного предприятия путем формализации последних. До настоящего времени остаются неисследованными многие теоретические задачи, связанные с моделированием бизнес-процессов, их дальнейшим информационным сопровождением (совместно с семантическими правилами их регламентации) в корпоративных информационных системах (КИС). Предложен вариант моделирования предметной области с применением методов, учитывающих нечеткость описаний модели исследуемого объекта, в соответствии с положениями системной инженерии.
Ключевые слова: модель предметной области; семантическая модель; производственная система; корпоративная информационная система (КИС); интегрированная обработка информации; категория множеств; атрибутивная трансляция.
A.V. Rechkalov1, G.G. Kulikov1, V.V. Antonov1, A.V. Artuhov2
Ufa State Aviation Technical University, Ufa, Russian Federation Ufa Engine Industrial Association, Ufa, Russian Federation
DEVELOPMENT OF THE FORMAL MODEL OF THE PRODUCTION PROCESS FOR ORGANIZATION
OF PROJECT AND PRODUCTION MANAGEMENT USING INTELLIGENT KEYS
The article considers the problem of constructing a formal mathematical and semantic domain model (organization of production activities). The evolution of information systems is considered from the perspective of their integration into the operating system business rules production enterprise by
formalizing the last. Up to the present time, there remain many unexplored theoretical problems associated with the modeling of business processes further information support (in conjunction with semantic rules of the regulation on the corporate information systems (CIS). A variant of the domain model using methods that take into account the vagueness of the descriptions of the model of the investigated object, in accordance with the provisions of systems engineering.
Keywords: domain model; semantic model; production system; corporate information system (CIS); integrated information processing; category of sets; attribute translation.
Введение. В настоящее время широкое применение находит процессный подход для организации проектного и производственного менеджмента, основанный на формальных моделях жизненного цикла (ЖЦ) систем. Многие виды продукции представляют собой многосложные системы, основанные на взаимодействии совокупности управленческих и технических действий. Их производство осуществляется с помощью процессов, имеющих разнообразные технические и управляющие «входы» и «выходы». При этом возрастает роль стандартов, используемых на всех стадиях менеджмента, прежде всего потому, что стандарты обеспечивают возможность взаимодействия различных компонент между собой. Чем более сложной является архитектура организации, тем консолидирующая роль стандартов становится актуальнее. Принято различать стандарты де-юре, т.е. разработанные и поддерживаемые официальными органами по стандартизации, такими как Международная организация по стандартизации - ISO, и стандарты де-факто, основанные на существующем широком распространении технологии или методологии. Наибольший интерес представляет стандарт ISO/IEC 15288 [1], который является рамочным (Framework), т.е. задает только общие требования к реализации процессов, связанных с разработкой и поддержкой жизненного цикла систем. Как правило, он используется в качестве методологической базы для дальнейшей конкретизации управления процессами предприятия. При этом структура жизненного цикла систем представима в виде «дерева» процессов (рис. 1).
Модель бизнес-процессов для организационного, проектного и производственного менеджмента. Необходимая номенклатура бизнес-процессов (БП) и структура их связей для эффективной организации проектной и производственной деятельности определяются классификациями и требованиями международных стандартов ISO/IEC 15288, ISO 9000, и др. Модель ЖЦ системы обеспечивается соответствующими процессами, сегментированными стадиями их выполнения. Функция процесса описывается его специфической целью и набором действий.
Процесс по ходу жизненного цикла может использовать другой процесс для специализированной функции. При этом если процесс А вызывается только одним процессом В, то А е В. Если функция реализуется более чем одним процессом, то эта функция сама становится процессом.
Жизненный цикл системы
Предприятие
I
Управление:
• средой
• инвесторами
• жизненным циклом системы
• ресурсами
• качеством
V_/
Договорные отношения
Проектные активности
• планирование и контроль
• обследование
• принятия решения
Рис. 1. Структура активностей стандарта 1БОЛЕС 15288
Таким образом, каждый процесс имеет цели, выходные продукты, ряд предписанных действий, которые состоят, в свою очередь, из обязательно выполняемых заданий. Процессы, определяемые в соответствии со стандартом, образуют полное множество, из которого организация может конструировать модели жизненного цикла сложных систем, соответствующие своим потребностям, выбирая по необходимости любое приемлемое подмножество таких процессов. Процессы жизненного цикла системного инжиниринга делятся на контрактные процессы и процессы, вложенные друг в друга (рис. 2).
Это организационно-обеспечивающие процессы, внутри них проектные процессы, а уже внутри последних технические процессы (выполняющие работу). Обозначим процессы соглашения - РБ, процессы предприятия - РР, процессы проекта - РРЯ, технические процессы - ТР. Еще раз подчеркнем, что каждый процесс имеет цели, выходные продукты, ряд предписанных действий, которые состоят, в свою очередь, из обязательно выполняемых заданий. Человек в процессе может выступать в качестве и пользователя, и элемента системы.
Технологические активности
• приобретения
• поставки
I_
Управление:
• рисками
• конфигурацией
• информацией
Рис. 2. Множество процессов организации
Основные информационные объекты, используемые в бизнес-процессах структурного подразделения, могут быть сведены в матрицу операций над ресурсами и приведены в таблице. Для информационного объекта определяется структура его жизненного цикла, назначаются роли и их исполнители в соответствии с организационной структурой.
Фрагмент матрицы операций над ресурсами
Первичные информационные процессы £ 8 н а в 8 еи н а в е и н а в о
Информационные объекты ю О сЗ & о е р П о & ч о ^ I о п с И
Обслуживаемая территория
Вид учета 1
Объект учета 1 V V V
Объект учета 2 V V V
Вид учета 2
Объект учета 1 V V V
Объект учета 2 V V V
Объект учета 3 V
Вид учета 3
Объект учета 1 V V V V
Объект учета 2 V V V
Объект учета 3 V
(1)
Для инициализации и управления исполнением бизнес-процессов они дополняются необходимыми функциями управления (нормирование, планирование, регулирование, учет) и соответственно ролями и исполнителями этих функций.
Таким образом, за каждым бизнес-процессом с информационным объектом закрепляется и процесс управления:
Г MOR = (IO, FIP) MFU = (IO, FU) MR = ( Roles, FU) 1 [BP = (IO, FIP, OS) PU = (BP, FU, OS) J ,
где IO - множество информационных объектов, FIP - множество первичных информационных процессов, FU - множество функций управления, MOR - матрица операций над ресурсами, MFU - матрица функций управления информационными объектами, MR - матрица ролей для функции управления, BP - бизнес-процесс, PU - процесс управления, OS - множество штатных единиц (штатная структура).
Повышение степени структурной и параметрической адекватности модели объекта учета осуществляется путем регулярной организации анализа функциональной составляющей системы учета. Основные аспекты представлены на рис. 3.
Рис. 3. Функциональная структура учетной системы в КИС
Обрабатываемые данные могут быть представлены в виде конечных последовательностей знаков и цифр, взятых из некоторого конечного алфавита N. Процесс обработки может быть представлен в виде преобразования входных данных V в выходные У. Здесь V = {v1,v2,..., vN},
а F = {/1,/2,..., fN} , У = { и,у2,...,УN,} (рис. 4).
Рис. 4. Формальное представление преобразователя входных данных в выходные
Могут быть использованы различные подходы, структурирующие предметную область и моделирующие ее, например, с помощью описания:
- функциональной структуры - модель SADT (IDEF0);
- последовательности выполняемых действий - модель IDEF3;
- передачи данных между структурными блоками - диаграммы потоков данных (DFD);
- отношений между данными - модель ERM.
Однако в любом случае, при информационном подходе для формализации предметной области, первичными являются категории объектов и отношения между ними - функторы, которые тоже образуют отдельную категорию, т.е. формально система отношений может быть представлена множеством объектов предметной области и множеством отношений между ними [2, 3].
Теоретико-множественная модель бизнес-процессов для организационного, проектного и производственного менеджмента. Процессы соглашения PS состоят из процесса приобретения PSpr
и процесса поставки PSpo. При этом процесс приобретения состоит:
- из цели процесса приобретения PSlpr = {pr/} ;
- результата процесса приобретения PS2pr = {pr;2,..., pr72};
- деятельности в процессе приобретения PS3pr = {pr;3,...,pr83}.
Процесс поставки состоит:
- из цели процесса поставки PSlpo = {po1};
- результата процесса поставки PS2po = {po;2,...,po7};
- деятельности в процессе поставки PSpo = {po3,...,po^}.
Имеет место формула, которая определяет отношения между организациями в виде упорядоченного множества:
ps = (Р8рг, Р8ро) = ({га;, га;, га;} ,{га;, га;, га;}). (2)
Таким образом, процессы соглашения образуют класс объектов, для каждой пары объектов которого и Р^2 задано множество
морфизмов Иош(Р81,Р£2), для каждой пары которых (морфизмов), например gPS е Иот (РБ1, PS2) и /р£ е Иот(PS 2,Р^3), определена их композиция gPS ° /Р8 е Иот(РБ1,PS3), т.е. процессы соглашения образуют категорию множеств.
Процессы предприятия РР включают в себя:
а) процесс управления средой предприятия РРрг, который состоит из
цели процесса РР1 = {ърг;1}, результата процесса РР^рг = {ърг;2, ърг22, ърг32} и деятельности в процессе РРрг = {ърг13,..., ърг63};
б) процесс управления инвестициями РРпп%,, который состоит из цели процесса РРПпу = {пу1}, результата процесса РР^ = {пу2,..., Пу2} и деятельности в процессеРРПЮ = {шу3,...,шу3} ;
в) процесс управления процессами жизненного цикла системы РРС, который состоит из цели процесса РР1^ = ^с^1}, результата
процесса РР^ = {gcs12,..., gcs52} и деятельности в процессе
РР3» = кс*13,.., gcs73};
г) процесс управления ресурсами РРга, который состоит из цели процесса РР^ = {г^1}, результата процесса РРГ2 = {г^2, гъ32} и деятельности в процессе РРГЪ = {г^3,..., гъ5};
д) процесс управления качеством РРкк, который состоит из цели процесса РР^ = {как'}, результата процесса РР^ = {кск12,...,кск62} и деятельности в процессе РР3к = {кск13,..., кскб}.
Имеет место формула, которая определяет отношения между процессами организации(предприятия) в виде упорядоченного множества:
РР = ( РР^Г , РР1Ш, РРс , РР , РРксь) , (3)
где
РР = {РР1 РР2 ,РР3 }, рр = {рр1 ,рр2 ,рр3 },
¿рг I ¿рг? ¿рг' ¿рг У 5 гт У- гт^ гт У '
рр = {рр1 ,рр2 ,рр3 }, рр- = {рр-1,рр-2,рр3},
^с^ ^ gcs? gcs? gcs > 1 гб I га' ГБ > '
рр = {рр1 рр2 рр3 }
7 ^ ксЪ \ 1 кск'1 1 кск'1 1 кск > ■
Таким образом, процессы предприятия образуют: класс объектов, для каждой пары объектов которого РР1 и РР2 задано множество мор-
физмов Нот(РР1,РР2), для каждой пары которых (морфизмов), например gрр е Нот(РР1,РР2) и /рр е Нот(РР2,РР3), определена их композиция gрр о /рр е Нот(РР1,РР3), т.е. процессы предприятия образуют категорию множеств.
Процессы проекта РРЯ состоят из следующих процессов:
а) процесс планирования проекта РРРррг, который, в свою
очередь, состоит из цели процесса РР^]ррг = {Бррг11}, результата процесса РРЯ,рррг = {Бррг12,...,БррГ} и деятельности в процессе РРЯ3ррг =
б) процесс оценки проекта РРЯос, который, в свою очередь, состоит из цели процесса РРЯос = {ос\}, результата процесса РРЯ2с = {ос2,...,ос:2} и деятельности в процессе РРЯ^ = {ос\,..,ос^} ;
в) процесс контроля проекта РРЯсИ, который, в свою очередь, состоит из цели процесса РРЯ°М = {сМ\}, результата процесса РРЯ1, = {сГ2,..., сГ42} и деятельности в процессе РРЯ^ = = {сГг/3,..., с Гг/83};
г) процесс принятия решений РРЯ,, который, в свою очередь, состоит из цели процесса РРЯ° = {г,1}, результата процесса РРЯ2 = {г,2,..., г,2} и деятельности в процессе РРЯ3 = {г,3,..., г,^};
д) процесс управления рисками РРЯГБк , который, в свою очередь, состоит из цели процесса РРЯ°к = {г,к1}, результата процесса РРЯ2к = {г,к12,..., г,к52} и деятельности в процессе РРЯ3,к = = {г,к3,..., г,^};
е) процесс управления конфигурацией проекта PPRCfg, который, в свою очередь, состоит из цели процесса PPRCfg = {f2}, результата процесса PPRf = {cfg2,...,cfg26} и деятельности в процессе PPRf = = {cfgi3,..., cfg4};
ж) процесс управления информацией PPRin, который, в свою очередь, состоит из цели процесса PPR3n = {П}, результата процесса PPR2n = {inC,...,in22} и деятельности в процессе PPR3n = {inC,...,/n13i} .
Имеет место формула, которая определяет отношения между процессами проекта в виде упорядоченного множества:
PPR = (PPRsppr, PPRoc, PPRctri, PPRrs, PPRrs,, PPRcfg, PPRi^, (4)
где PPRppr = {PPR)ppr, PPRRCPPr, PPRsppr },-, PPRin = {PPRn, PPRfn, PPRCn}.
Таким образом, процессы проекта образуют класс объектов, для каждой пары объектов которого PPRC и PPR2 задано множество мор-
физмов Hom(PPRC,PPR2), для каждой пары которых (морфизмов), например gPPR е Hom(PPRC,PPR2)и fPPR е Hom(PPR2,PPR3) определена их композиция gPPR о fPPR е Hom(PPRC,PPR3), т.е. процессы проекта
образуют категорию множеств.
Технические процессы ТР включают в себя:
а) процесс определения требований правообладателей TPtot, который состоит из цели процесса TPpot = {totj1}, результата процесса TP^ = {totC2,..., tot22} и деятельности в процессе TPCt = {totC3,..., totC32} ;
б) процесс анализа требований TPtpa, который состоит из цели процесса TP^at = {tatj3}, результата процесса TP^ = {tat32,...,tatи деятельности в процессе TPlt = {tat;1,..., tat83};
в) процесс проектирования архитектуры TPtpa , который состоит
из цели процесса TPppa = {tpa;3}, результата процесса TPpa =
2 2 3 3 3
= {tpa2,..., tpa2} и деятельности в процессе TP = {tpa2,..., Zpa20};
г) процесс реализации элементов системы TPres, который состоит из цели процесса TP]es = {res;}, результата процесса TP2,, = = {resj2,...,res24} и деятельности в процессе TP^es = {resf,...,res3};
д) процесс комплексирования TPcom, который состоит из цели процесса TP1om = {com;}, результата процесса TP2om = {com2,..,com2} и деятельности в процессе TP^om = {com;3,...,com^} ;
е) процесс верификации TPver, который состоит из цели процесса TPl = {ver;;}, результата процесса TP2er = {ver;2,...,ver42} и деятельности в процессе TP^ = {ver;3,..., ver73};
ж) процесс передачи TPper, который состоит из цели процесса TPjer = {per;;}, результата процесса TPper = {per;2,...,per62} и деятельности в процессе TPper = {per;3,..., per83};
з) процесс валидации TPval, который состоит из цели процесса TP]ai = {va/;;}, результата процесса TP2al = {va/;2,...,va/42} и деятельности в процессе TP^ = {va/;3,...,va/73} ;
и) процесс функционирования TPf, который состоит из цели процесса TPJ = {//}, результата процесса TPf = {fj2,...,/42} и деятельности в процессе TPf = {fj3,..., fjj};
к) процесс технического обслуживания TPto, который состоит из цели процесса TP]o = {to;}, результата процесса TP^ = {to;2,...,to2^} и деятельности в процессе TP^ = {to;3,...,to^} ;
л) процесс изъятия и списания TPisp, который состоит из цели процесса TP;p = {/sp;}, результата процесса TP2p = {isp;2,...,isp25} и деятельности в процессе TP* = {isp;3,...,ispoO} .
Имеет место формула, которая определяет отношения между техническими процессами в виде упорядоченного множества:
TP = (TPtot,TPpa,TPtpa,TPres,TPcom,TPver,TPper,TPval,TPf,TPto,TPiSp), (5) где TPtot = {TPtOt, TPl, TP3t},..., TPjSp = {TP;, TP2p, T^p }.
Таким образом, технические процессы образуют класс объектов, для каждой пары объектов которого ТР1 и ТР2 задано множество мор-
физмов Нот(ТР1, ТР2), для каждой пары которых (морфизмов), например gTP е Нот(ТР1,ТР2) и /тр е Нот(Т?2,ТР3) определена их композиция gTP о /ТР е Нот(ТР1,ТР3), т.е. технические процессы образуют категорию множеств.
Конструктивной формой описания процессов следует считать также описание в виде синтаксических диаграмм, представляющих собой графическое представление. Из наиболее известных и широко применяемых можно назвать методику структурного анализа и проектирования БАОТ и основанную на нем ГОЕБО, а также относительно новую методологию описания бизнес-процессов ВРММ При этом для описания сложных процессов стандарт ВРМК вводит новые графические элементы, определяющие:
- сложные ветвления, допускающие несколько параллельно запускаемых потоков (с точками синхронизации) или ветвления по произошедшему событию;
- события времени или внешние события;
- входящие или исходящие сообщения;
- различные варианты подпроцессов, включая повторяющиеся или содержащие нечеткие правила исполнения.
Все это позволяет повышать сложность диаграмм только там, где это диктуется сложностью самого процесса.
Теоретико-множественная модель стадий ЖЦ системы объекта производства. Система в течение жизни проходит через определенные стадии, которые будут определять структуру модели ЖЦ объекта производства [1]. Стадия - период в пределах ЖЦ системы, относящийся к состоянию системного описания или непосредственно к самой системе. Стадии определяются значительными изменениями системы, в соответствии с прохождением значимых этапов ее развитии. Модель ЖЦ может включать одну или несколько моделей стадий и собирается в виде последовательности стадий, которые могут перекрываться или повторяться в зависимости от сферы применения, ее размеров, сложности. Стадии жизненного цикла образуют структурную основу для детализированного моделирования жизненных циклов системы с использованием типовых процессов ее
жизненного цикла. Каждая стадия отображает значимый прогресс и достижение запланированных этапов развития системы на протяжении всего жизненного цикла и дает начало важнейшим решениям относительно входов и выходов. Эти решения используются организациями для учета неопределенностей и рисков, непосредственно связанных с затратами, сроками и функциональностью при создании или применении системы. Таким образом, стадии обеспечивают организации структурой работ, в рамках которых управление предприятием обладает высокой способностью для обзора и контроля проекта и технических процессов.
Связь между процессами жизненного цикла может быть представлена в виде диаграммы, приведенной на рис. 5.
Рис. 5. Схема связей между процессами жизненного цикла
Обобщая результаты проведенной выше формализации, можно сделать вывод, что присутствует отображение категорий множеств, сохраняющее внутреннюю структуру этих категорий-множеств, т.е. связь между стадиями ЖЦ и соответствующими процессами жизненного цикла в свете положений стандарта КОЛЕС 15288 эквивалентна роли функторов, которые ставят в соответствие объекту одной категории объект другой категории, например, Еррк : РРЯ ® РР ставит в соответствие каждому процессу проекта процесс организации (организационный процесс) РррК (РРЯ) е РР, соответственно каждому морфизму
/ррк е Иат(РРЯ1,РРЯ2) морфизм ^(/ррк): ^(РРЯ1) ® Рррк(РРЯ2).
При этом выполняется условие РррК (/ррК) о ^ (gррR) = РррК (/ррК о gррR).
В качестве примера рассмотрим следующие стадии жизненного цикла:
- стадия замысла 21;
- стадия разработки 22;
- стадия производства 23;
- стадия применения 24;
- стадия поддержки применения 25;
- стадия прекращения применения и списания 26; Характеристику процесса можно представить в виде множества
пар {(Лг, Д.),г = 1, ...п] , где Лг - непустое множество имен свойств (атрибутов), - множество значений соответствующих атрибутов. Значения разбиваются на классы объектов, которые взаимодействуют друг с другом на основе правил. Пусть п - множество этих правил. На
множестве атрибутов могут быть установлены отношения О = {О, О ],
которые делятся на количественные О и качественные О, для которых определено множество типов оценки, например Т = {"проекты продвигаются в направлении достижения поставленных целей", "проекты ведутся согласно соответствующим директивам", "проекты реализуются в соответствии с планами", "проекты остаются жизнеспособными"}. Тогда любое правило оценки может быть представлено кортежем п = (О, Т). Таким образом, совокупность информационных
характеристик процесса {(Лг, Д.), г = 1, ...п], установленных отношений О ={(, (О] и правил установления отношений п = (О,Т) может быть
использована для формального определения процесса в виде следующего кортежа компонентов:
2 ={( 4, Д.),{(, О}, Т], г е N. (6)
Стадия замысла 21 начинается с момента осознания потребности или замысла создания новой или модификации существующей системы.
Целью стадии замысла является оценка новых возможностей в деловой сфере, разработка предварительных системных требований и осуществимых проектных решений. Результаты стадии могут быть использованы в качестве входной информации, как для последующих стадий, так и посредством обратной связи для рекурсивного анализа внутри самой стадии.
Исследуемые параметры:
- информация о состоянии рынка и экономического анализа 21, = {яг?,..., ¿г"1};
- информация о приобретающей стороне 2/2 = {яг?,...,яг"2};
- информация о приблизительных расчетах (таких как затраты, сроки, параметры рынка и логистики) 213 = {яг?,..., яг"3};
- результаты стадии, используемые для рекурсивного анализа 21 4 = {я?,..., яг46}:
• установление новых замыслов, в которых предлагаются новые возможности, увеличение производительности или снижение общей стоимости собственности правообладателей в течение жизненного цикла системы;
• оценка осуществимости замысла и решений для рассматриваемой системы в течение жизненного цикла, включая обеспечивающие системы, с учетом как технических, так и деловых целей правообладателя;
• уточнение результатов стадий в модели жизненного цикла системы;
• планы идентификации, оценки и уменьшения рисков для данной и последующих стадий модели жизненного цикла системы;
• удовлетворение критериям завершения данной стадии;
• санкционирование перехода на стадию разработки;
- результаты стадии, используемые для последующих стадий 2Ж1 = ^7}:
• подготовка и формирование базовой линии требований правообладателя и предварительных системных требований (технических спецификаций для выбранной рассматриваемой системы и пригодности спецификаций для предусмотренного способа взаимодействия между человеком и системой);
• уточнение результатов стадий в модели жизненного цикла системы;
• планы идентификации, оценки и уменьшения рисков для стадий модели жизненного цикла системы;
• идентификация и предварительная спецификация услуг, которые необходимо получать от обеспечивающих систем в течение жизненного цикла рассматриваемой системы;
• замыслы выполнения всех последующих стадий;
• планы и критерии завершения стадии разработки;
• планы идентификации, оценки и уменьшения рисков для данной и последующих стадий модели жизненного цикла системы.
Имеет место формула, которая определяет отношения между процессами в стадии замысла в виде упорядоченного множества:
^ = (2!1, И2, РР, РРЯ, ТР, Z/4, гЖ1,{01, ф, Т), (7)
где G1, Сг1, Т определены в соответствии с формулой (5) для стадии Z1.
Типовое описание процессов стадии замысла может быть представлено в виде диаграмм в форме, близкой к ВРМК или ГОЕБО (рис. 6). Таким образом, стадия замысла может быть представлена в виде класса объектов, для каждой пары объектов которого Z11 и Z12
задано множество морфизмов Иош(2\, Z12), для каждой пары которых (морфизмов), например, gZl е Иош(2\, 72) и е Иош(2\,713), определена их композиция gZi ° е Иoш(Z11, Z13). Следовательно, объекты
стадии замысла образуют категорию множеств.
Проводя аналогичные рассуждения для всех последующих стадий Z2- Z6, можем сделать аналогичный вывод [4, 5].
Представление деятельности организации в форме теоретико-множественной семантической модели, представленной системой приведенных формул, позволяет определить логические правила для формирования функционального взаимодействия бизнес-процессов как на стадиях ЖЦ проекта, так и в пределах отдельных стадий.
Логические правила функционального взаимодействия определяются прежде всего согласованием целей и планируемых результатов отдельных процессов и правилами их ресурсного обеспечения [6, 7, 8].
Нечеткие описания в структуре модели организации могут появиться в связи с неуверенностью эксперта, которая возникает в ходе классификации уровня факторов [9]. Эксперт фиксирует показатель и его количественный носитель. На выбранном носителе эксперт строит лингвистическую переменную со своим терм-множеством значений. Каждому значению лингвистической переменной сопоставляет функцию принадлежности уровня менеджмента тому или иному нечеткому подмножеству. Для каждого критерия может быть построена матрица, где по строкам располагаются отдельные количественные показатели, а по столбцам располагаются качественные уровни данных показателей.
Рис. 6. Диаграмма типового описания процессов стадии замысла в нотации ГОЕБО
На пересечении строк и столбцов располагается степень принадлежности текущего количественного уровня фактора качественному подмножеству, измеренная определенным образом. Тогда результирующий показатель получается как двойная свертка компонент построенной матрицы с предопределенными весами. Остается пронормировать результирующий показатель качественной оценки, и присвоить ему вес относительно совокупности всех прочих количественных показателей, включенных в оценку.
Формализуем разработанные условия и логические правила в виде матрицы (аналога матрицы Захмана), где по столбцам будем указывать стадии ЖЦ системы (продукта), а по строкам - бизнес-процессы, обеспечивающие указанные стадии.
Заполним ячейки матрицы соответствующими моделями бизнес-процессов из множества моделей, определяемых приведенными
формулами. Матрица, полученная таким образом, будет определять архитектуру формальной семантической модели деятельности организации во взаимодействии с окружающей бизнес-средой [5, 7]. Указанная матрица приведена на рис. 7.
Модель позволяет формировать как структуру ЖЦ проекта (продукта) в пространстве ЖЦ БП, так и структуру ЖЦ отдельных БП в контексте выполняемого проекта.
Последняя структура позволяет использовать ее в качестве семантических и логических требований при построении матриц Захмана для определения архитектуры информационной системы проектируемого БП.
Можно отметить, что каждая строка и каждый столбец такой матрицы, ввиду своих формально-логических свойств, образуют категории и могут быть определены в виде кортежа множеств: имен объектов строк-категорий - X ={х | / = 1,...,пх} и столбцов-категорий
У = {у | / = 1,..., п} , имен отношений Я ={г 11 = 1,..., пЯ} , в которые могут вступать эти объекты. Причем для каждой пары объектов
из строк-категорий Х и столбцов-категорий Y существует отношение (возможно, определенное нечетким образом) - множество морфизмов НотСтр (X, X j) и НотСт (Y, Yj). Для каждой такой пары морфизмов rj е НотСтр (Xi,Xj) и rjk е НотСтр (Xj, Xk) может быть определена композиция rij о rjk е НотСтр (Xi, Xk). Нетрудно показать, что между двумя
зафиксированными категориями на перечечении столбца и строки существует отображение, сохраняющее структуру категорий - функтор, а пересечение строк-категорий Х и столбцов-категорий Y образует категорию-ячейку.
Заключение. Обобщая результаты исследований, можно отметить, что в соответствии с положениями системной инженерии и ее стандарта ISO/IEC 15288 может быть построена целостная формальная семантическая модель производственного процесса с его детализацией до отдельных атрибутов и их значений (данных) в предметной области, определяемой экономической деятельностью, производственной деятельностью, МТС (логистикой) деятельностью и др. При этом семантическая архитектура информационной системы в форме эквивалентной модели (матрицы) Захмана будет определять общепринятую ортогональную логическую систему классификации базовых объектов предприятия как предметной области на категории-строки и категории-столбцы. Модель Захмана может быть расширена дополнительными измерениями, позволяющими интерпретировать ее в качестве OLAP-куба или совокупности OLAP-кубов. Очевидно, что каждый такой OLAP-куб будет удовлетворять свойствам категории множеств и при формализации предметной области на верхнем уровне может рассматриваться в виде объекта.
Библиографический список
1. ISO/IEC 15288:2008 Systems and software engineering. System life cycle processes. - URL: http://www.iso.org/iso/iso_catalogue/catalogue_tc / catalogue_detail. htm? csnumb er=43 56
2. Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний. - М.: Научный мир, 2003. - 184 с.
3. Категория множеств [Электронный ресурс]. - URL: http://ru.wikipedia.org/wiki/Категория_множеств (дата обращения: 09.04.2014).
4. Португал В.М., Семенов А.И., Марголин А.И. Внедрение типовой системы управления предприятием. - М.: Статистика, 1976. - 168 с.
5. Антонов В.В., Куликов Г.Г., Антонов Д.В. Теоретические и прикладные аспекты построения моделей информационных систем. LAP LAMBERT Academic Publishing GmbH & Co.KG. - Germany, 2011. - 134 с.
6. ГОСТ 3.1001-2011 ЕСТД. Общие положения.
7. Речкалов А.В. Дифференциация типов производств при формировании системы оперативного управления машиностроительным предприятием // Проблемы улучшения использования математических методов ЭВМ в народном хозяйстве области: тез. докл. IV областной науч.-техн. конф. - Тюмень, 1984. - С. 16-17.
8. ГОСТ 3.1123-84. Единая система технологической документации. Формы и правила оформления технологических документов, применяемых при нормировании расхода материалов.
9. Недосекин А. О. Комплексная оценка риска банкротства корпорации на основе нечетких описаний. - URL: http://sedok.narod.ru/sc_group.html
References
1. ISO/IEC 15288:2008 Systems and software engineering. System life cycle processes. Available at: http://www.iso.org/iso/iso_catalogue/ cata-logue_tc/catalogue_detail.htm?csnumber=4356 (accessed 23 November 2013).
2. Beniaminov E.M. Algebraicheskie metody v teorii baz dannykh i predstavlenii znanii [Algebraic methods in the theory of databases and representation of knowledge]. Moscow: Nauchnyi mir, 2003, 184 P.
3. Kategoriia mnozhestv [Category of sets]. Available at: http://ru.wikipedia.org/wiki/Категория_множеств (accessed 09 April 2014).
4. Portugal V.M., Semenov A.I., Margolin A.I. Vnedrenie tipovoi sistemy upravleniia predpriiatiem [Introduction of a standard enterprise management system]. Moscow: Statistika, 1976, 168 P.
5. Antonov V.V., Kulikov G.G., Antonov D.V. Teoreticheskie i prikladnye aspekty postroeniia modelei informatsionnykh system [Theoretical and applied aspects of creation of models of intelligence systems]. Germany: Academic Publishing GmbH & Co.KG, 2011, 134 P.
6. GOST 3.1001-2011 - Edinaia sistema tekhnologicheskoi dokumentatsii. Obshchie polozheniia [Unified system for technological documentation. General principles]. Moscow, Standartinform Publ., 2011.
7. Rechkalov A.V. Differentsiatsiia tipov proizvodstv pri formirovanii sistemy operativnogo upravleniia mashinostroitel'nym predpriiatiem [Differentiation of types of productions when forming system of operating control by machine-building enterprise]. Problemy uluchsheniia ispol'zovaniia matematicheskikh metodov Elektro-vychislitel'noi mashiny v narodnom khoziaistve oblasti: tezisy doklada IV oblastnoi nauchno-tekhnicheskoi konferentsii [Problems of improvement of use of mathematical methods Electro - the computer in a national economy of area: theses of the report of the IV regional scientific and technical conference]. Tiumen', 1984, pp. 16-17.
8. GOST 3.1123-84. Edinaia sistema tekhnologicheskoi dokumentatsii. Formy i pravila oformleniia tekhnologicheskikh dokumentov, primeniaemykh pri normirovanii raskhoda materialov [Unified system for technological documentation. Forms and rules for drawing up documents used in setting of proper rates of material consumption]. Moscow: Gosudarstvennyi komitet SSSR po standartam, 1984.
9. Nedosekin A.O. Kompleksnaia otsenka riska bankrotstva korporatsii na osnove nechetkikh opisanii [A complex assessment of risk of bankruptcy of corporation on the basis of indistinct descriptions].Available at: http://sedok.narod.ru/sc_group.html (accessed 16 December 2013).
Сведения об авторах
Речкалов Александр Васильевич - доктор технических наук, профессор кафедры автоматизированных систем управления Уфимского государственного авиационного технического университета, директор по развитию бизнеса компании GMCS (г. Уфа, ул. Карла Маркса, 12, e-mail: [email protected]).
Куликов Геннадий Григорьевич - доктор технических наук по системному анализу, автоматическому управлению и тепловым двигателям профессор, заведующий кафедрой автоматизированных систем управления Уфимского государственного авиационного технического университета (г. Уфа, ул. Карла Маркса, 12, e-mail: [email protected]).
Артюхов Александр Викторович - генеральный и управляющий директор ОАО «УМПО» (г. Уфа, ул. Ферина, 2, e-mail: [email protected]).
Антонов Вячеслав Викторович - кандидат технических наук по управлению в социальных и экономических системах, доцент кафедры автоматизированных систем управления Уфимского государственного авиационного технического университета (г. Уфа, ул. Карла Маркса, 12, е-mail: [email protected]).
About the authors
Rechkalov Alexander Vasilievich (Ufa, Russian Federation) Doctor of Technical Sciences, Professor, Department of automated control systems Ufa State Aviation Technical University, Director of Business Development at GMCS (Ufa, Karl Marx str., 12, e-mail: [email protected]).
Kulikov Gennady Grigorievich (Ufa, Russian Federation) Doctor of Engineering Systems Analyst, automatic control and heat engines Professor, Head of the automated control systems Ufa State Aviation Technical University (Ufa, Karl Marx str., 12, e-mail: [email protected]) .
Artukhov Aleksander Viktorovich (Ufa, Russian Federation) CEO and Managing Director of JSC "Ufa Engine Industrial Association" (Ufa, ul. Ferin, 2, e-mail: [email protected]).
Antonov Vyacheslav Viktorovich Ufa, Russian Federation) Ph.D. of Technical Sciences Management in social and economic systems, an Associate Professor of automated control systems Ufa State Aviation Technical University (Ufa, Karl Marx str., 12, e-mail: [email protected]).
Получено 12.09.2014