Научная статья на тему 'Формализованное визуальное моделирование административных процедур'

Формализованное визуальное моделирование административных процедур Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
215
34
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМНЫЙ АНАЛИЗ / ВИЗУАЛЬНОЕ ГРАФОАНАЛИТИЧЕСКОЕ МОДЕЛИРОВАНИЕ / АДМИНИСТРАТИВНЫЕ ПРОЦЕДУРЫ / ПОДХОД "УЗЕЛ ФУНКЦИЯ ОБЪЕКТ" / ТЕОРИЯ ПАТТЕРНОВ / ИСЧИСЛЕНИЕ ПРОЦЕССОВ / SYSTEM ANALYSIS / VISUAL GRAPH-ANALYTICAL MODELING / ADMINISTRATIVE PROCEDURES / APPROACH "UNIT FUNCTION OBJECT" / PATTERNS THEORY / CALCULATION PROCESS

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Маторин С. И., Зимовец О. А.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Маторин С. И., Зимовец О. А.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Formalized visual modeling of administrative procedures

New methods for graph-analytical and algebraic description of administrative procedures are considered. The administrative procedures being analyzed provide public and municipal services in electronic form within the framework of «Electronic Russia» federal program. A method for systems formal description in terms of «unit», «function» and «object» is presented.

Текст научной работы на тему «Формализованное визуальное моделирование административных процедур»

№ 2 (38) 2012

С. И. Маторин, докт. техн. наук, профессор Национального исследовательского университета «Белгородский государственный университет»

О. А. Зимовец, аспирант Национального исследовательского университета «Белгородский государственный университет»

Формализованное визуальное моделирование административных процедур1

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

Введение

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

1 Работа выполнена при финансовой поддержке РФФИ (проект № 10-07-00266).

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

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

№ 2 (38) 2012

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

Авторы для решения упомянутой задачи предлагают использовать при моделировании АП так называемые блок-схемы алгоритмов с дорожками, или, как они именуются в пакете Microsoft Office Visio, Basic Flowchart Shapes (BFSh-диаграммы), модифицированные и формализованные с использованием системного подхода «Узел — Функция — Объект» (УФО-подхода).

Визуальное графоаналитическое моделирование АП

BFSh-диаграммы — это обычные блок-схемы алгоритмов, выполняемые в соответствии со стандартом ИСО 5807-85 (ГОСТ 19.701-90), блоки в которых размещаются на двух и более параллельных дорожках. Дорожки используются для моделирования взаимодействующих процессов, устройств, подразделений.

УФО-подход представляет собой системный подход, при котором система или деловой процесс, например административный, рассматриваются с трех сторон. С одной стороны, как перекресток входных и выходных связей/потоков, т. е. как «Узел». С другой стороны, как процесс преобразования элементов, втекающих по входным потокам, в элементы, вытекающие по выходным потокам, т. е. как «Функция». С третьей стороны, как материальное явление, реализующее (выполняющее) функцию преобразова-

ния входа в выход, т. е. как «Объект»2. Инте- | грация трех аспектов позволяет представить | любую систему как элемент «Узел — Функ- ^ ция — Объект» (УФО-элемент), формали- с> зующий три очевидных факта. Во-первых, ^ любая система представляет собой функ- £ циональный объект, функция которого обу- § словлена функцией объекта более высоко- ^ го яруса [1]. Следовательно, она находится в структуре системы более высокого яруса (т. е. надсистемы), исполняя роль ее подсистемы, и, таким образом, может рассматриваться как узел. Во-вторых, любая система обязательно как-либо функционирует, преобразуя вход в выход. В-третьих, любая система (если она находится в структуре и функционирует) обязательно существует как реальное материальное или информационное явление [2, 3].

