CC BY
164
Программные продукты и системы / Software & Systems
№ 1 (109), 2015
УДК 004.94 Дата подачи статьи: 20.01.14
DOI: 10.15827/0236-235X.109.034-037
ПОДХОД К ОЦЕНКЕ СЛОЖНОСТИ ДИАГРАММ SADT (IDEF0)
А.А. Усков, д.т.н., профессор, prof.uskov@gmail.ru;
А.Г. Жукова, аспирант (Российский университет кооперации, ул. В. Волошиной, 12/30, Московская область, г. Мытищи, 141014, Россия)
Методология SADT (Structured Analysis and Design Technique) и ее составная часть IDEF0 широко используются для моделирования бизнес-процессов, программных систем, а также технологических и производственных процессов. Для реализации методологии SADT существует разнообразный арсенал CASE-средств.
Построение SADT-модели начинается с представления всей системы в виде одного блока и дуг, изображающих интерфейсы системы с окружающей средой, то есть так называемой контекстной диаграммой. Затем указанный блок декомпозируется на диаграмме декомпозиции на ряд блоков, соединенных интерфейсными дугами. Эти блоки представляют собой подфункции исходной функции, каждая из которых при необходимости далее декомпозируется подобным образом до достижения требуемой детализации модели.
В статье предложен новый подход к оценке сложности восприятия моделей SADT на основе учета особенностей функционирования кратковременной (оперативной) памяти человека и процесса переноса данных из кратковременной памяти в долговременную. Введены в рассмотрение коэффициент сложности восприятия модели и формулы для его вычисления, что позволяет проводить сравнение и оптимизацию SADT-моделей по данному параметру.
Проведен анализ коэффициента сложности восприятия для случая однородной SADT-модели (модели, имеющей одинаковое количество блоков на всех диаграммах), подтвердивший известный эмпирический принцип: число блоков диаграммы должно находиться в диапазоне 3-6. Анализ неоднородной двухуровневой SADT-модели показал, что для уменьшения коэффициента сложности восприятия нужно выбирать такую стратегию декомпозиции, чтобы с ростом уровня декомпозиции снижалось число блоков на диаграммах. Предложено для повышения точности оценок сложности восприятия SADT-моделей использовать адаптируемые нечеткие системы, при этом теоретическую оценку коэффициента сложности восприятия использовать как априорную информацию, а экспериментальные данные - как обучающую выборку.
Ключевые слова: декомпозиция, диаграмма, модель, Structured Analysis and Design Technique, SADT, IDEF0.
Методология SADT (Structured Analysis and Design Technique) и ее составная часть IDEF0 широко используются для моделирования бизнеспроцессов, программных систем, а также технологических и производственных процессов [1—4]. Для реализации данной методологии имеется разнообразный арсенал CASE-средств [2, 3].
Построение SADT-модели начинается с представления всей системы в виде одного блока и дуг, изображающих интерфейсы системы с окружающей средой, это так называемая контекстная диаграмма.
Затем указанный блок декомпозируется на диаграмме декомпозиции на ряд блоков, соединенных интерфейсными дугами. Эти блоки представляют подфункции исходной функции. При необходимости ка-
ждая из подфункций далее декомпозируется подобным образом до достижения требуемой детализации модели.
Структура иерархии блоков SADT-диаграммы изображается в виде дерева модели. Пример дерева модели приведен на рисунке 1.
Рис. 1. Диаграмма дерева модели Fig. 1. A model tree diagram ----1----------------------
34
Программные продукты и системы / Software & Systems
№ 1 (109), 2015
Очевидно, что декомпозиция системы на составные элементы может быть проведена неоднозначно, включая те или иные части системы в отдельные блоки.
В литературе [1-3] описан ряд эмпирических принципов построения иерархии диаграмм SADT, назовем основные из них.
Принцип 1. Для наглядности на одной диаграмме рекомендуется выбирать 3-6 блоков (по другим источникам, 2-8) [1-3].
Принцип 2. Необходимо стремиться, чтобы количество блоков на диаграммах нижнего уровня было меньше, чем на родительских диаграммах. Иногда это условие формулируется в более мягкой форме, требуется лишь убывание коэффициента: a=N/L, (1)
где N - количество блоков на диаграмме; L - уровень декомпозиции данной диаграммы [2].
Перечисленные принципы лишь в общих чертах учитывают особенности обработки информации человеком и не позволяют однозначно сравнивать различные варианты выполнения модели по критерию наилучшего восприятия человеком.
В статье рассмотрен предложенный подход к оценке сложности восприятия SADT-модели, использующий особенности функционирования кратковременной (оперативной) памяти человека и процесса переноса данных из кратковременной памяти в долговременную.
Существуют два основных вида памяти человека: кратковременная и долговременная [5]. Кратковременная память позволяет вспомнить что-либо через промежуток времени от нескольких секунд до минуты без повторения. Емкость кратковременной памяти составляет 7±2 объекта. Именно такое количество объектов хорошо поддается счету, классификации и длительному запоминанию за счет эффективного переноса из кратковременной в долговременную память. Более детальные исследования показывают связь между числом информационных единиц, силой ингибиторных связей нейронов, вероятностью ошибок и энергетическими затратами на запоминание [6]. Существует следующая связь между числом информационных единиц n и числом ошибок при запоминании Q. Число n в относительных единицах равно 3, 7, 10, 13, 15, а число Q соответственно 1, 15, 50, 200, 400.
Несложно заметить, что достаточно точной аппроксимацией зависимости Q(n) является функция Q(n) = exp(0,4n) - 1. (2)
Для дальнейшего анализа введем ряд допущений: 1) сложность восприятия SADT-модели пропорциональна энергетическим затратам на ее запоминание; 2) человек изучает модель достаточно медленно, последовательно, начиная с контекстной диаграммы, затем переходя ко все более высоким уровням декомпозиции; за время рассмотрения одной диаграммы информация о ее содер-
жании успевает перейти из кратковременной в долговременную память.
С учетом принятых допущений и формулы (2) введем в рассмотрение коэффициент сложности восприятия (КСВ) модели, определяемый выражениями:
Qs = Ё Q , Qi = ехР(0,4ni)-1, (3)
i= 1
где n, - число блоков на i-й диаграмме; M - общее число диаграмм декомпозиции для всех уровней модели.
Рассмотрим влияние структуры SADT-модели (число диаграмм, входящих в модель, и число блоков на диаграмме) на коэффициент сложности восприятия.
Наиболее просто задача решается для однородной модели, под которой будем понимать модель с одинаковым количеством блоков на каждой из диаграмм декомпозиции n и с одинаковым уровнем декомпозиции для всех диаграмм нижнего уровня I.
Для однородной SADT-модели общее число концевых блоков (блоков диаграмм нижнего уровня) определяется формулой
N = n\ (4)
а общее число диаграмм декомпозиции
M=1+n+n2+...+nl-1. (5)
Воспользовавшись формулой для суммы геометрической прогрессии, приведем формулу (5) к следующему виду:
M =
1 - n
1 - n
(6)
Решая совместно (4) и (6), получим
N-1
M = -
(7)
n-1
Сопоставляя выражения (3) и (7), получим формулу для определения коэффициента сложности восприятия однородной SADT-модели:
Q = (N-1)1^^ = (N-1)f(n). (8)
n-1
График функции Qs(n)/(N-1) приведен на рисунке 2.
Как следует из рисунка 2, коэффициент сложности восприятия однородной SADT-модели минимален при количестве блоков на диаграммах,
Рис. 2. Зависимость Qs(n)
Fig. 2. Qs(n) correlation
35
Программные продукты и системы / Software & Systems
№ 1 (109), 2015
равном трем, и экспоненциально возрастает при увеличении числа блоков.
Отсюда можно сделать вывод, что не рекомендуется строить диаграммы SADT с числом блоков, превышающим 6-8, что полностью соответствует приведенному выше принципу 1.
На практике SADT-модели обычно неоднородны. Определить КСВ в данном случае можно, воспользовавшись формулой (3). Однако провести анализ влияния структуры SADT-модели на КСВ в общем случае удается только численно. Поэтому далее будет рассмотрен частный случай: двухуровневая модель с числом блоков щ и п2 на первом и втором уровнях декомпозиции соответственно.
На основе формулы (3) для рассматриваемой модели несложно получить:
Qs(n1, п2) = exp(0,4n1) + п (ехр(0, 4п2 ) -1) -1. (9)
Общее число концевых блоков модели определяется формулой
N = щ п2. (10)
Рассмотрим относительный КСВ (КСВ на один концевой блок модели N):
Qso(n 1, п2)
Qs(n 1, п2 )
N
exp(0,4п1) + п1 (exp(0,4п2) -1) -1
(11)
п1 п2
График линий уровня относительного КСВ (11) приведен на рисунке 3.
Как следует из рисунка 3, линии уровня относительного КСВ вытянуты вдоль горизонтальной оси. Таким образом, при одном и том же числе концевых блоков (10) меньший КСВ будет у модели, для которой щ > п2, и для получения меньшего значения КСВ необходимо снижать число блоков
на диаграмме с увеличением уровня декомпозиции, что соответствует названному выше принципу 2.
Примем для рассматриваемой модели число концевых блоков N =24. Для данного случая возможны различные варианты декомпозиции. В таблицу сведены число блоков на первом щ и втором п2 уровнях декомпозиции, КСВ, соответствие эмпирическим принципам. Из данных, приведенных в таблице, видно, что выбор структуры SADT-модели в соответствии с эмпирическими принципами обеспечивает наименьший КСВ.
Число блоков на первом и втором уровнях,
КСВ, соответствие эмпирическим принципам
A number of blocks on the 1st and the 2nd level, КСВ, correspondence to empirical principles
и, и? Qs(n,, щ) Комментарий
2 12 242,2 Не удовлетворяет принципам о числе блоков 3-6 и об уменьшении числа блоков при увеличении уровня декомпозиции
3 8 72,9 Не удовлетворяет принципам о числе блоков 3-6 и об уменьшении числа блоков при увеличении уровня декомпозиции
4 6 44,0 Не удовлетворяет принципу об уменьшении числа блоков при увеличении уровня декомпозиции
6 4 33,7 Удовлетворяет всем принципам
8 3 42,1 Не удовлетворяет принципу о числе блоков 3-6
12 2 35,2 Не удовлетворяет принципу о числе блоков 3-6
Рассмотренная выше оценка КСВ получена теоретически, улучшить ее точность можно путем совместного использования теоретической оценки и экспериментальных данных. В частности, для построения модели сложности восприятия диаграмм SADT можно использовать адаптируемые нечеткие системы, при этом теоретическую модель использовать как априорную информацию, а экспериментальные данные - как обучающую выборку [7, 8].
По результатам работы можно сделать следующие выводы.
Приведен подход к оценке сложности восприятия SADT-модели на основе учета особенностей функционирования кратковременной (оперативной) памяти человека и процесса переноса данных из кратковременной памяти в долговременную. Введены в рассмотрение коэффициент сложности восприятия модели и формулы для его вычисления, что позволяет проводить сравнение и оптимизацию SADT-моделей по данному параметру. Проведенный анализ коэффициента сложности восприятия для случая однородной SADT-модели подтвердил известный эмпирический принцип: число блоков диаграммы должно находиться в диапазоне 3-6.
36
Программные продукты и системы / Software & Systems
№ 1 (109), 2015
Анализ неоднородной двухуровневой SADT-модели показал, что для уменьшения КСВ нужно таким образом выбирать стратегию декомпозиции, чтобы с ростом уровня декомпозиции число блоков на диаграммах снижалось.
Для повышения точности оценок сложности восприятия SADT-модели предложено использовать адаптируемые нечеткие системы, при этом теоретическую оценку КСВ необходимо использовать как априорную информацию, а экспериментальные данные - как обучающую выборку.
Разработанное ПО позволяет минимизировать SADT-модели по сложности восприятия [9]. В статье [10] можно найти более подробное описание данных исследований.
Литература
1. Марк Д.А., Мак-Гоуэн К. Методология структурного анализа и проектирования SADT. М.: Метатехнологии, 1993. 243 с.
2. Вендров А.М. Проектирование программного обеспе-
чения экономических информационных систем. 2-е изд. М.: Финансы и статистика, 2006. 544 c.
3. Черемных С.В., Семенов И.О., Ручкин В.С. Моделирование и анализ систем. IDEF-технологии: практикум. М.: Финансы и статистика, 2006. 192 с.
4. Гагарина Л.Г., Кокорева Е.В., Виснадул Б.Д. Технология разработки программного обеспечения. М.: ФОРУМ:
ИНФРА-М, 2009. 400 с.
5. Саймон Г. Науки об искусственном. М.: Едиториал УРСС, 2004. 144 с.
6. Bick C., Rabinovich M.I. Dynamical Origin of the Effective Storage Capacity in the Brain’s Working Memory. Physical Review Letters. 2009, no. 103, 218101.
7. Круглов В.В., Усков А.А. Алгоритм самоорганизации системы нечеткого логического вывода // Вестн. МЭИ. 2002. № 5. С. 104-105.
8. Круглов В.В., Усков А.А. Два подхода к самоорганизации базы правил системы нечеткого логического вывода // Информационные технологии. 2006. № 2. С. 14-18.
9. Усков А.А., Жукова А.Г., Кондратова Н.В. Оценка коэффициента сложности восприятия визуальных моделей // Свид. о гос. регистр. прогр. для ЭВМ № 2014618234, 2014.
10. Усков А.А., Жукова А.Г. Матричное представление иерархических визуальных моделей для CASE-средств // Информационные технологии. 2014. № 11. С. 36-39.
DOI: 10.15827/0236-235X.109.034-037 Received 20.01.14
AN APPROACH TO SADT (IDEF0) DIFFICULTY EVALUATION
Uskov A. A, Dr.Sc. (Engineering), Professor, prof. uskov@gmail.ru; Zhukova AG., Postgraduate Student (Russian Federationn University of Cooperation,
V. Voloshina St. 12/30, Mytishchi, Moscow Reg., 141014, Russian Federation)
Abstract. SADT (Structured Analysis and Design Technique) methodology and its component IDEF0 is widely used for modeling business processes, software systems, as well as technology and production processes. There is a wide range of CASE-tools to implement SADT methodology.
SADT-model construction starts with the presentation of a system as a single unit and arcs representing system interfaces with the environment. It is a so called contextual diagram. Then, this block is decomposed into several blocks joined by arcs interface. These blocks are the original function subfunctions. Each of the sub-functions if necessary can be decomposed further in a similar manner to achieve the desired granularity.
The paper offers a new approach to estimating the complexity of SADT models perception based on functioning features of short-term human memory and transferring data process from short-term memory into long-term. The article considers a model perception factor and a formula to calculate it which allows comparing and optimizing SADT models for a given parameter.
The paper contains a perception factor analysis for a homogeneous SADT model (a model with the same number of blocks in all the diagrams). It confirms the known empirical principle: the number of diagram blocks should be in the range 3-6. An analysis of heterogeneous 2-level SADT model has shown that to reduce a perception factor, it is necessary to choose a decomposition strategy so that the number of blocks on the charts decreased when a decomposition level increases. The authors propose to use adaptable fuzzy systems for increasing the accuracy of estimating SADT models perception difficulty. Thus, a theoretical estimate of perception factor should be used as a priori information and experimental data as a training set.
Keywords: decomposition, diagram, model, Structured Analysis and Design Technique, SADT, IDEF0.
References
1. Marca D.A., McGowan C.L. SADT: Structure Analysis and Design Techniques. McGraw Hill Publ., New York, 1988 (Russ. ed.: Moscow, Meta Tekhnologiya Publ., 1993, 243 p.).
2. Vendrov A.M. Proektirovanie programmnogo obespecheniya ekonomicheskikh informatsionnykh sistem [Software design for economic information systems]. 2nd ed., Moscow, Finansy i statistika Publ., 2006, 544 p.
3. Cheremnykh S.V., Semenov I.O., Ruchkin V.S. Modelirovanie i analiz sistem. IDEF-tekhnologii: praktikum [System modeling and analysis. IDEF-technologies: practicum]. Moscow, Finansy i statistika Publ., 2006, 192 p.
4. Gagarina L.G., Kokoreva Ye.V., Visnadul B.D. Tekhnologiya razrabotki programmnogo obespecheniya [A developing technology for software]. Moscow, ID "FORUM": INFRA-M Publ., 2009, 400 p.
5. Saymon G. Nauki ob iskusstvennom [Sciences on artificial]. Moscow, Editorial URSS Publ., 2004, 144 p.
6. Bick C., Rabinovich M.I. Dynamical Origin of the Effective Storage Capacity in the Brain’s Working Memory. Physical Review Letters. 2009, 103, 218101.
7. Kruglov V.V., Uskov A.A. An algorithm of self-organizing fuzzy inference system. VestnikMEI [Bulletin of MPEI]. 2002, no. 5, pp. 104-105 (in Russ.).
8. Kruglov V.V., Uskov A.A. Two approaches to self-organizing rule base of fuzzy inference system. Informatsionnye tekhnologii [Information Technologies]. 2006, no. 2, pp. 14-18.
9. Uskov A.A., Zhukova A.G., Kondratova N.V. Programmny modul “Otsenka koefftsienta slozhnosti vospriyatiya vizualnykh modeley" [Software module “Estimation of visual models perception factor”]. Patent RF, no. 2014618234, 2014.
10. Uskov A.A., Zhukova A.G. Matrix representation of hierarchical visual models for CASE-tools. Informatsionnye tekhnologii [Information Technologies]. 2014, no. 11, pp. 36-39.
37
