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

Геннадий Григорьевич Куликов, Вячеслав Викторович Антонов, Альмира Раисовна Фахруллина, Людмила Евгеньевна Родионова

Аннотация


Предложена методика представления системной модели предметной области в форме категории процессов. Предложено правило синтеза самоорганизующейся структуры моделей процесса. Показано, что последовательность композиций-декомпозиций процессов обладает свойством фрактальных преобразований (самоподобия). Ядром этих преобразований являются коммутативные треугольники, определяющие структуру взаимодействующих процессов при их композиции-декомпозиции. Показано, что такие структуры сохраняют свойства самоорганизации в соответствии с законами необходимого разнообразия ЭШБИ. Показана возможность построения тождественных формальных алгоритмов контроля целостности структуры исходных процессов, при нарушении которой требуется «внешнее» управление.

Предлагаемые правила преобразования продемонстрированы на примере синтеза самоорганизующегося процесса соглашения, архитектура которого определена в стандарте ISO/IEC 15288 «Системная инженерия».


Ключевые слова


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

Полный текст:

PDF

Литература


Разработка формальной модели производственного процесса для организации проектного и производственного менеджмента с применением интеллектуальной КИС / А.В. Речкалов, Г.Г. Куликов, В.В. Антонов, А.В. Артюхов // Вестник ПНИПУ. Электротехника, информационные технологии, системы управления. – 2014. – № 11. – С. 34–54.

ISO/IEC/IEEE 15288:2015 System and software engineering – System life cycle processes. – http://www.ppi-int.com/systems-engineering/free%20resources/PPI-006080-1%20PPI%20Review%20of%2015288%20150827.

Гольдблатт, Р. Топосы. Категорный анализ логики / Р. Гольдблатт. – М.: Мир, 1983. – 486 с.

Ковалёв, С.П. Категория вычислительных систем / С.П. Ковалёв // Международная конференция «Алгебра и логика: теория и приложения»: тез. докл. – Красноярск: СФУ, 2013. – С. 64–66.




DOI: http://dx.doi.org/10.14529/ctcr170416

Ссылки

  • На текущий момент ссылки отсутствуют.