Если использовать в BFSh-диаграммах три дорожки для отображения соответственно «Узлов», «Функций» и «Объектов», то эти диаграммы становятся особенно удобными для моделирования АП. Это обусловлено тем, что АП, являясь бюрократическими процедурами, представляют совокупности процессов, связанных между собой потоками документов. При этом в ходе выполнения процессов осуществляются функции обслуживания документов на всех этапах их жизненного цикла. Таким образом, АП предлагается рассматривать как УФО-элемент, «Узел» которого есть перекресток входных и выходных документов, «Функция» — процесс преобразования входных документов в выходные, а «Объект» — сущность, ответственная за выполнение этого процесса. Для графоаналитического моделирования АП, следовательно, на первой дорожке размещаем документы или их состояния на различных этапах (дорожка «Узлы»). На второй

2 Слово «объект» является в данном случае составной частью названия системного подхода, ранее предложенного и развиваемого автором. Термин «объект» используется не как противопоставление термину «субъект», а в смысле «экземпляр класса» в объектно-ориентированном подходе, по причине чего УФО-подход называется системно-объектным. — Прим. автора.

л 101

№ 2 (38) 2012

дорожке размещаем процессы создания, согласования, утверждения, передачи и т. д. документов, входами которых являются документы или их состояния, а выходами другие документы или другие состояния документов (дорожка «Функции»). На третьей дорожке размещаем наименования структурных подразделений или должностей администраций различного уровня, ответственных за исполнение процессов и документов (дорожка «Объекты»). Такое представление АП позволяет моделировать иерархию процессов и объектов, что соответствует требованию системности моделей.

Покажем результаты использования приведенных рассуждений на примере описания регламента исполнения АП «Предоставление земельных участков для нужд, не связанных со строительством» (Р1) и регламента исполнения АП «Предоставление земельных участков для индивидуального жилищного строительства» (Р2). Графоаналитические модели в виде BFSh-диаграмм, модифицированные с применением УФО-подхода для АП Р1, представлены на рис. 1 и 2, а для АП Р2 — на рис. 3 и 4. При этом в качестве характеристи-^ ки объектов будем использовать только § их имена, так как учет остальных харак-§ теристик необходим лишь в случае визуа-^ лизации (имитации) функционирования § УФО-элементов. Для обозначения объек-| тов на данных рисунках использованы сле-<5 дующие сокращения: МФЦ (районный мно-| гофункциональный центр), УМС (районное § управление муниципальной собственности |§ и земельных ресурсов). Ц Процессы, контекстные по отношению * к рассматриваемым АП, и документы выде-| лены серым цветом. На диаграммах деком-|| позиции представлен результат четверто-| го шага декомпозиции. При необходимости § далее могут быть аналогичным образом де-| композированы все процессы, что позволит § в явном виде проследить этапы жизненного § цикла соответствующих документов. ^ Возможность представления иерархии © процессов (и объектов), а также жизненно-

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

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

В диаграммах каждый декомпозируемый процесс разбивается (на очередном уровне иерархии) на два интерфейсных подпроцесса, обеспечивающих вход и выход процесса соответственно, что обусловлено правилом выполнения любой бюрократической процедуры, которое состоит в том, что работа с документом или работа по созданию одного документа из другого всегда сводится к выполнению двух шагов (при рассмотрении процедуры на самом высоком уровне иерархии), например, получение и отправка документа, рассмотрение и согласование и т. п. Это приводит к пониманию того, что любой административный процесс естественным образом можно представить как совокупность двух подпроцессов: входного (работа с входным документом или его состоянием) и выходного (работа по созданию выходного документа или его состояния).

Предложенная модификация BFSh-диаграмм (будем называть их Basic UFO Shapes — BUFOSh), как видно из приведенного примера, позволяет строить модели АП, удовлетворяющие упомянутому выше требованию системности. При этом модели хорошо подходят для выполнения проектов по разработке или настройке информационной системы, отслеживающей поток работ и автоматизирующей формирование документов, так как, по сути, представляют собой общепринятые схемы алгоритмов.

№ 2 (38) 2012

о Ц

©

*

ф я

