CC BY
38
УДК 004.4
DOI: 10.14529/ctcr170416
ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ МОДЕЛИ РЕАЛИЗАЦИИ ФУНКЦИЙ СИСТЕМНОЙ ИНЖЕНЕРИИ НА ОСНОВЕ ПРИНЦИПА НЕОБХОДИМОГО РАЗНООБРАЗИЯ СТРУКТУРНЫХ СВЯЗЕЙ
Г.Г. Куликов, В.В. Антонов, А.Р. Фахруллина, Л.Е. Родионова
Уфимский государственный авиационный технический университет, г. Уфа, Россия
Предложена методика представления системной модели предметной области в форме категории процессов. Предложено правило синтеза самоорганизующейся структуры моделей процесса. Показано, что последовательность композиций-декомпозиций процессов обладает свойством фрактальных преобразований (самоподобия). Ядром этих преобразований являются коммутативные треугольники, определяющие структуру взаимодействующих процессов при их композиции-декомпозиции. Показано, что такие структуры сохраняют свойства самоорганизации в соответствии с законами необходимого разнообразия ЭШБИ. Показана возможность построения тождественных формальных алгоритмов контроля целостности структуры исходных процессов, при нарушении которой требуется «внешнее» управление.
Предлагаемые правила преобразования продемонстрированы на примере синтеза самоорганизующегося процесса соглашения, архитектура которого определена в стандарте ISO/IEC 15288 «Системная инженерия».
Ключевые слова: теория категорий, предметная область, структурный анализ и синтез, формальная модель, стандарты системной инженерии, кадровый резерв, CALS, обработка данных.
Введение
В настоящее время принципы системной инженерии доведены до предметно-ориентированных стандартов, но проблема разработки системных моделей, соответствующих этим общим положениям требует применения нового математического аппарата и программных инст-рументариев.
Подобная системная задача решается в известной инженерной методологии CALS (Continuous Acquisitionand Lifecycle Support), где определены понятия объекта, производственной среды и жизненного цикла объекта. В работе предлагается развить данную методологию до моделей бизнес-процессов, моделей среды их выполнения, жизненных циклов бизнес-процессов из необходимого условия управляемости Эшби.
Постановка задачи. Актуальным вопросом является повышение эффективности процессов обработки, передачи и использования данных и знаний кадрового резерва предприятий при их многостороннем анализе. В повышении эффективности важна заинтересованность как со стороны организации, обладающей кадровым резервом, так и со стороны организаций, вкладывающих средства в поддержание кадрового резерва. Видится целесообразным для построения модели функционирования данной системы воспользоваться положениями системной инженерии для дальнейшего автоматизированного управления кадровым резервом. Возникает проблема, связанная с использованием двух взаимосвязанных бизнес-процессов кадрового резерва и кадрового агентства (например, образовательные учреждения).
Модель реализации функций системной инженерии на основе
принципа необходимого разнообразия структурных связей.
Рассматривая информационные объекты двух взаимосвязанных бизнес-процессов (на примере кадрового резерва и кадрового агентства), можно использовать наиболее распространенный в системной инженерии стандарт ISO/IEC 15288.
Данный стандарт классифицирует четыре группы процессов жизненного цикла системы: процессы предприятия, процессы соглашения, процессы проекта и технические процессы, которые могут быть представлены в виде «дерева» процессов (рис. 1).
Жизненный цикл системы
Процессы соглашения
Поставка Приобретение
Процессы ^ /
предприятия / \
Управление:
Жизненным циклом Инфраструктурой
— Портфелем проектов
— Персоналом
— Качеством
— Знаниями
Процессы проекта
Технические процессы
-Планирование
Поддержка Измерение
Обеспечение качеством Управление:
-Проектами
Решениями Конфигурацией Информацией Выполнением и контролем
— Анализ БП
—Потребности стейкхолдеров
— Системные требования —Архитектура
— Тактико-технические требования
— Системный анализ —Реализация, верификация,
интеграция
— Передача
— Валидация Эксплуатация и сопровождение
— Списание
Рис. 1. Процессы активностей стандарта 1БО/1ЕО 15288
Процессы жизненного цикла стандарта ISO/IEC 15288 «Системная инженерия», такие как процессы предприятия, процессы проекта и технические процессы помогают эффективному формированию и применению систем, способствующих в достижении целей предприятия. А процессы соглашения представляют собой рабочие взаимоотношения путем заключения соглашений, вызывающие для нас наибольший интерес.
Используя формализацию, предложенную в [1], стандарта ISO/IEC 15288 «Системная инженерия», каждая стадия может быть представлена в виде категории процессов. При рассмотрении процесса соглашения причины и следствия могут быть использованы симметрично.
Так, процесс соглашения состоит из процесса приобретения и процесса поставки. Причем процесс симметричный, приобретающей стороной одновременно могут выступать обе стороны. Используя информационный подход для формализации предметной области, получаются первичными категории объектов и отношения между ними. Таким образом, система отношений может быть представлена множеством объектов предметной области и множеством отношений между ними.
Рассмотрим для моделирования данного процесса базовые положения теории категорий. Будем использовать следующие обозначения: процессы соглашения PS, процессы приобретения PSpr, процессы поставки PSpo.
Выделим процессы соглашения PS, приобретения РЗрГ и поставки РЗр0 в отдельные категорию и подкатегории, которые состоят из целей процесса, деятельности процесса и результата. Рассмотрим взаимодействие подкатегорий, внутри которых информационные объекты, в результате чего получается коммуникативный треугольник по категории и отдельным подкатегориям.
Согласно стандарту ISO/IEC 15288 «Системная инженерия» процесс соглашения состоит из процессов приобретения и процессов поставки [2].
Данная категория РЗ образует класс объектов с заданным отношением для любых пар (РЗ, РЗрг) и (РЗ, РЗро), отношения которых определены множеством морфизмов:
Л f2, Рl, Р2.
Рассматривая процессы соглашения РЗ как взаимосвязанные процессы приобретения РЗрг
и поставок РЗро, процесс взаимодействия может быть представлен декартовым произведением
g:PS ^ РЗрг ® РЗро, где g является единственным морфизмом, выражающимся результатом
процесса соглашения (рис. 2). Отметим, что эти операции соответствуют правилам формальной логики.
ps
Р2 po
Рис. 2. Упрощенная схема коммуникативного треугольника процесса соглашения
Таким образом, процесс соглашения формализуется в виде морфизмов, обладающих следующими свойствами: результат взаимодействия информационных объектов может быть пред-
ставлен декартовым произведением PSpr ® PSpo Р2 :PSpr ® PSpo-
с морфизмами pl:PSpr ® PSpo ^ PS'pr и
и
е PS'po такими, что для любого объекта PS с морфизмами /: PS ^ PSpr / : PS ^ PSp0 существует единственный морфизм g:PS ^ PSpr ® PSp0, при котором выделяется диаграмма в форме коммутативного треугольника, где ® - декартово произведение; g - морфизм, являющийся результатом процесса.
Рассмотрим следующую отдельную подкатегорию: процесс приобретения PSpr, который
складывается из трех составляющих (рис. 3):
1) цели процесса приобретения;
2) деятельности в процессе приобретения PS2pr = |рг2,...,рг821 ;
3) результата процесса приобретения PS3pr = | рг13,..., рг71.
g3 е Hom(PSpr, PS2 ) ^ PSt ® PS2
pr
pr *
PS
- pi PS'pr ® PSpr pI "
Рис. 3. Коммуникативный треугольник процесса приобретения
Взаимодействие информационных объектов PS'pr и PSp может быть представлено декарто-
pr
12 1 2 '1 12' вым произведением PS ® PS с морфизмами p' :PS ® PS ^ PSpr и p2 :PS ® PS ^ PS
pr
такими, что для любого информационного объекта РЗрг с морфизмами / :РЗрг ^ РЗ1рг и /2 :РЗ ^ РЗ2 , существует единственный морфизм g1 :РЗ ^ РЗ1 ® РЗ2 который определя-
рг рг
ется коммутативной диаграммой.
Аналогично рассматривается взаимодействие объектов с морфизмами р3 :РЗрг ® РЗрг ^ РЗрг
и р4 :РЗ1 ® РЗр3г ^ РЗрг, при котором для любого объекта РЗ с морфизмами / :РЗ ^ РЗр
рг
и /3 :РЗрг ^ РЗрг существует единственный морфизм g2 :РЗрг ^ РЗрг ® РЗрг, который определяется коммутативной диаграммой.
Таким же образом рассматривается взаимодействие объектов РЗррг ® РЗр2г с морфизмами
'3 '2 "3 '3 '2 "2
р5:РЗ ® РЗ ^ РЗ и р6 :РЗ ® РЗ ^ РЗ такими, что для любого объекта РЗ с морфиз-
мами /2:РЗ ^РЗ2 и /3:РЗ ^РЗЪ существует единственный морфизм g3:PЗ ^РЗрг ®РЗ2
рг
Р',
рг
V РЗ
"рг ^ рг
рг •
рг рг ./3 рг рг
который определяется коммутативной диаграммой.
В результате процесс приобретения может быть представлен в виде декартового произведения следующих проекций:
(1)
РЗрг = (РЗ1рг)' ® (РЗ2Рг)' ® (рзр1)" ® (рзр)' ® ( рз'рг)" ® (РЗрг)".
Взаимодействие информационных объектов РЗ1ро и РЗ^ может быть представлено декарто-
ро
1 2 ' 1 2 '1 ' 1 2 ' 2 вым произведением РЗ ® РЗ с морфизмами р1: РЗ ® РЗ ^ РЗро и р2 : РЗ ® РЗ ^ РЗ
ро
такими, что для любого информационного объекта РЗро с морфизмами /1 : РЗро ^ РЗ1ро и
/2 : РЗро ^ РЗ2о существует единственный морфизм g :РЗро ^ РЗ1ро ® РЗ2ро , который определяется коммутативной диаграммой в виде треугольника (рис. 4).
р1 РЗ)» ® РЗро р2
Рис. 4. Коммуникативный треугольник процесса поставки
Аналогично может быть рассмотрено взаимодействие объектов:
- РЗ\0 и РЗ'3 РЗ' ®РЗро с морфизмами ръ:РЗхро ®Р3рю ^РЗ"± и рА :РЗ^ ®РЗ'10 ^РЗ"3
ро
' '1 '3
вует единственный морфизм g2 :РЗро ^ РЗро ® РЗро, представленный коммутативной диаграммой.
ро г 4 ро
такими, что для любого объекта РЗро с морфизмами /1 : РЗро ^ РЗ1ро и /3 : РЗро ^ РЗро сущест-
ро 3
ро
ро
- PSpa ® PS]o с морфизмами p5 : PSpa ® PS'po ^ PSpo и p6 : PSpa ® PSpo ^ PSpQ такими, что для любого объекта PSpo с морфизмами /2 : PSpo ^ PS2po и / : PSpo ^ PSpo существует
единственный морфизм g :PSpo ^ PSpo ® PSpoo такой, что диаграмма коммутативна.
В результате процесс приобретения может быть представлен в виде декартового произведения:
PSpo = (PSpo)' ® (PSpo)' ® (PSPo)" ® (PS'¡о)' ® (PS]o)" ® (PS'po). (2)
При этом используется положение теории топосов, где показано, что любой из этих узлов может быть декомпозирован или показана связь с любым другим из узлов, представленных на рис. 4.
Результат может быть представлен в виде декартового произведения, причем если результатом является независимая величина, то он может быть промежуточным. Это позволяет выявить зависимость рекурсивной точки одной от другой. То есть если меняется цель, то возможно спрогнозировать результат, при этом информационные объекты представимы в виде категорий, а отношение перехода одной стадии в другую - в виде морфизмов.
Можем рассмотреть топос как категорию, которая обладает дополнительными свойствами, например, декомпозицией категорий. Путем формализации топоса, используя последовательное применение линейки или множества линеек преобразований, получаем диаграмму, приведенную на рис. 5.
PS
ро
Рис. 5. Категории, представленные согласно теории топосов
При рассмотрении процессов соглашения, где процесс приобретения PSpr, процесс поставки
PSpo , каждый из которых представим в виде категорий, взаимодействия объектов могут быть представлены совокупностью декартовых произведений:
PSpr ® PSpo =(PSpr ® pspr, PS'pr ® PSpr, PSpr ® pspp, PSPo ® PSpo,
PS'Po ® PSpo , PSPo ® PSpo >.
(3)
2
(4)
(5)
(6)
Таким образом, взаимодействие между разными категориями может быть описано в виде функтора на основе представленных выше декартовых произведений.
В категории РЗрг любой объект будет отображаться в объекты категории РЗро следующим
функтором:
Аналогично описывается и «декартово произведение», поскольку будем рассматривать его как новый объект:
Таким образом, получаем, что объекты в категориях определяются взаимодействием функторов.
В данном случае можем использовать квадрат Декарта, где композиция представленных выше двух процессов, обозначенная g, является прямым отображением приведенного процесса соглашения на результат. Результат процесса может рассматриваться как композиция произведения целей и деятельностей. Получается еще один треугольник. При этом цель не может быть достигнута только одним путем. Применяя принцип необходимого разнообразия ЭШБИ [3], согласно которому не может быть одинаковых отношений между объектами, должны быть дополнительные пути достижения результатов, получаем дополнительные квадраты на диаграмме. То есть квадрат Декарта будет определяться принципом необходимого разнообразия ЭШБИ [4]. Данные диаграммы удовлетворяют положениям топоса, что позволяет вывести зависимость, например, этой точки от другой путем изменения результата, для этого определяем, что надо изменить в целях, что в деятельности, либо не изменяем цели, а только деятельность.
Предложено правило синтеза самоорганизующейся структуры процесса соглашения, основанное на декомпозиции-композиции объектов-процессов путем логического сложения фракталов в форме коммутативных треугольников в квадраты Декарта и далее в Декартов многогранник. Показано, что в отношениях между элементами данных структур сохраняются правила формальной логики. Показана возможность построения ряда тождественных формальных алгоритмов контроля целостности структуры исходных процессов. Показана возможность параметрического контроля состояния процессов.
/ е Нот(РЗрг ® РЗро, РЗро), g е Нот^, РЗро ® РЗрт),
/ о g е Нот(РЗрг ® РЗро,РЗро ® РЗрт).
Выводы
Литература
1. Разработка формальной модели производственного процесса для организации проектного и производственного менеджмента с применением интеллектуальной КИС / А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов // Вестник ПНИПУ. Электротехника, информационные технологии, системы управления. - 2014. - № 11. - С. 34-54.
2. ISO/IEC/IEEE 15288:2015 System and software engineering - System life cycle processes. -http://www.ppi-int.com/systems-engineeringfree%20resources/PPI-006080-1%20PPI%20Review% 20of%2015288%20150827.
3. Гольдблатт, Р. Топосы. Категорный анализ логики / Р. Гольдблатт. - М. : Мир, 1983. -486 с.
4. Ковалёв, С.П. Категория вычислительных систем / С.П. Ковалёв // Международная конференция «Алгебра и логика: теория и приложения»: тез. докл. - Красноярск: СФУ, 2013. -С. 64-66.
Куликов Геннадий Григорьевич, д-р техн. наук, профессор, Уфимский государственный авиационный технический университет, г. Уфа; gennadyg_98@yahoo.com.
Антонов Вячеслав Викторович, д-р техн. наук, заведующий кафедрой, Уфимский государственный авиационный технический университет, г. Уфа; Antonov.V@bashkortostan.ru.
Фахруллина Альмира Раисовна, старший преподаватель, канд. техн. наук, Уфимский государственный авиационный технический университет, г. Уфа; almirafax@mail.ru.
Родионова Людмила Евгеньевна, старший преподаватель, Уфимский государственный авиационный технический университет, г. Уфа; lurik@mail.ru.
Поступила в редакцию 28 мая 2017 г
DOI: 10.14529/ctcr170416
FORMAL REPRESENTATION OF THE MODEL OF REALIZATION OF THE FUNCTIONS OF SYSTEM ENGINEERING BASED ON THE PRINCIPLE OF THE NECESSARY DIVERSITY OF STRUCTURAL CONNECTIONS
G.G. Kulikov, gennadyg_98@yahoo.com, V.V. Antonov, Antonov.V@bashkortostan.ru, A.R. Fakhrullina, Almirafax@mail.ru, L.E. Rodionova, Lurik@mail.ru
Ufa State Aviation Technical University, Ufa, Russian Federation
In work the technique of system representation of a domain model in the form of the process category. The proposed PRA vilo synthesis of self-organizing structures of process models. In the cauldron that the sequence of compositions-decompositions of processes has the property of fractal transformations (self-similar). The core of these transformations are commutative triangles that define the structure of the interacting processes in the composition-decomposition. It is shown that these structures retain the properties of self-organization in accordance with the laws of necessary time-noobase ASHBY. The possibility of building a number of identical formal algorithm of monitoring the integrity of the structure of the original process, in violation of which requires an "external" control.
The proposed transformation is demonstrated on the example of synthesis of a self-organizing process of the agreement, the architecture of which is defined in ISO/IEC 15288 "System engineering".
Keywords: category theory, subject area, structural analysis and synthesis, formal model, standards of system engineering, personnel reserve, CALS, data processing.
References
1. Rechkalov A.V., Kulikov G.G., Antonov V.V., Artjuhov A.V. [Development of the Formal Model of Production for the Organization of Project and Production Management Using an Intellectual Enterprise Information System]. Bulletin of Perm National Research Polytechnic University, 2014, no. 11, pp. 34-54. (in Russ.)
2. ISO/IEC/IEEE 15288:2015 System and Software Engineering - System Life Cycle Processes. Available at: http://www.ppi-int.com/systems-engineering/free%20resources/PPI-006080-1%20PPI% 20Review%20of%2015288%20150827.
3. Gol'dblatt R. Toposy. Kategornyy analiz logiki [Top Wasps. Category Analysis of Logic ]. Moscow, Mir Publ., 1983. 486 p.
4. Kovalyov S.P. [Category of Computing Systems]. Mezhdunarodnaya konferentsiya "Algebra i logika: teoriya i prilozheniya". Tezisy dokladov [International Conference "Algebra and Logic: Theory and Applications". Theses of Reports]. Krasnoyarsk, Siberian Federal University, 2013, pp. 64-66. (in Russ.)
Received 28 May 2017
ОБРАЗЕЦ ЦИТИРОВАНИЯ
FOR CITATION
Формальное представление модели реализации функций системной инженерии на основе принципа необходимого разнообразия структурных связей / Г.Г. Куликов, В.В. Антонов, А.Р. Фахруллина, Л.Е. Родионова // Вестник ЮУрГУ. Серия «Компьютерные технологии, управление, радиоэлектроника». - 2017. -Т. 17, № 4. - С. 146-153. DOI: 10Л4529/йсг170416
Kulikov G.G., Antonov V.V., Fakhrullina A.R., Rodionova L.E. Formal Representation of the Model of Realization of the Functions of System Engineering Based on the Principle of the Necessary Diversity of Structural Connections. Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control, Radio Electronics, 2017, vol. 17, no. 4, pp. 146-153. (in Russ.) DOI: 10.14529/ctcr170416
