Geum.ru

Отчет опроведении научно-исследовательской работы «Разработка методических рекомендаций по описанию и оптимизации процессов в органах исполнительной власти в рамках подготовки внедрения эар» № темы

Вид материалаОтчет
Приложение 1. Компоненты моделей системы бизнес-моделирования ОРГ-Мастер
Составные проекции
Экземпляры документа
Экземпляры отчета
Подобный материал:
1   ...   26   27   28   29   30   31   32   33   34

Приложение 1. Компоненты моделей системы бизнес-моделирования ОРГ-Мастер



Модели, применяемые в ОРГ-Мастере для описания бизнес-систем и протекающих в них процессов, используют следующие основные компоненты.


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

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


<классификатор> ::= <имя классификатора> <список значений> [свойство] *)

<список значений> ::= <пусто> | <значение> | <список значений> <значение>

<значение> ::= <имя экземпляра сущности> [список значений]

<свойство> ::= ‘агрегация’|’композиция’|’обобщение’


*) аналогично категоризации BP-Win или отношениям для диаграмм классов в UML. В текущей версии ORG-Master не используется


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


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

Кроме того, для каждой пары может быть указано направление связи (или иначе, порядок элементов в паре) и соответствующее этой связи числовое значение в диапазоне [1...+1] или значение, выбранное из классификатора, определяющего тип связи. Последний способ, фактически, задает тернарное отношение.

Для каждой пары также может быть задано условие, определяющее действительность (validity) данной пары, при ложном значении которого связь, задаваемая парой считается недействительной.


проекция ::= <имя классификатора1><имя классификатора2>[<тип связи> | <имя классификатора3>] <список пар>

список пар::= <пусто> | <пара> | <список пар><пара>

пара ::= <значение1><значение2> [направление связи] [<число> | <значение3>][условие]

условие ::= <простое условие> | <условие><логическая связка><простое условие> | <условие1><логическая связка><условие2> | (<условие>)

простое условие ::= <пусто> | <атрибут><оператор сравнения><значение>

логическая связка ::= И | ИЛИ | НЕ

оператор сравнения ::= > | < |  |  |  | =

тип связи ::= ‘ресурс’ | ‘документ’ | ‘хранилище’ | <пусто>


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


Составные проекции – проекции (в терминах ОРГ), получаемые посредством проекции (в терминах операций реляционной алгебры) на первую и последнюю компоненты соединения двух простых проекций R1 и R2 , по равенству второго столбца проекции R1 и первого столбца проекции R2, домены которых совпадают.


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


Документы (типы документов, что более точно для различения от экземпляров документа) – описания структур данных, определяемых используемыми бумажными документами или иными информационными объектами системы


документ ::= <имя документа><шапка документа><табличная часть документа>

шапка документа ::= <список полей документа 1>

табличная часть документа ::= <список полей документа 2>

список полей документа ::= <поле документа>|<список полей документа><поле документа>

поле документа ::= <тип поля документа ><наименование поля документа>

тип поля документа ::= <символьное>|<числовое, разрядность, точность>|<дата>|<логическое>


Экземпляры документа – структуры данных, соответствующие определенному документу, для которых значения всех или части полей определены так, что позволяют отличать один экземпляр документа от других.


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


отчет ::= <имя отчета><шапка отчета><табличная часть отчета>

шапка отчета ::= <список полей отчета 1>

табличная часть отчета ::= <список полей отчета 2>

список полей отчета ::= <поле отчета> | <список полей отчет><поле отчета>

поле отчета ::= <тип поля отчета ><наименование поля отчета>

тип поля отчета ::= <символьное> | <числовое, разрядность, точность> | <дата> | <логическое>


Экземпляры отчета – структуры данных, соответствующие определенному отчету, для которых значения всех или части полей определены так, что позволяют отличать один экземпляр отчета от других.