■о О

ИС112?

Заявление на имя главы районной администрации

Ходатайство о приобретении участка

Заявитель (физическое или юридическое лицо)

ОР11!

Договор аренды/купли-продажи, выданный Заявителю

ПО

Предоставление земельных участков для нужд, не связанных со строительством

Администрация муниципального района

Получение Договора

г?

со 1 сэ

I

3: со

Заявитель (физическое или юридическое лицо)

Рис. 1. Контекстная BFSh-диаграмма (с учетом УФО-подхода) для Р1

РА22

Постановление о проведении аукциона

ИС212*, ИС121

Опубликованное извещение о проведении аукциона и пакет документов

ОТ1, ИС222

Протокол о проведении

аукциона с публикацией объявления

П211

Подготовка, подписание Постановления о проведении аукциона

П2121

Подготовка извещения о проведении аукциона и пакета аукционных документов

Заявитель (физическое

или юридическое лицо)

Отдел УМС

Отдел МФЦ

Заявитель (физическое

или юридическое лицо)

Рис. 2. BFSh-диаграмма декомпозиции (с учетом УФО-подхода) для Р1

Формальное представление системы как УФО-элемента для формализации визуальных моделей АП

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

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

\ 103

№ 2 (38) 2012

О

а.

ист?

Заявление на имя главы районной администрации

ОРИ!

Договор аренды/купли-продажи, выданный Заявителю

е

Ходатайство о приобретении участка

Предоставление земельных участков для индивидуального жилищного строительства

Получение Договора

ф

\о О

Заявитель (физическое или юридическое лицо)

Администрация муниципального района

Заявитель (физическое или юридическое лицо)

Рис. 3. Контекстная BFSh-диаграмма (с учетом УФО-подхода) для Р2

ист?

Заявление на имя главы районной администрации

РА21

Постановление о проведении аукциона

ИС211*, ИС121

Опубликованное извещение о проведении аукциона и пакет документов

ОТ1, ИС221

Протокол о проведении

аукциона с публикацией объявления

!

о &

I &

I

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

! S

СО О

5 <и о

t 3

со <u

0

1

is

0

1

t в

Г\

Ходатайство о приобретении участка

п211

Подготовка, подписание Постановления о проведении аукциона

п2121

Подготовка извещения о проведении аукциона и пакета аукционных документов

Заявитель

(физическое Отдел

или МФЦ

юридическое

лицо)

Отдел УМС

Отдел УМС

Заявитель (физическое

или юридическое лицо)

Рис. 4. BFSh-диаграмма декомпозиции (с учетом УФО-подхода) для Р2

Для формализации визуальных графоаналитических моделей в виде BUFOSh-диа-грамм необходимо обеспечить возможность формального представления УФО-элемен-тов, что может быть сделано на основе результатов, полученных в работах [4-6] за счет интеграции алгебраических средств теории паттернов (Pattern Theory — PT) Гренанде-ра [7] и исчисления процессов (Calculus of Communication Systems — CCS) Милнера [8].

В первую очередь, дадим формальное определение модели в терминах «Узел — Функция — Объект» (УФО-модели), которая представляет собой граф, определяющийся составом и структурой, вершины которого занимают УФО-элементы, а ребрами являются потоки/связи, их соединяющие. Таким образом, УФО-модель = (Е, L), где Е — множество УФО-элементов; L — множество имен связей УФО-элементов.

104

№ 2 (38) 2012

Множество всех УФО-элементов E, а также множество всех связей L состоят из непересекающихся классов. Интерпретация этого разбиения состоит в том, что к одному классу элементов (и к одному классу связей) относятся элементы (и связи), принадлежащие к одному уровню (ярусу) иерархии предметной области. Более низкий уровень (ярус) иерархии по сравнению с данным будем обозначать для УФО-элементов как E-1, а для связей как L-1. Кроме того, множество L на каждом ярусе иерархии, в свою очередь, состоит из четырех непересекающихся классов. Они интерпретируются как классы вещественных связей (В), энергетических связей (Э), связей по управлению (У) и связей по данным (Д). По аналогии с PT будем рассматривать для множества L понятие «тип соединения» I.

