CC BY
26
Рис, 1
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Мейер Д. Теория реляционных баз данных, М,: Мир, 1987,
2, Новиков В.Е. Концепты и функциональные зависимости // Математика, Механика: Сб. науч. тр. Саратов: Изд-во С арат, ун-та, 2007, Вып. 9, С, 68-70,
3. Ganter В., Wille R. Formal Concept Analysis, Mathematical Foundations, Berlin: Springer-Verlag, 1999,
4, Вагнер В.В. Теория отношений и алгебра частичных отображений // Теория полугрупп и её приложения. Саратов: Изд-во Сарат, ун-та, 1965, Выи.1. С, 3 - 178,
УДК 519.95: 681.31
А.А. Орел
О ПРЕОБРАЗОВАНИИ МОДЕЛЕЙ БИЗНЕС-ПРОЦЕССОВ, ОСНОВАННЫХ НА СЕТЯХ ПЕТРИ, К SADT-МОДЕЛЯМ
В работе [1] была рассмотрена технология проектирования бизнее-процессов, состоящая из двух этапов. На начальном этапе применяется методология структурного проектирования SADT [2] и создается функциональная модель, а затем на ее основе строится имитационная модель с использованием аппарата сетей Петри. Отмечено, что зачастую при построении имитационной модели лежащая в ее основе функциональная модель недостаточно точна и допускает неоднозначную трактовку. Для устранения обнаруженной неточности или неоднозначности требуется изменение функциональной модели и возврат к построению новой имитационной модели. Таким образом, реализуется некоторый итерационный процесс, в результате которого создаются все более точные модели рассматриваемой предметной области. Процесс завершается, когда устраняются все неточности и неоднозначности функциональной модели или когда достигается достаточная согласованность между функциональной и имитационной моделями.
Циклического процесса уточнения функциональной модели можно избежать, если на первом этапе проектирования построить имитационную модель на основе сети Петри. Это оправдано в случаях, когда наиболее важен
анализ динамических характеристик при взаимодействии бизнес-процессов. Примером может служить модель функционирования крупной библиотеки, построенная с использованием аппарата сетей Петри, рассмотренная в работе [3]. В этой работе применена методология проектирования «от общего к частному», основанная на последовательном уточнении проектных решений, представленных моделями, каждая последующая из которых уточняет предыдущую модель, до тех пор, пока не достигается необходимая степень детализации. Так, первая наиболее общая модель представлена сетью Петри, вид которой изображен на рис. 1. Она описывает только процессы выдачи и
Читатель Книгохранилище
Рис.1
приема книг. Далее делается более десяти шагов для достижения требуемой детализации описания предметной области. В результате получается модель, отражающая основные бизнес-процессы функционирования крупной библиотеки. Она представлена следующей сетью Петри (рис. 2).
В данной модели функции читателя представлены переходами сети Петри, реализующими заказ, получение или возврат книги. Кроме того, отражены функции библиотеки, такие как приобретение новых книг и ликвидация книг пришедших в негодность. Они представлены соответствующими сетевыми переходами.
Рассмотрим задачу построения функциональной БАОТ-модели на основе сети Петри. В соответствии с технологией, описанной в работе [1], переходам сети Петри соответствуют функциональные блоки, а позициям дуги функциональной модели, передающие данные. Однако такая технология не применима, когда позиции сети Петри представляют накопители данных. В рассмотренной модели такими позициями являются: книгохранилище, каталог книг и каталог выданных книг. При выполнении сети Петри фишки, моделирующие данные, поступающие в такие позиции, могут накапливаться, поэтому извлекаемые из них фишки при последовательных тактах выполнения сети в общем случае соответствуют другим данным. Необходимо найти способ представления позиций накопителей данных в функциональной модели. Одним из вариантов представления такой позиции в функциональной модели являются последовательно связанные функциональные (рис. 3).
С точки зрения системного анализа подобная связь между функциями может квалифицироваться как патологическая, нарушающая принцип скрытия, а функциональные блоки могут оцениваться как содержательно-
Рис.2
Рис.3
связанные. Однако в рассматриваемом случае дуга, передающая данные от выхода первого блока на вход второго символизирует всю совокупность хранимых данных, в то время как второй блок использует только часть данных. В общем случае эти данные отличаются от тех, которые получены на выходе первого блока. Поэтому рассматриваемые блоки не являются содержательно-связанными, а связь между ними не является патологической. Используя описанный подход, можно выполнить преобразование сети Петри, представленной на рис. 2, в функциональную модель. В результате получим следующую диаграмму (рис. 4).
M1 M2
Читатели Сотрудники
Рис.4
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1, Орел A.A. Моделирование бизнес-процессов е помощью сетей Петри // Математика, Механика: Сб. науч. тр. Саратов: Изд-во Сарат, ун-та, 2005, Вып. 7, С, 89-93,
2, Марка Д.А., МакГоуэн К. Методология структурного анализа и проектирования, М,: МетаТехнология, 1993,
3, Starego D. Modelowanie systemu funkcjonowania biblioteki za pomocg, sieci Petriego, Referat wygloszony na IV srodowiskowej konfereneji matematycznej Rzeszöw-Czudec, listopad, 1997, http://danstar.republika.pl/publik/modelow.html
УДК 517.54
Е.В. Разумовская, А.В. Володченко
ОБ ОДНОМ КОЭФФИЦИЕНТНОМ ФУНКЦИОНАЛЕ НА КЛАССАХ ОДНОЛИСТНЫХ ОГРАНИЧЕННЫХ ФУНКЦИЙ
Пусть С - класс функций Каратеодори p(z) = 1 + p1z + p2z2 + .... Обозначим через С (a, Y), 0 < а<1, 0< y < 1/(1 — а) подкласс всех фу нкций С h(z) = 1 + h1z + h2z2 + ..., таких, что h(z) = (1—О-(7z)+a + 7,p(z) G С.
Зафиксируем M, 1 < M < ж. Пусть Ct(a, 7) - класс всех функций h(z, t), определенных на множестве E х [0, log M], удовлетворяющих условию h(.,t) G С (a, y ) для ^отти в сех t G [0, log M}; h(w,.) измерима на [0, log M], w G E = {z : |z| < 1} Будем говорить, если f (z) G SM(a,7), то она может быть представлена в виде f (z) = Mf (z, log M,h),h G СДа, 7) , где f(z, t, h)
dw
— = —wh(w,t),t G [0, logM], w|t=0 = z, z G E.
dt
Такие классы функций при некоторых параметрах а, 7, M совпадают с классами функций, введенными В.Я. Гутлянским [1]. В таких классах рассмотрим задачу о нахождении множества значений системы функционалов I1 (f) = (Re а,2, Im a2, Re а2а3). Похожие функционалы в данных классах исследовались в работах А.Ю. Васильева [2, 3]. Основным результатам предпошлем лемму.
Лемма. Пусть p (z) G С. Тогда множество значений (Rep1, Imp2, Rep2) задается условиями |p1| < 2,
2 2 maxRep2 (p1) = 2 — (Imp1) ,minRep2 (p1) = —2 + (Rep1) ,
pGC pGC
(Repi - Im pi) (Repi + Im pi) maximp2 (pi) = 2--, minimp2 (pi) =--2.
peC 2 peC 2
