Блок синтеза концептуальных схем и блок построения
комплекта организационных процедур
Кононенко А. А.
(Аналитический центр «Концепт»; Москва)
*
Для определения функциональной структуры и системы процедур выработки
• • т
г
решений в сложных предметных областях возникает необходимость целостного модельного описания объектов и бхем управления. В методологии концептуально-
#
го проектирования систем организационного управления (КП СОУ) построение систем управления производится на основе формального синтеза конкретной гео-рии объекта управления. Синтезированные теории представляются при этом в аппарате родов структур [ 1 ].
Задача автоматизации процессов КП СОУ решается в рамках Технологической линии концептуального проектирования СОУ (ТЛКП). ТЛКП состоит из со-
■
вокупности подсистем, в которых реализована последовательность этапов методо-
• • * *
логии концептуального проектирования при создании проекта СОУ
• •
В рамках разработки технологической линии концептуального проектирования СОУ (ТЛКП) созданы (и ведутся работы по их совершенствованию) два интегрированных программных продукта - Exteor for Windows'95 и OrgTeor for Windows' 951. Каждый из программных продуктов решает задачу автоматизации процесса разработки СОУ на своем участке ТЛКП.
Одной из основных подсистем ТЛКП является Блок синтеза. Блок синтеза по-зволяет создавать, манипулировать и синтезировать концептуальные схемы, эксплицированные родами структур (PC-формы). Результатом его функционирования является терминальная теория концептуальной схемы в виде файла РС-формы.
Одной из важных задач является разработка модели внутримашинного представления концептуальной схемы, т.е. интерпретированного рода структуры, за пи-
1 Далее цросто Exteor. OrgTeor.
58
санного в знаковой форме, содержащего имена, формальные и интерпретационные выражения конституент. При этом, отношения между конституентами могут быть представлены отдельной структурой - деревом термов.
Разработка унифицированной формы внутримашинного представления осуществляется на основе формального определения всех составных частей (“слоев**)
• •
концептуальной схемы для обеспечения возможности программирования структур данных и реализации методов манипулирования ими Требования к внутреннему представлению возникают при формализации операций синтеза для всех слоев концептуальной схемы.
Формальное определение операций синтеза концептуальных схем и реализация их алгоритмов в программном комплексе позволяют реализовать все простые операции формального синтеза концептуальных схем, а также осуществить полный синтаксический и ограниченный семантический контроль правильности вводимых концептуальных схем. Практика использования различных операций синтеза по-
4 »
зволит осуществить разработку типовых режимов комплексного синтеза концептуальных схем, а впоследствии - реализовать формальное представление о “приблизительном” (аппроксимационном [2]) синтезе концепту альных схем.
Блок синтеза реализован в программном продукте Ех!еог. Разработка про-граммного комплекса (Ех1еог и О^Теог) была произведена в рамках системотехнического принципа “единичной нити*’. Сначала в экспериментальном порядке про-
т
ектировалась одна конкретная система организационных процедур с целью дальнейшего обобщения. Обобщение осуществлялось в предположении, что результаты, полученные в процессе проектирования, окажутся общезначимыми, а не ситуа-
• I
тивными, т е. полезными при проектировании СОУ, аналогичных по структуре и
• шг
решаемым задачам рассмотренной в данной работе. Проектирование проводилось с
• • 9 *
учетом того, что ТЛКП должна поддерживать внесение изменений в документацию
%
*
на системы организационного управления.
В результате получена технология проектирования интегрированных СОУ оп-
«
ределенного типа. Основу технологии составляют 19 операций проектирования, из
4
которых 6 выполняются проектировщиком вручную и на данном этапе развития средств проектирования не поддаются автоматизации.
Данная технология определяет операциональную сущность операций проектирования и их последовательность, результатом выполнения которой является
комплект организационных процедур
Из них в настоящее время в блоке синтеза автоматизированы следующие операции:
I •
1. Упорядочение конституент РС-формы по уровню сложности,
2. Максимизация части РС-формы,
3. Выделение базиса РС-формы,
4. Слияние двух РС-форм,
5. Синтез РС-форм с отождествлением конституент базисных множеств,
6. Синтез РС-форм ^ отождествлением конституент базисных множеств и проекций родов структур [3]
♦
Нарастание сложности, увеличение объема и количества РС-форм в одной теории диктует необходимость реализации в составе ТЛКП отдельной автоматизи-
9
рованной подсистемы - Блок манипулирования теориями (операциональной схемы). В рамках проведенных работ осуществлена теоретическая проработка подсис-темы ведения и манипулирования операционной схемой синтеза Реализован некоторый прототип данной подсистемы, который в основном ориентирован на отра-
• »
ботку правильности проектных решений, принятых в программном комплексе, а также изначально ориентирован на поддержку режима внесения сквозного изменения.
I
Долгое время считалось невозможным решить задачу автоматизированного
«
синтеза, не осуществив радикального прорыва в области внутреннего представления концептуальных схем. В процессе разработки автоматизированного Блока синтеза было найдено некоторое решение проблемы внутреннего представления РС-формы, абстрагирующее его от методов манипулирования компонентами РС-форм, которые производятся в процессе реализации той или иной операции синтеза
Большое внимание уделено реализации эргономичного интерфейса работы пользователя, как на этапе задания операций, так и в процессе редактирования РС-форм. В частности, задание операций синтеза происходит путем последова-
4
Л •
тельной конкретизации аргументов операции 60
При создании подсистемы Блока визуализации дерева термов было проработано два способа построения дерева и для элементов дерева исследован количественный аспект. С учетом его ограничений реализован один из возможных способов построения дерева термов Направление построения дерева термов «снизу-вверх» или «сверху-вниз» может задаваться проектировщиком в окне отображения дерева термов При работе с РС-формами значительных объемов удобно осуществлять по-иск конкретной кл* ституенты по дереву термов.
В программном продукте О^Теог решается задача построения списка и комплекта оргпроцедур проекта СОУ. Архитектура программного продукта построена таким образом, что источником информации для построения процедур является концептуальная счема, эксплицированная в Ех1еог'е В* процессе работы проектировщика фиксируется сценарий обработки концептуальной схемы и вводимая им дополнительно информация При сохранении результатов работы, сохраняется тот сценарий работы, с помощью которого проектировщик получил эти результаты. Внесение каких либо изменений в файл РС-формы в О^Теог'е не производится.
При разработке О^Теог а идеальным считалось достижение возможности применения ранее сохраненного сценария к измененной в Ех1еог е РС-форме На
* ъ »
некотором классе изменений этого удалось добиться Таким образом достигается возможность внесения сквозного изменения на стыке программных продуктов -сначала на этапе создания терминальной теории, а затем на этапе построения орг-
ф
процедур
Из выделенных 19 операций в блоке построения оргпроцедур автомятизиро-
9
ваиы или программно поддерживаются7 следующие операции
7 Определение статуса констигуент,
8 Определение целевых термов;
9 С’оттос т и и пение предметной и теоретико-множественной ингерпрета-
ций,
• •«" III « I. . • • »• . ...... •«*•••« *
Некоторые операит» нелмч ценностью ангомпги шрошгть. т к проектировщик прои тодит содержательную работу
10. Предметное интерпретирование перечня процедур и комплекта процедур;
11. Определение зависимости конституент РС-формы;
12. Создание перечня процедур;
13 Создание комплекта процедур.
Каждая из этих операций частично проводится автоматизировано уже на эта-пе загрузки файла концептуальной схемы.
Блок визуализации перечня и списка процедур играет существенную роль, так как все внесенные проектировщиком изменения тут же визуализируются Тем самым на этом участке ТЛКП частично решена задача внесения изменений (даже в режиме реального времени). Те. при пометке некоторого терма как целевого происходит пополнение перечня оргпроцедур новой процедурой и перекомутирование некоторой совокупности входов и выходов.
Важной задачей помимо внесения изменений в проект является задача отеле-
•,
живания внесенных изменений. В ОгдрГеог е производится отслеживание и отображение внесенного изменения.
, %
• *
Анализируя достигнутые в Аналитическом центре «Концепт» результаты автоматизации ТЛКП, можно сказать, что появился серьезный плацдарм для ввода автоматизированных средств ТЛКП в промышленную эксплуатацию при проведении работ над реальными проектами построения СОУ
Литература:
[1] Вурбаки И. Теория множеств,
[2] НИР “Экспертиза”: Отчет по НИР (гакл.). М.: Аналитический центр ".Концепт ". 1993. Г 2.
[3] Ключников А. В., Кучкаров 3. А. Логические методы синтеза родов структур и развитие аппарата развертывания аксиоматических теорий. М.: Аналитический центр "Концепт ” 1996.