Далее сформулируем алгебраическое определение УФО-элемента (e е E) как формализованного представления системы. УФО-элемент может быть представлен в виде кортежа: е = <U, F, О>. Здесь U — «Узел», т. е. множество выходных и входных связей, характеризующих узел, который занимает определяемая система; F — «Функция», т. е. класс функций, характеризующий способы или процессы (процедуры) преобразования входных связей узла в выходные; O — «Объект», т. е. множество свойств (признаков), характеризующих класс объектов, реализующих данный класс функций.

Определим «Узел» УФО-элемента, используя принятые в CCS обозначения, следующим образом: U = (L?, L!), где L? с L — множество входных связей узла, L! с L — множество выходных связей узла.

Для определения «Функции» используем предложенное ранее в работе [5] определение «Функции» УФО-элемента по аналогии с определением «Процесса» в CCS. В соответствии с этим определением «Функция» УФО-элемента может быть представлена следующим образом: F = (S, S0, Lx). В данном выражении S — множество подпроцессов процесса, соответствующего «Функции», которые реализуются УФО-

элементами, принадлежащими классу E-1; | S0 с S — множество интерфейсных подпро- g цессов (входных S? и выходных S!, причем ^ S0 = S? и S!, в число входных связей множе- с> ства подпроцессов S? входит множество связей L?, в число выходных связей мно- S жества подпроцессов S! входит множест- § во связей L!) Lxc L-1 — множество связей ^ в S, осуществляющих передачу элементов глубинного яруса связанных подпроцессов (т. е. по аналогии с CCS рассматривается размеченная система переходов (S, Lx), но не над множеством действий, как в CCS, а над множеством потоков/связей). Элементы множества потоков Act (F), соответствующего множеству действий в CCS, также интерпретируются как ввод, вывод или передача элемента (с именем потока). При этом на уровне описания «Функции» системы как УФО-элемента нас интересуют только внутренние потоки (передача элемента), так как входные и выходные потоки описываются на уровне «Узла».

Для определения «Объекта» используем понятие PT «образующая», которая рассматривается в этой теории как объект со связями [7], что позволяет определить «Объект» УФО-элемента следующим образом: О = (n, а, р?, р!), где n — имя «Объекта» из множества N имен объектов (n е N); а — множество признаков «Объекта» n; р? — множество показателей множества входных связей L? «Объекта» n; р! — множество показателей множества выходных связей L! «Объекта» n.

Таким образом, можно сформулировать следующее выражение в качестве формального определения УФО-элемента (ei), представляющего конкретную систему:

ei = < (Li?, Li!), (Si, S0, Lx), (n a,, ft?, ft!).

Для решения практической задачи это определение должно быть, естественно, дополнено матрицами, конкретизирующими структуру входных связей УФО-элемен-та ei (Li? х Si?), структуру выходных связей этого элемента (Li! х Si!), а также структуру

№ 2 (38) 2012

внутренних потоков (Si, Lix) «Функции» УФО-элемента ei (Si х Si).

Если на каком-то этапе анализа УФО-элемент (как система) рассматривается как целое без учета внутренней, функциональной структуры (на контекстном уровне), то выражение в скобках для «Функции» УФО-элемента будет иметь вид: ({s0 eSi}, {s0 eS0 }, Lix = 0), т. е. в этом случае рассматривается УФО-элемент с нулевой «Функцией», определенной в работах [5 и 6] по аналогии с нулевым (пустым) процессом в CCS. Тогда на данном уровне рассмотрения системы (на уровне контекстной модели) последнее выражение для УФО-элемента как системы будет выглядеть следующим образом:

