42
D
3
r
eturn(+
+i)
2
D
4
p
utchar(c
)
1
Заметим, ㅤ что ㅤ если ㅤ выполняется ㅤ условие C1 , ㅤ то ㅤ нет ㅤ необходимости ㅤ в ㅤ
проверке ㅤ условий C2 и C3 . ㅤ Поэтому ㅤ комбинации ㅤ условий ㅤ 1, ㅤ 2, ㅤ 3, ㅤ 4 ㅤ могут ㅤ
быть ㅤ заменены ㅤ обобщающей ㅤ комбинацией ㅤ (Д,-,– ), ㅤ где ㅤ «–» ㅤ означает ㅤ любую ㅤ
из ㅤ возможных ㅤ альтернатив ㅤ (в ㅤ данном ㅤ случае, Д или Н ).
Аналогично, ㅤ комбинации ㅤ условий ㅤ 5 ㅤ и ㅤ 6 ㅤ могут ㅤ быть ㅤ заменены ㅤ
обобщающей ㅤ комбинацией ㅤ (Н, ㅤ Д,– ). ㅤ Редуцированная ㅤ таким ㅤ образом ㅤ
таблица ㅤ решений ㅤ будет ㅤ иметь ㅤ следующий ㅤ вид ㅤ (таблица ㅤ 4):
Таблица ㅤ 4. ㅤ Редуцированная ㅤ таблица
УСЛ
ОВИЯ
1
2
3
4
C1
isctrl(c)
Д
Н
Н
Н
C2
I >
max_lenght
-
Д
Н
Н
C3
out_of_r
ange(c)
-
-
Д
Н
ДЕЙ
СТВИЯ
D1
beep()
1
1
1
D2
return(E
2
2
2
43
RROR)
D3
return(+
+i)
2
D4
putchar(
c)
1
Отметим, ㅤ что ㅤ на ㅤ основе ㅤ таблицы ㅤ решений ㅤ легко ㅤ осуществляется ㅤ
автоматическая ㅤ кодогенерация. ㅤ Для ㅤ вышеприведенного ㅤ примера ㅤ
соответствующий ㅤ код ㅤ может ㅤ выглядеть ㅤ следующим ㅤ образом:
IF (isctrl(c)) ㅤ {beep(); ㅤ return(ERROR)}ELSE {IF (i>max_length) ㅤ {beep(); ㅤ
return(ERROR)}ELSE {IF (out_of_range(c)) ㅤ {beep(); ㅤ return(ERROR)}ELSE
{putchar(c); ㅤ return(++i)}}}[26]
Построение ㅤ ТР ㅤ рекомендуется ㅤ осуществлять ㅤ по ㅤ следующим ㅤ
все
ㅤ
шагам:
1. Идентифицировать
номера
все условия (или
выполняемые
переменные) в
спецификации.
заменены
Идентифицировать все
возможно
значения, которые
включающую
каждая
переменная
таким
может иметь.
2.
процесс
Вычислить число
большом
комбинаций условий.
список
Если все
переменных
условия являются
таблицу
бинарными, то
переменных
существует 2**N комбинаций N
приведено
переменных.
3. Идентифицировать
следующий
каждое из
могут
возможных действий,
Обсудить
которые могут
легко
вызываться в спецификации.
4.
каждая языки
Построить
переменные
пустую
return используется
таблицу, включающую
Проверить позиции
все
осуществляется
возможные
выглядеть Построение
условия
и действия, а
бинарными номера
также
число
номера
осуществляется соответствующие
комбинаций условий.
5.
пустую когда
Выписать и
рис
занести в
пустую заменены
таблицу все
Выделить существует
возможные
пустую
комбинации
список малом
условий.
6. Редуцировать
IF
комбинации условий.
7.
построенную
Проверить каждую
комбинаций
комбинацию условий и
переменные
идентифицировать
соответствующие
условий
выполняемые действия.
44
8.
из
Выделить комбинации
Для
условий, для
выбора
которых спецификация
малом
не
указывает
Вариантом
список выполняемых
выбора
действий.
9. Обсудить
переменных
построенную таблицу.
Вариантом таблицы решений является дерево решений (ДР),
позволяющее взглянуть на процесс условного выбора с позиции схемы.
Дерево решений для вышерассмотренного примера приведено на рис. 1
Рисунок ㅤ 1. ㅤ Дерево ㅤ решений
Обычно ㅤ ДР ㅤ используется ㅤ при ㅤ малом ㅤ числе ㅤ действий ㅤ и ㅤ когда ㅤ не ㅤ все ㅤ
комбинации ㅤ условий ㅤ возможны, ㅤ а ㅤ ТР ㅤ – ㅤ при ㅤ большом ㅤ числе ㅤ действий ㅤ и ㅤ
когда ㅤ возможно ㅤ большинство ㅤ комбинаций ㅤ условий.
Визуальные ㅤ языки ㅤ проектирования ㅤ являются ㅤ относительно ㅤ новой, ㅤ
оригинальной ㅤ методикой ㅤ разработки ㅤ спецификаций ㅤ процесса. ㅤ Они ㅤ
базируются ㅤ на ㅤ основных ㅤ идеях ㅤ структурного ㅤ программирования ㅤ и ㅤ
позволяют ㅤ определять ㅤ потоки ㅤ управления ㅤ с ㅤ помощью ㅤ специальных ㅤ
иерархически ㅤ организованных ㅤ схем.[29]
Одним ㅤ из ㅤ наиболее ㅤ известных ㅤ подходов ㅤ к ㅤ визуальному ㅤ
проектированию ㅤ спецификаций ㅤ является ㅤ подход ㅤ с ㅤ использованием FLOW-
форм . ㅤ Каждый ㅤ символ ㅤ FLOW-формы ㅤ имеет ㅤ вид ㅤ прямоугольника ㅤ и ㅤ может ㅤ
быть ㅤ вписан ㅤ в ㅤ любой ㅤ внутренний ㅤ прямоугольник ㅤ любого ㅤ другого ㅤ символа. ㅤ
Символы ㅤ помечаются ㅤ с ㅤ помощью ㅤ предложений ㅤ на ㅤ естественном ㅤ языке ㅤ или ㅤ
с ㅤ использованием ㅤ математической ㅤ нотации.
45
Символы ㅤ FLOW-форм ㅤ приведены ㅤ на ㅤ рис. ㅤ 2. ㅤ Каждый ㅤ символ ㅤ является ㅤ
блоком ㅤ обработки. ㅤ Каждый ㅤ прямоугольник ㅤ внутри ㅤ любого ㅤ символа ㅤ также ㅤ
представляет ㅤ собой ㅤ блок ㅤ обработки.
Рисунок 2. Символы
использованием
FLOW-форм
На
вышеприведенного
рис 3 приведен
основных
пример использования
схем
данного подхода
СП
при
проектировании
подхода
спецификации процесса,
организованных
обеспечивающего
упорядочивание
выбираемые
определенным образом
визуальному
элементов массива и
определять
являющегося
фрагментом
проектировании
алгоритма сортировки
FORTRAN
методом «поплавка».
Рисунок 3.
также
Пример FLOW-формы
спецификации
Рисунок 4. Диаграмма
элементов
Насси-Шнейдермана
Дальнейшее развитие FLOW-формы получили в диаграммах Насси-
Шнейдермана. На этих диаграммах символы последовательной обработки
46
и цикла изображаются также, как и соответствующие символы FLOW-
форм. В символах условного выбора и case-выбора собственно условие
располагается в верхнем треугольнике, выбираемые варианты – на нижних
сторонах треугольника, а блоки обработки – под выбираемыми
вариантами. Диаграмма Насси-Шнейдермана для вышеприведенного
примера изображена на рис. 4.[28]
Спектр ㅤ методов ㅤ задания ㅤ спецификаций ㅤ процессов ㅤ в ㅤ соответствии ㅤ с ㅤ
увеличением ㅤ трудности ㅤ их ㅤ проектирования ㅤ приведен ㅤ на ㅤ таблице ㅤ 5 ㅤ . ㅤ
Наиболее ㅤ трудным ㅤ методом ㅤ задания ㅤ СП ㅤ являются ㅤ языки ㅤ
программирования ㅤ (C, ㅤ COBOL, ㅤ FORTRAN ㅤ и ㅤ др.). ㅤ Сложность ㅤ заключается ㅤ
в ㅤ том, ㅤ что ㅤ языки ㅤ программирования ㅤ концентрируют ㅤ внимание ㅤ на ㅤ деталях ㅤ
реализации, ㅤ а ㅤ потоки ㅤ данных ㅤ в ㅤ DFD ㅤ представляются ㅤ абстрактно ㅤ (их ㅤ
фактическая ㅤ композиция ㅤ определяется ㅤ в ㅤ словаре ㅤ данных). ㅤ Поэтому ㅤ
сложность ㅤ – ㅤ не ㅤ в ㅤ написании ㅤ СП, ㅤ а ㅤ в ㅤ их ㅤ синхронизации ㅤ и ㅤ согласовании ㅤ с ㅤ
DFD, ㅤ поскольку ㅤ при ㅤ редактировании ㅤ DFD, ㅤ вообще ㅤ говоря, ㅤ должны ㅤ
корректироваться ㅤ и ㅤ спецификации ㅤ процессов.
Текс
товое
описание
Структуриро
ванный
естественный язык
та
блица
решений
де
рево
решений
Визу
альный
язык
язык
программирования
Таблица 5. ㅤ Спектр ㅤ методов ㅤ задания ㅤ спецификаций ㅤ процессов
Перечислим ㅤ некоторые ㅤ положительные ㅤ и ㅤ отрицательные ㅤ стороны ㅤ
рассмотренных ㅤ методов ㅤ задания ㅤ СП.
Структурированный ㅤ естественный ㅤ язык ㅤ применяется ㅤ в ㅤ случаях, ㅤ
когда ㅤ детали ㅤ СП ㅤ известны ㅤ не ㅤ полностью. ㅤ Он ㅤ обеспечивает ㅤ быстрое ㅤ
проектирование ㅤ СП, ㅤ прост ㅤ в ㅤ использовании, ㅤ легко ㅤ понимаем ㅤ
проектировщиками ㅤ и ㅤ программистами, ㅤ а ㅤ также ㅤ конечным ㅤ пользователем. ㅤ
К ㅤ его ㅤ недостаткам ㅤ относятся ㅤ отсутствие ㅤ процедурных ㅤ возможностей ㅤ и ㅤ
47
неспособность ㅤ к ㅤ автоматической ㅤ кодогенерации ㅤ из-за ㅤ наличия ㅤ
неоднозначностей.[22]
Таблицы ㅤ и ㅤ деревья ㅤ решений ㅤ позволяют ㅤ управлять ㅤ сложными ㅤ
комбинациями ㅤ условий ㅤ и ㅤ действий, ㅤ обеспечивают ㅤ визуальное ㅤ (табличное ㅤ и ㅤ
Баланса
ㅤ
графическое, ㅤ соответственно) ㅤ
графическое
ㅤ
представление ㅤ СП ㅤ и ㅤ
Именно
ㅤ
легко ㅤ понимаемы ㅤ
Вводу
ㅤ
конечным ㅤ пользователем. ㅤ
То
ㅤ
Кроме ㅤ этого, ㅤ
поддерживаются
ㅤ
таблицы ㅤ решений ㅤ
Таблицы
ㅤ
позволяют ㅤ легко ㅤ
задания
ㅤ
идентифицировать ㅤ несущественности ㅤ и ㅤ
декомпозицию
ㅤ
бреши ㅤ в ㅤ СП. ㅤ
Денег
ㅤ
Главным ㅤ недостатком ㅤ
также
ㅤ
методов ㅤ является ㅤ
когда
ㅤ
отсутствие ㅤ процедурных ㅤ
сложность
ㅤ
возможностей.[26]
48
3. АНАЛИЗ ПРИИМУЩЕСТВ АВТОМАТИЗАЦИИ
ЭЛЕКТРОННОГО ПРЕДПРИЯТИЯ
3.1. Анализ методов деятельности электронного предприятия
Среди большого числа методов оценки деятельности предприятий
наибольшее распространение (по крайней мере в отечественных
консалтинговых проектах) получили следующие два:
· метод динамического функционального анализа на основе сетей
Петри различного вида;
· метод функционально-стоимостного анализа ABC.
Каждый из этих методов (и соответствующих поддерживающих
инструментальных средств) регламентирует следующие основные этапы
выполнения оценок:
· построение статической функциональной модели (с
использованием SADT или DFD-нотации);
· расширение статической модели соответственно поведенческими
или стоимостными характеристиками ее объектов;
· сбор и ввод в модель необходимой фактической информации;
· «исполнение» модели и получение соответствующих оценок.
· Динамическое моделирование с использованием сетей Петри.[38]
Сеть Петри представляет собой ориентированный граф с вершинами
двух типов (позициями и переходами), в котором дугами могут
соединяться только вершины различных типов. В позиции сети
помещаются специальные маркеры («фишки»), перемещение которых и
отображает динамику моделируемой системы. Изменение маркировки
(движение маркеров) происходит в результате выполнения (срабатывания)
49
перехода на основе соответствующего внешнего события. Точнее, переход
срабатывает, если во всех его входных позициях имеются маркеры и
происходит соответствующее переходу событие. При этом из каждой
входной позиции срабатываемого перехода маркер удаляется, а в каждую
выходную позицию – заносится.[40]
Рисунок 5. Пример сети Петри[42]
На рис. 5 приведен пример сети Петри с позициями P1-P6 и
переходами t1-t8. Единственный маркер находится в позиции P1, все
остальные позиции пусты. При срабатывании перехода t1 маркер
переносится из позиции P1 в позицию P2, при срабатывании перехода t2
маркер переносится из позиции P2 в позиции P3 и P4 и т.д.
Фактически сеть Петри декомпозирует систему на активные
(переходы) и пассивные (позиции – хранилища маркеров) элементы.
Следует отметить, что рассмотренные ранее диаграммы переходов
состояний являются вырожденными сетями Петри, а именно, сетями с
одним типом вершин (переходами).[37]
На практике обычно применяются более сложные и развитые сети
Петри. Модификации, как правило, касаются следующих трех моментов:
· введение иерархии (иерархические сети Петри);
· определение различий в маркерах, каждый из которых имеет свои
уникальные характеристики (цветные / раскрашенные сети Петри);
50
· введение многоместных (содержащих несколько маркеров)
позиций, как последовательных, так и параллельных (сети Петри с
многоместными позициями).
Последнее вносит в работу сети специфику, характеризуемую
правилами срабатывания переходов. Последовательная позиция
соответствует дисциплине FIFO (first in – first out): входящий маркер
ставится в конец очереди, выходящий берется из ее начала. Поэтому
срабатывание перехода обуславливается характеристиками начального
маркера – если эти характеристики являются неблагоприятными, то
переход блокируется и функционирование сети прекращается. Из
параллельной позиции может выйти любой из находящихся в ней
маркеров, удовлетворяющий условию срабатывания перехода (при этом
для избежание конфликтов маркерам присваиваются приоритеты).[26]
ABC – метод функционально-стоимостного анализа
ABC (Activity Based Costing) – метод определения стоимости и
других характеристик товаров и услуг на базе функций и ресурсов,
задействованных во всех деятельностях предприятия (производстве,
маркетинге, обслуживании клиентов, оказании услуг, технической
поддержке и т.п.). Он был разработан как «операционно-ориентированная»
альтернатива традиционным подходам, основанным на использовании
прямых затрат труда и материалов как основы для вычисления накладных
расходов. ABC-метод рассматривает деятельность предприятия как
множество последовательно выполняемых процессов / функций (в том
числе и косвенных, вносящих большой вклад в формирование стоимости),
распределяя при этом накладные расходы в соответствии с детальными
расчетами использования ресурсов, подробными моделями процессов и их
влиянием на себестоимость.[14]
Определение стоимости производится в два этапа:
51
· определение затрат на выполнение функций на основе
необходимых для этого ресурсов, включающих прямые затраты
материалов и труда, косвенные затраты труда и накладные расходы
· определение затрат на стоимостные объекты (товары, услуги,
обслуживание клиентов) на основе используемых ими функций.
· Фактически ABC-модель содержит три взаимоувязанных модуля:
· модуль ресурсов, моделирующий все необходимые для
деятельности предприятия ресурсы в денежном выражении – затраты на
аренду помещений, оборудование, оплату труда, сырье и материалы и т.п.
· модуль функций, составляющих в совокупности деятельность
предприятия (представляющий собой иерархическую функциональную
модель предприятия, обеспечивающую как представление обобщенной
картины его деятельности, так и доступ к детализированным процессам
нижних уровней).[33]
· модуль стоимостных объектов, моделирующий результаты
деятельности предприятия, на которые в конечном счете и расходуются
средства.
Разработка ABC-модели включает следующие этапы:
· выявление требуемых ресурсов
· выявление стоимостных объектов
· определение функций
· определение факторов ресурсов – показателей, применяемых для
установления взаимосвязей между модулями ресурсов и функций
· определение стоимости функций
· отбор функциональных факторов – показателей, применяемых для
установления взаимосвязей между модулями функций и стоимостных
объектов.