CC BY
122
АНАЛИЗ ИНТЕГРАЦИИ СЕРВИС-ОРИЕНТИРОВАННЫХ СРЕДСТВ В АКТИВНЫХ ИНФОКОММУНИКАЦИОННЫХ СРЕДАХ
Птицына Л.К., д.т.н., профессор, Санкт-Петербургский государственный университет телекоммуникаций имени проф. М.А. Бонч-Бруевича, [email protected] Веселов В.О., Санкт-Петербургский государственный университет телекоммуникаций имени проф. М.А. Бонч-Бруевича, [email protected]
£ О л л С
Ключевые слова:
сервис-ориентированная архитектура, сервис-ориентированное средство, интеграция, инфокоммуникационная среда, анализ.
Представляются основания для развития сервис-ориентированных архитектур. Указан контекст интерпретации сервис-ориентированных архитектур. Отмечается перспективность сочетания сервис-ориентированных архитектур и процессного подхода к организационным структурам. Даётся краткая характеристика достижениям в области аналитических исследований сервис-ориентированных архитектур. Выделяются допущения известных результатов анализа интеграции сервис-ориентированных средств. Описывается реальная ситуация невыполнения традиционных допущений. Выделенная ситуация связывается с активными инфокоммуникационными средами. Устанавливается причина необходимости введения обновлений в аналитические исследования сервис-ориентированных архитектур. Рассматриваются ключевые особенности предназначения обновлений. Ставится задача сохранения преемственности принципов методологической канвы аналитических исследований сервис-ориентированных архитектур. Предлагается концепция выделения типов активности инфокоммуникационной среды. Приводится описание основных признаков выделенных типов активности инфокоммуни-кационной среды. При описании учитываются функциональные и топологические особенности интеграции сервис-ориентированных средств и случайный характер активностей инфокоммуникационных сред. Для обновлений предлагается теоретическая основа определения математических преобразований моделей сервис-ориентированных архитектур. Формальное описание интеграции сервис-ориентированных средств базируется на представлении расширенной объектно-ориентированной модели архитектуры многокомпонентного программного обеспечения в активной инфокоммуникационной среде. Модели строятся в классе диаграмм деятельности и классе конечных автоматов. При построении моделей соблюдаются все принципы объектно-ориентированного моделирования. Расширения объектно-ориентированных моделей касаются отображения профилей случайных действий с дискретным временем, их связей, функциональных спецификаций интеграции и воздействий активных инфокоммуникационных сред. Каждая расширенная объектно-ориентированная модель интеграции сервис-ориентированных средств формируется в параметрическом и характеристическом пространстве. Для сервис-ориентированных архитектур выбирается система показателей качества. В систему включаются статистические характеристики дискретного времени выполнения функциональных задач и риск срыва их временного регламента. Анализ интеграции сервис-ориентированных средств в активных инфокоммуникационных средах ориентируется на определение выбранных показателей качества. При анализе предусматривается функциональная избыточность. Она может использоваться для контроля правильности оценивания найденных определений показателей качества функционирования многокомпонентного программного обеспечения информационных систем.
Благодаря совершенствованию информационных технологий, сегментации мирового рынка, ужесточению конкуренции, компьютеризации рыночных отношений, углублению взаимозависимости производителей и многим другим факторам развивается стратегия создания и сопровождения многокомпонентных программных продуктов, предусматривающая гибкое и оперативное реагирование на изменение рыночных условий и повышение требований заказчиков. В процессе развития реализуется адаптация архитектуры гетерогенной сети к моделям бизнес-деятельности корпорации. Ряд механизмов адаптации базируется на совершенствовании инфраструктуры в темпе обновления сетевых технологий. Однако рыночные условия изменяются чаще, чем новые сетевые технологии вводятся в профессиональную деятельность. Разрешение подобной проблемной ситуации осуществляется посредством применения в корпорации сервис-ориентированной архитектуры (Service Oriented Architecture - SOA) и процессного подхода к её организационным структурам [1].
В жизненном цикле сервис-ориентированной архитектуры поддерживается и технологическое обновление в сети, предусматриваемое для повышения реактивности по отношению к изменениям окружающей среды. Сервис-ориентированная архитектура в сочетании с процессным подходом к разработке информационных систем признается одним из приоритетных направлений адаптации архитектуры корпоративных гетерогенных сетей к бизнес-процессам в целях обеспечения устойчивых конкурентных преимуществ профессиональной деятельности.
Для повышения качества профессиональной деятельности в инфокоммуникационной средах ищутся альтернативные варианты интеграции сервис-ориентированных средств. Поиск альтернативных вариантов основывается на сравнительном анализе. Для проведения сравнительного анализа строятся модели альтернативных вариантов интеграции сервис-ориентированных средств согласно принципам и формали-зациям, раскрытым в [1]. Каждая построенная модель рассматривается как основа для определения системно-аналитического базиса, обеспечивающего обоснование выбора рационального варианта интеграции сервис-ориентированных средств [2]. При разработке системно-аналитического базиса применяется метод анализа интеграции сервис-ориентированных средств, усовершенствованная модификация которого описывается в [3, 4]. Однако как при формировании моделей, так и при проведении анализа вводятся и преобразуются формальные описания программных комплексов при пассивных инфокоммуникаци-онных средах.
В исследуемых случаях пассивность распространяется на взаимодействие инфокоммуникационной среды и программного комплекса, образованного посредством интеграции сервис-ориентированных средств.
Для широкого многообразия приложений подобная позиция в схеме исследований согласуется с реальными условиями функционирования программных комплексов в инфокоммуникационных средах. Рассматриваемые условия пассивности проявляются при полной автоматизации профессиональной деятельности в инфокоммуникационных средах. При реактивных схемах взаимодействия программных комплексов сервис-ориентированной архитектуры и инфокомму-никационных сред научно-техническая задача аналитического моделирования альтернативных вариантов интеграции сервис-ориентированных средств остаётся нерешённой. В связи с этим актуализируется разработка формального подхода к моделированию интеграции сервис-ориентированных средств в активных инфокоммуникационных средах. При этом предпочтение отдаётся аналитическому моделированию, поскольку его результаты в дальнейшем могут использоваться для создания модельно-аналитического интеллекта многокомпонентных программных комплексов с гарантиями качества их функционирования.
В разрабатываемом подходе требуется, во-первых, формализовать механизмы оказания воздействий активных инфокоммуникационных сред на функционирование многокомпонентных программных комплексов сервис-ориентированной архитектуры и, во-вторых, предложить аналитические приёмы учёта влияния этих воздействий на их качество.
В целях сохранения преемственности принципов методологической канвы аналитических исследований сервис-ориентированных архитектур в предлагаемый подход вводятся принципы объектно-ориентированного моделирования. Согласно профилированию функциональных спецификаций программных комплексов сервис-ориентированной архитектуры для их представления выбирается класс диаграмм деятельности.
Формализация механизмов оказания воздействий активных инфокоммуникационных сред на многокомпонентные программные комплексы сервис-ориентированной архитектуры начинается с определения концепции выделения типов активности инфокомму-никационной среды. Определяемое концептуальное представление об активности инфокоммуникационных сред по отношению к многокомпонентным программным комплексам сервис-ориентированной архитектуры основывается на следующих принципах:
- воздействия инфокоммуникационной среды имеют стохастическую природу;
- по характеру воздействия инфокоммуникацион-ной среды различается ряд типовых вариантов:
1) после некоторого действия, присущего процессу функционирования многокомпонентного программного комплекса сервис-ориентированной архитектуры, активизируется вероятный альтернативный вариант его реализации, не предусматривающий возврат к выполнению одного из предыдущих действий (воздействие первого типа);
www.h-es.ru
h&es research
43
2) после некоторого действия, присущего процессу функционирования многокомпонентного программного комплекса сервис-ориентированной архитектуры, активизируется вероятный возврат к его реализации (воздействие второго типа);
3) после некоторого действия, присущего процессу функционирования многокомпонентного программного комплекса сервис-ориентированной архитектуры, активизируется вероятный возврат к реализации одного из предыдущих действий (воздействие третьего типа).
Благодаря введению перечисленных принципов осуществляется совместный учёт функциональных и топологических особенностей интеграции сервис-ориентированных средств и случайный характер активностей инфокоммуникационных сред.
Введённые принципы сопровождаются изменениями характеристического пространства расширенных объектно-ориентированных моделей интеграции сервис-ориентированных средств, формирование которых осуществляется согласно методике, предложенной и раскрытой в [3]. Для описания каждого 1-го воздействия любого типа вводится соответствующая вероятность. Каждое вероятное воздействие первого типа дополнительно представляется номером действия, которому предшествует активизация коммуникационной среды, и номером последнего действия, связанного с активизацией альтернативных действий в привязке к соответствующему вероятностному элементу. Каждое вероятное воздействие третьего типа дополнительно характеризуется номером действия, за которым следует активизация коммуникационной среды, и номером действия, к которому осуществляется возврат в привязке к соответствующему вероятностному элементу.
В результате подобных изменений характеристического пространства расширенная объектно-ориентированная модель интеграции сервис-ориентированных средств в активной инфокоммуникационной среде описывается с помощью следующих характеристик, функций и параметров:
- и;(к;), к; =1,2,..., К; - плотность распределения вероятностей к; дискретного времени выполнения ¿-го действия при функционировании интегрированного комплекса, К; - верхняя граница дискретного времени выполнения ¿-го действия, I - общее число действий, для каждого из которых соблюдается следующее условие:
= /-0,1,2, ...,/;
*,.=1
- р^, ] =1,2,..., 3; I = 1,2,..., Ь] вероятности выбора альтернативных вариантов реализации процесса функционирования интегрированного комплекса, которые удовлетворяют условию полной группы несовместных событий:
где ] - номер узла решения; Ь] - число альтернативных вариантов поведения после решения ], 3 - число узлов решения;
- матрица инциденций для узлов разъединения и узлов соединения А размера (пХп), где п - общее число узлов разъединения и узлов соединения; а, =0, если узлы не связаны через узлы действий; а, =1, если ]-ому узлу предшествуют узлы действий, следующие в последовательности узлов после ¿-ого узла; а, = -1, если узлы действий, предшествующие ;-ому узлу, следуют после ]-ого узла;
- спецификации всех узлов соединений, характеризующих взаимодействие действий в процессе функционирования интегрированного комплекса;
- О вектор, характеризующий вероятную активность инфокоммуникационной среды первого типа;
- номера действий, которым предшествует активизация воздействия коммуникационной среды первого типа, и номера последних действий, связанных с активизацией альтернативных действий в привязке к каждому элементу вектора О;
- Я вектор, характеризующий вероятную активность инфокоммуникационной среды второго типа;
- номера действий, с которыми связана активность коммуникационной среды второго типа в привязке к каждому элементу вектора Я;
- Q вектор, характеризующий вероятную активность инфокоммуникационной среды третьего типа;
- номера действий, за которыми следует активизация коммуникационной среды третьего типа, и номера действий, связанных с возвратом в привязке к каждому элементу вектора Q.
Для определения стохастического профиля интеграции сервис-ориентированных средств выбирается плотность вероятности времени выполнения деятельности, которая позиционируется как базовый показатель качества интегрированного программного комплекса. Выбираемый показатель позволяет найти любую числовую характеристику времени выполнения деятельности. Наибольшее внимание уделяется риску срыва временного регламента, что объясняется высокой востребованностью критических информационных технологий.
Для анализа интеграции сервис-ориентированных средств в активной инфокоммуникационной среде предлагается метод, определяемый следующими преобразованиями:
1. Выделение в модели множества действий, связанных с активностью инфокоммуникационной среды второго типа и формирование эквивалентной модели в виде конечной цепи Маркова с поглощающим состоянием в матричной форме для каждого ¿-го действия из выделенного множества
где Р - квадратная матрица ((^+2)х(^+2)) переходов во множестве дискретных состояний Б, |Б| = N+2, где (^+2)-ое псевдосостояние является поглощающим;
№ = щ(кО, к =1,2,..., К , п = к , N = К
Г - вероятность возврата к выполнению 1-го действия, ¿-ый элемент вектора .
Нахождение ^(к^) плотности распределения вероятностей кц =1,2, ..., N,... времени выполнения ¿-го действия при активизации инфокоммуникационной среды второго типа:
„(fr \—p(ki,i) _p(ki,i О
иУягл ) — М.ЛГ+2 M JV+2
(1)
(к )
где -(1,0^+2))-ой элемент кц-ой степени матрицы;
-(1,(^+2))-ой элемент (кц -1)-ой степени матрицы;
кц - дискретное время выполнения ¿-го действия при активизации инфокоммуникационной среды по второму типу.
Замена каждого действия из выделенной группы новым узлом укрупнённого действия с определением эквивалентной характеристики в виде плотности вероятности времени его выполнения ^(к^).
2. Выделение в расширенной объектно-ориентированной модели последовательностей узлов действий, замена каждой последовательности новым узлом более сложного действия с определением эквивалентной характеристики в виде плотности вероятности времени
его выполнения по следующей формуле:
.....Гт_п
......^ (2)
<Кл.....т)= Е
гит кг,
01 m
%L... (т-1)
ко,1,...,т = шт(ко+к!+... +кт), ... , тах(ко+к1+... +кт), т =0,1,..., М) ,
и (ко) = ио(ко)
где ко1,..,т - дискретное время выполнения последовательности т действий; и(ко,1...,т) - плотность вероятности времени выполнения последовательности (т+1) действий.
3. Нахождение в расширенной объектно-ориентированной модели группы узлов альтернативных дей-
ствий, замена каждой найденной группы новым узлом более сложного действия с определением эквивалентной характеристики в виде плотности вероятности времени его выполнения согласно соотношению:
L,
(3)
. j,..,L})=Lp j jMki)' J i=1
Kx ,i.. - rnin^, ■ ■ ■,max^ ;
; / i
и(к1,2,...,1,...,^ ) - плотность вероятности к12 ..д...,Ц. времени выполнения Ц альтернативных действий.
4. Выделение последовательностей узлов новых более сложных действий, замена каждой выделенной последовательности новым узлом укрупненного действия с определением по формуле (2) эквивалентной характеристики в виде плотности вероятности его выполнения.
5. Выделение узлов, представляющих действия, связанные с активизацией инфокоммуникационной среды по первому типу, замена каждой найденной группы новым узлом более сложного действия с определением эквивалентной характеристики в виде плотности вероятности времени его выполнения согласно соотношению (3) с использованием элементов вектора С вместо элементов р^.
6. Представление спецификаций узлов соединений расширенной объектно-ориентированной модели запроса с подтверждением в базисе функций л(^,
«М из где N - степень параллельности, М - число выполненных действий, по окончании которых завершается соединение параллельных действий.
7. Выделение в модели групп узлов параллельных действий, замена каждой группы новым узлом укрупненного действия с определением эквивалентной характеристики в виде плотности вероятности времени его выполнения на основе преобразований, представленных в [3, 5]:
иДк^,...,^...^) - плотности вероятности к12 ...,п,...^ времени выполнения параллельных действий при соединении согласно булевой функции л(^; иу(к1,2,..,п,..,^) - плотности вероятности времени выполнения параллельных действий при соединении согласно булевой функции у(^);
и^^д...,^...^) - плотности вероятности времени выполнения параллельных действий при соединении согласно функции «М из М>;
ищ^к^,..,^...^) - функции распределения времени выполнения параллельных действий при соединении согласно функции «М из М>.
8. Формирование последовательности узлов укрупненных действий и определение и(ко1 ...¿...д) плотности вероятности времени ко1 ц ..ц =1,2,..., Ко1 ц их выполнения согласно соотношению (2).
9. Выделение в модели групп узлов укрупнённых действий, связанных с активизацией инфокоммуника-ционной среды по третьему типу и формирование для
WWWH-ES RU
H&ES RESEARCH
45
каждой группы эквивалентной модели в виде конечной цепи Маркова с поглощающим состоянием в матричной форме, которая подобна (1):
го времени функционирования многокомпонентного программного комплекса сервис-ориентированной архитектуры в активной инфокоммуникационной среде и риска срыва временного регламента Я [С]
где Р - квадратная матрица ((^+2)х(^+2)) переходов во множестве дискретных состояний Б, |Б| = N+2, где (М+2)-ое псевдосостояние является поглощающим;
Дп) = и(ки+1,...,Д п = , N = К;,
и(кц+1,.] - плотность распределения вероятностей кг,г+1,...,_/ =1,2,...,^... времени выполнения действий до активизации инфокоммуникационной среды по третьему типу;
- вероятность активизации инфокоммуникационной среды по третьему типу, ¿-ый элемент вектора Q.
Нахождение и(к,+1,...]) плотности распределения вероятностей кц+1,..,] =1,2времени выполнения действий, связанных с воздействием инфокомму-никационной среды по третьему типу:
гдер/д^1 (1,(А/+2))-ой элемент и(кц+1^)-ой степени матрицы;
""г1) ~ (1,(^+2))-ой элемент (кц+1^- 1)-ой степени матрицы;
кц+\,..,] - дискретное время выполнения отдельной группы действий, связанных с воздействием инфоком-муникационной среды по третьему типу.
Замена выделенной группы новым узлом укрупненного действия с определением эквивалентной характеристики в виде плотности вероятности времени его выполнения и(кц+1,...,_/). Подобные преобразования, основанные на описании (4), осуществляются для каждой группы действий, связанных с активизацией инфоком-муникационной среды по третьему типу.
10. Формирование последовательности узлов укрупненных действий и определение и(к01.,; ,..,,(+ц) плотности вероятности времени к01,...,1,(1+1) = 1, 2, ..., К01,...,1,(1+1) их выполнения согласно соотношению (2).
11. Определение £[к0д,...,;...,1,(1+1)] математического ожидания, -О[к0д,.;,.1,(1+1)] дисперсии дискретно-
В предложенном методе осуществляется аналитическое определение качества функционирования многокомпонентного программного комплекса сервис-ориентированной архитектуры в активной инфокоммуникационной среде.
В отличие от известных формализаций в предлагаемом методе учитывается активность инфокоммуникационной среды и многообразие её профилей, чем и предопределяется его новизна.
Прикладная значимость разработанного метода заключается в обеспечении целевого проектирования рациональных вариантов организации многокомпонентных программных комплексов сервис-ориентированной архитектуры в активных инфокоммуникаци-онных средах.
Литература
1. Птицына Л.К. Программное обеспечение компьютерных сетей. Управление крупно-гранулярными процессами на основе языка BPEL: учеб. пособие / Л.К. Птицына, Н.Г. Смирнов. СПб.: Изд-во Политехн. ун-та, 2011. 105 с.
2. Птицына Л. К., Смирнов Н. Г. Системно-аналитическая основа интеграции сервис-ориентированных средств // Промышленные АСУ и контроллеры. 2011. № 5. С. 31-36.
3. Птицына Л.К., Смирнов Н.Г. Разработка и анализ моделей интеграции сервис-ориентированных средств в гетерогенных сетях // Научно-технические ведомости СПбГПУ. 2011. № 6.1 (138). С. 71-81.
4. Птицына Л.К., Смирнов Н.Г. Анализ модельно-ана-литического интеллекта систем управления интеграцией сервис-ориентированных средств // Системные исследования в науке, управлении и образовании. 2014. C. 106-113.
5. Птицын А.В., Птицына Л.К. Объектно-ориентированный анализ интеграции средств защиты информации// Вопросы защиты информации. 2013. № 1. С. 69-76.
6. Птицына Л.К., Лебедева А.А. Модельно-аналити-ческое обеспечение информационных интеллектуальных агентов с динамической синхронизацией их действий // Наукоемкие технологии в космических исследованиях Земли. 2014. № 6. С. 68-71.
ANALYSIS OF INTEGRATION OF SERVICE ORIENTED MEANS IN ACTIVE INFOCOMMUNICATION MEDIUMS
Ptitsyna L.., Doc.Tech.Sci., professor,
Saint-Petersburg State University of Telecommunications,
Veselov V., Saint-Petersburg State University of Telecommunications, [email protected]
Abstrart
Presented the basis for the development of service-oriented architectures. The specified context for interpreting service-oriented architectures. Context for interpreting service-oriented architectures is specified. Promising of the combination of service-oriented architectures and process approach to organizational structures is noted. We give a brief description of the achievements in the field of of analytical researches of service-oriented architectures. Assumptions of known results of the analysis of integration of service-oriented funds are specified. The real situation of failure of traditional assumptions is described. The selected situation is associated with active infocommunication media. The cause of the need to introduce updates in analytical studies of service-oriented architectures is set. We consider the key features of purpose updates. The aim is to maintain continuity of the methodological principles canvas of analytical researches of service-oriented architectures. The concept of separation of activity types infocommunication medium is proposed. The description of the main features of the types of activity infocommunication medium is described. The functional and topological features of the integration of service-oriented funds and the random nature of the activities of infocommunication medium are taken into account in the description. For updates we propose a theoretical basis of the definition of mathematical transformations of models of service-oriented architectures. Formal description of the integration of service-oriented means is based on the representation of the extended object-oriented model of multicomponent architecture software in the active infocommunication medium. Models are built in a class activity diagrams and class of finite automata. In the construction of models complies with all the principles of object-oriented modeling. Extensions of object-oriented models related to
mapping the profiles of random action with discrete time, their relationships, integration of functional specifications and influence of active infocommunication medium. Each extended object-oriented model of integration of service-oriented means is formed in the parametric space and characteristic. For service-oriented architectures is chosen system of quality indicators. The system includes the statistical characteristics of the discrete-time implementation of functional tasks and the risk of disruption of their time limits. Analysis of the integration of service-oriented means in active infocommunication medium focuses on the identification of selected quality indicators. In the analysis of functional redundancy is provided. It can be used to check whether the assessment found the definitions of quality indicators of functioning of the multicomponent software information systems.
Keywords: service-oriented architecture, service-oriented mean, integration, infocommunication medium, analysis.
References
1. Ptitsyna L.K. Software Computer Networks. Managing Large-Granular Processes on the Basis of Language BPEL: Proc. Manual / L. K. Ptitsyna, N. G. Smirnov. SPb. : Univ. Polytechnic. University Press, 2011. 105 p.
2. Ptitsina L. K., Smirnov N. G. The Analytical Background of Service Integration in Service-Oriented Systems // Industrial Automatic Control Systems and controllers. 2011. № 5. Pp. 31-36.
3. Ptitsyna L. K., Smirnov N. G. Development and Analysis of Models of Integration of Service-Oriented Agents in Heterogeneous Networks // Scientific and technical statements STU. 2011.№ 6.1 (138). Pp. 71-81.
4. Ptitsyna L. K., Smirnov N. G. Analysis of Model and Analytical Intelligence Control Systems Integration Service-Oriented Funds // System Research in Science, Management and Education. 2014. Pp. 106-113.
5. Ptitsyn A. V., Ptitsyna L. K. Object-Oriented Analysis of Integration of Means of Protection of Information // The Protection of Information. No. 1. 2013 Pp. 69-76.
6. Ptitsyna L.K., Lebedeva A.A. The model-analytical support of informative intelligent agents with dynamic synchronization of their operations // H&ES Research. 2014. No.6. Pp. 68-71.
Ссылки для цитирования статьи / References for citation
Птицына Л.К., Веселов В.О. Анализ интеграции сервис-ориентированных средств в активных инфокоммуникационных средах//Наукоемкие технологии в космических исследованиях Земли. 2015. Т. 7. № 2. С. 42-47.
Ptitsyna L., Veselov V. Analysis of integration of service oriented means in active infocommunication mediums. H&ES Research. 2015. Vol. 7. No.2, рр. 42-47.