ei = < (Li?, ({s0}), (ni, a,, ft?, ft!).

При решении практических задач средствами визуального графоаналитического моделирования, естественно, невозможно обойтись без учета внутренней, функциональной структуры УФО-элемента, S т. е. их необходимо рассматривать не только на контекстном уровне, но и на уровне ^ декомпозиции. Особый интерес представ-§ ляет декомпозиция системы (УФО-элемента) g только на интерфейсные подсистемы (под-S^ процессы). Особую роль такой декомпози-g ции (ее предлагается называть интерфейс! ной) можно обнаружить на многочисленных <1 примерах практического функционально-| го моделирования [9]. Введем для нее фор-§ мальное определение. |§ Определение. Декомпозиция системы называется интерфейсной при условии, что i S = S0

щ

| В соответствии с данным определением || выражение в скобках для «Функции» УФО-| элемента с учетом внутренней структуры § в случае интерфейсной декомпозиции бу-| дет иметь вид: (S0, S0, Lix?!). Тогда, на перса вом шаге декомпозиции системы, посколь-§ ку S0 = Si? и Si!, выражение для системы как ^ УФО-элемента будет выглядеть следующим © образом:

е, = < 0-?, Ц!), ((Б,? и Б,!), (S¡? и S¡!), Цх?!), (п,, а;, р,?, р,!).

Упрощаем запись, исключая повторение одного и того же набора значков и показывая реальное место внутреннего потока. В результате получаем следующее выражение для УФО-элемента на первом шаге интерфейсной декомпозиции системы:

е, = < О-,?, Ц!), (Б?, Б,!), (п,, а,, р,?, р,!).

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

Утверждение. Если на уровне декомпозиции внутренняя, функциональная структура УФО-элемента характеризуется равенством Lх?! = {1х,,} (т. е. является одноэлементным множеством), ее I есть «линейный порядок», а декомпозиция — интерфейсная.

Доказательство. Из того факта, что Lх?! = {1х?,} напрямую следует, что Б : Б0 = 0. Из последнего, в свою очередь, следует, что Б = Б0, т. е. имеет место интерфейсная декомпозиция, по определению. Если Lх?! = {1х?,} , то, естественно, выходная связь первого подпроцесса соединена с входной связью последнего, что соответствует определению I «линейный порядок» в РТ (см. [7]).

В случае интерфейсной декомпозиции с линейным порядком последнее выражение для УФО-элемента на первом шаге декомпозиции системы будет иметь вид:

е, = < 0-,?, Ц!), (^?}, {1х?!}, {^!}, (п,, а,, р,?, р,!).

Алгебраическое описание визуальных моделей АП

Используем представленные выше выражения (контекстного уровня и уровня декомпозиции с линейным порядком) для формализации графоаналитического описания АП. Отметим, что предложенный способ алгебраического описания систем как

ПРИКЛАДНАЯ ИНФОРМАТИКА /-

' № 2 (38) 2012

УФО-элементов (и, таким образом, АП) обеспечивает учет не только структурных свойств АП, но и в определенной степени содержание этих процессов.

Последнее обстоятельство обусловлено тем, что формальная (нормативная) система подхода «Узел — Функция — Объект», как известно, задается с помощью набора алфавитных символов, относящихся к категориям «связь», «узел», «функция» и «объект». Любая же, формальная (в том числе нормативная), система будет не только формальной (во всех смыслах этого слова), но и семантической, если задавать (определять) смысл алфавитных символов формальной системы с помощью классификационной схемы. Использование классификации для придания символам формальной системы уникального предметно-ориентированного содержания превращает эту формальную систему в формально-семантическую систему, что и сделано для нормативной системы УФО-подхода [10].

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

тов как носителей информации, представ- |

ленный на рис. 5. |

На основании приведенных выше фор- ^ мализмов и содержательных рассуждений сэ BUFOSh-диаграмме на рис. 1 можно поставить в соответствие следующее выраже- £ ние: §

АПР1 = <(ИС112?, ОР11!), (П0), (А_Р)>.

BUFOSh-диаграмме на рис. 2 можно поставить в соответствие следующее выражение:

АПР1 = <(ИС112?, ОР11!), (П1, ИС112*, П211, РА22, П2121, ИС212*/ ИС121, П2122, ОТ1/ИС222, П22), (О_МФЦ, О_УМС)>.

BUFOSh-диаграмме на рис. 3 можно поставить в соответствие следующее выражение:

АПР2 = <(ИС111?, ОР11!), (П0), (А_Р)>.

BUFOSh-диаграмме на рис. 4 можно поставить в соответствие следующее выражение:

АПР2 = <(ИС111?, ОР11!), (П1, ИС111*, П211, РА21, П2121, ИС211*/ ИС121, П2122, ОТ1/ИС221, П22), (О_МФЦ, О_УМС)>.

С помощью полученных выражений можно произвести формальное (т. е. допускающее автоматическое) сравнение компьютерных графоаналитических моделей регламентов Р1 и Р2, которое одновременно позволит сравнить модели как структурно, так и содержательно с точки зрения состава документов.

Обобщая, например, с помощью теоретико-множественно операции объединения картежи АПР1 и АПР2 на контекстном уровне с учетом концептуальной классификационной модели документов (см. рис. 5), получаем следующее выражение:

№ 2 (38) 2012

АПР12 = <(ИС112?, ОР11!), (П0), (А_Р)> и и<(ИС111?, ОР11!), (П0), (А_Р)> =

= <(ИС11?, ОР11!), (П0), (А_Р)>.

Выражение показывает, что рассматриваемые регламенты используют на входе однотипные документы, которые незна-

чительно отличаются конкретными данными в некоторых полях этих документов, а на выходе имеют один и тот же документ.

Обобщая таким же образом далее кортежи на уровне декомпозиции с учетом концептуальной классификационной модели

!

о &

I &

I

! S

СО О

5 <и о

t 3

со <u

о §

0

1

t в

-*■ Информационная (I)

-. По ¡¿травлению

Ы Административные документы (Ад] 3 ~~Организационные документы (ОР) i -> Договорные документы (DPI |

0 -+■ Догоеорыназемельныввчйеткл[рР11|

*+ Договор аренды эег*пьного участка ЮРП11 —> Договор купли-продажи земе^нрго цветка (0Р112] 0 Дргаесры ма м^*ниипапьн|ра оойсгнннмжть [0Р12J

—*- Договор аренды м ^-нципагъной собственности (ОР1211

Договор к^тлнподаии ицнищушьной собственности [ОР122] В Проеме IUP13]

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Соглашение о внесенн задатка [0Р1311 Даповор на ларедачу квартиры в собственность (QP132] + Рлспорядителы-ьредсгчменгыСРА!

i£ Постановле^ о предоставлении земельного участив (РА1)

-t* Постановление с предоставлении земельного участка б аренду [РА11| —* П остановлениа с предоставлении земельного участка в оойсте?ннссгь за плату (РА12) ■Е Постановлен« о проведан« торгов (РА2)

-+■ Постановление о проведении торгов земвльчячи участил™ для ИЖ£ (РА21)

Постановление о проведении торгов земельном ¡(насткаш без строительства (РА22] Постановление о проведении торгов ьчнищлаяьной собственностью (АА23) —> Постановление о передаче в сойствениэсь жилья (РАЗ) 9 Поданным (D)

0 MHTopMaunOHHfrcnpaeo4™ftflOKyrierfTM|HC] В Заявления (ИС11

- —> Заявления ча земельнъ-е участкЩИС11]

—f Зажпвние о предоставлении земельного участка для ИЖС (ИС111) -*■ Зазелени* о првдойгамении земельного участка бм строительства (НС112) -+■ Зазепение о предоставлении земельного участка гни стооешеи [ИС113) ь Заявки нэа*41ион[ИС12|

Заявка ма участив в аукцнэне по т^>6Д0Стевлеи#э земельного участка ИС121] —> Заявка hia участив в аукционе по грвдоставланлэ мушципа/ьной собственности [ИС122| -¥■ Заявлрение на гривализаино (ИС1 Э| В' Публикации (ИС2) 9 Извещения [ИС21|

—у Извещение о проевдеьыи торгов земаяьными участками для ИЖС (ИС21)) -> Извещвше о проввдаши торгов земельными участками без строительстве (ИС212) -+ Извещете о прюеедегни торгов недвижимым имуществом (ИС21Э) ► 0йъявлеьия|ИС22] —f 0 бъявление ой итогам аукциона земельными участками для ИЖС МС221J —у Объявление ой итогов аукциона земельными участками без строительства 1ИС222) -+■ 0 бъявление обмтогля а^щионв мунщцпалиной собственностью |И С223) В -+ Отчетные ftoni^ieHThiiaT)

-» Протокол oiитога*амниона [ОТ 1J ■V Квитанция об оплате задатка на аукцион [ОТ?]

Рис. 5. Фрагмент концептуальной классификационной модели документов

108

№ 2 (38) 2012

документов (рис. 5), получаем следующее выражение:

АПР12 = <(ИС112?, ОР11!), (П1, ИС112*, П211, РА22, П2121, ИС212*/ ИС121, П2122, ОТ1/ИС222, П22), (О_МФЦ, О_УМС)> и

< (ИС111?, ОР11!), (П1, ИС111*, П211, РА21, П2121, ИС211*/ИС121, П2122, ОТ1/

ИС221, П22), (О_МФЦ, О_УМС) > = = < (ИС11?, ОР11!), (П1, ИС11*, П211, РА2,

П2121, ИС21*/ИС121, П2122, ОТ1/ИС22, П22), (О_МФЦ, О_УМС) >.

Из последнего выражения также хорошо видно, на каком этапе исполнения регламентов используются однотипные документы, а на каком — одинаковые.

Приведенные выражения на формальном (символьном) уровне показывают полное структурное сходство АП Р1 и АП Р2 с точки зрения функций и объектов, а также их существенное содержательное сходство, с точки зрения перечня и порядка появления документов. Последнее обстоятельство обусловлено использованием в обоих АП одинаковых или однотипных документов (см. классификацию документов на рис. 5). В данном примере сходство этих процедур достаточно хорошо видно и на диаграммах. Однако надо иметь в виду, что реальные (текстовые и модельные) описания регламентов АП представляют собой многостраничные документы, сравнение которых вручную занимает значительное время и не застраховано от ошибок. Преобразование BFSh-диаграмм, модифицированных с применением УФО-подхода (BUFOSh-диаграмм), в алгебраические выражения позволяет сделать независимым от экспертов и в конце концов автоматизировать процесс анализа регламентов АП путем их сравнения, в том числе на содержательном (документальном) уровне.

Заключение

В работе предложен новый способ компьютерного визуального графоаналити-

ческого представления АП в виде BFSh- | диаграмм, модифицированных с помо- | щью УФО-подхода (т. е. в виде BUFOSh- ^ диаграмм). сэ

Для решения задачи формального опи- ^ сания этих диаграмм предложен новый спо- £ соб формального описания систем в терми- § нах «Узел», «Функция», «Объект». Он раз- ^ работан на основе интеграции алгебраических средств теории паттернов Гренандера и исчисления процессов Милнера. Данный способ позволяет сформулировать ряд основных понятий создаваемого нами направления под названием «исчисление систем» как трехэлементных конструкций «Узел — Функция — Объект»

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

Использование разработанного метода формализованного визуального (графоаналитического) моделирования АП на различных примерах государственных и муниципальных услуг показывает, что формальные выражения одного и того же вида подходят для описания целого множества различных услуг. Это позволяет автоматизировать анализ АП, например, путем сравнения алгебраических выражений для выявления их структурных сходств и различий.

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

№ 2 (38) 2012

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

Предложенный в работе способ визуального моделирования АП реализован с помощью CASE-инструментария «UFO-toolkit» (User Familiar Object — «знакомый пользователю объект»). UFO-toolkit позволяет представить систему трехэлементной конструкцией «Узел — Функция — Объект», т. е. УФО-элементом. UFO-toolkit поддерживает классификацию УФО-элементов, основанную на классификации связей, пересечения которых и образуют «узлы».

Использование UFO-toolkit предполагает предварительную специализацию классификации связей (для моделирования АП — классификации документов) и библиотеки с учетом конкретной предметной области. Это позволяет создавать шаблоны классификаций и библиотек для различных предметных областей, которые будут обеспечивать процесс моделирования множествами S «алфавитных» УФО-элементов. Традиционная контекстная модель (модель верхнего ^ уровня иерархии) системы (в данном случае § АП) строится в виде «черного ящика» с ука-g занием входных и выходных связей (в слу-S^ чае АП — входных и выходных документов), g которые должны быть представлены в клас-! сификации связей (документов). 3 На этапе декомпозиции контекстной мо-I дели выявляются функциональные узлы § в структуре моделируемой системы. Если |§ используются «алфавитные» УФО-элемен-■ч ты, то обеспечивается возможность авто* матической идентификации «знакомых» ин-| струменту узлов, функций и объектов. Если || используются не шаблонные классифика-§ ции и библиотеки или в шаблонах нет необ-§ ходимых в данном случае узлов, то в теку! щую классификацию связей вручную добав-§ ляются внутренние связи, поддерживающие t| входные и выходные связи контекстной мо-^ дели. Результатом декомпозиции будет ие-© рархическая модель системы, каждый уро-

вень иерархии которой образован взаимосвязанными функциональными узлами с указанными для них объектами.

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

1. Мельников Г. П. Системология и языковые аспекты кибернетики. М.: Сов. радио, 1978. — 368 с.

2. Маторин С. И, Попов А. С, Маторин В. С. Моделирование организационных систем в свете нового подхода «Узел-Функция-Объект» // НТИ. Сер. 2. 2005. № 1. С. 1-8.

3. Маторин С. И., Попов А.. С, Маторин В. С. Зна-ниеориентированный BI-инструментарий нового поколения для моделирования бизнеса // Научные ведомости БелГУ. Сер. Информатика и прикладная математика. 2006. № 1 (21). Вып. 2. С. 80-91.

4. Маторин С. И., Трубицин С. Н., Зимовец О. А., Жихарев А. Г. Системно-объектное моделирование сервисной службы телевизионной и радиовещательной сети // Информационные технологии и вычислительные системы. 2009. № 3. С. 75-87.

5. Жихарев А. Г., Маторин С. И. Метод формализации организационных знаний // Искусственный интеллект и принятие решений. 2011. № 2. С. 12-18.

6. Зимовец О. А., Маторин С. И. Интеграция средств формализации графоаналитических моделей «Узел-Функция-Объект» // Искусственный интеллект и принятие решений. 2012. № 1. С. 95-102.

7. Гренандер У. Лекции по теории образов. 1. Синтез образов / пер. с англ. М.: Мир, 1979. — 384 с.

8. Milner R, Parrow J., Walker D. A. Calculus of Mobile Processes. Part I. E.: University of Edinburgh, 1989. — 46 p.

9. Дубейковский В. И. Практика функционального моделирования с AllFusion Process Modeler 4.1. Где? Зачем? Как? М.: ДИАЛОГ-МИФИ, 2004. — 464 с.

10. Маторин С. И. О новом методе системологи-ческого анализа, согласованном с процедурой объектно-ориентированного проектирования. Часть 1 // Кибернетика и системный анализ. 2001. № 4. С. 119-132.

i Надоели баннеры? Вы всегда можете отключить рекламу.