Номер части:
Журнал
ISSN: 2411-6467 (Print)
ISSN: 2413-9335 (Online)
Статьи, опубликованные в журнале, представляется читателям на условиях свободной лицензии CC BY-ND

Моделирование взаимодействия клиента с сервером в информационной системе



Науки и перечень статей вошедших в журнал:
DOI:
Дата публикации статьи в журнале:
Название журнала: Евразийский Союз Ученых — публикация научных статей в ежемесячном научном журнале, Выпуск: , Том: , Страницы в выпуске: -
Данные для цитирования: . Моделирование взаимодействия клиента с сервером в информационной системе // Евразийский Союз Ученых — публикация научных статей в ежемесячном научном журнале. Технические науки. ; ():-.

Основой разработки сетецентрических информационных систем является методы и инструментарий информационной логистики, клиент-серверная и сервисно-ориентированная архитектуры, а также возможности глобальной сети, сетевых и Web-технологий.

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

Одной из основных проблем качественного построения и стабильного функционирования информационных систем на всех стадиях их жизненного цикла является сбалансированность компонентов с учетом архитектурных, технологических решений и ресурсных характеристик сетевой и серверной среды, а также возможностей масштабирования. Решение задач данного типа, без развитых средств моделирования, затруднительно. Использование имитационного моделирования позволяет решать задачи анализа эффективности функционирования и синтеза сложных динамических систем [1- 3].

Математические модели являются основой для современных систем имитационного моделирования, из множества моделей широкое распространение получил аппарат сетей Петри [2–5]. Наличие различных классов сетей Петри позволяет осуществить на их основе моделирования сложных систем, представляя их в математическом (формализованном) виде, дающем возможность производить качественный анализ данных систем. Анализ сетей Петри и их реализация в виде компьютерной имитационной модели помогает получить важную информацию о структуре и динамическом поведении моделируемой системы и оценить возможные варианты организации системы с целью нахождения наиболее эффективных решений.

Рассматриваемый класс распределенных информационных систем и информационных сред реализуется на базе сетевых технологий и технологий Интернет в архитектуре «клиент-сервер».

Модель такой архитектуры описывает процессы функционирования и взаимодействия клиентской и серверной подсистем. В общем случае, моделируемая информационная среда содержит некоторое множество клиентов и «серверный кластер», при этом каждый клиент может обращаться с запросами к одному или более серверам, а каждый сервер серверного кластера взаимодействует с множеством клиентов и другими серверами.

Базовая модель в виде сети Петри

На текущий момент моделей, реализующих системы, подобного типа рассмотрены в [1, 2], но они не учитывают ряд особенностей межсетевого взаимодействия. Данное обстоятельство влияет на характеристики и качество модели.

Базовая модель сетецентрической информационной системы, реализованной на базе сетевых технологий и технологий Интернет в архитектуре «клиент-сервер», представлена в виде сети Петри на рис. 1.

Моделирование взаимодействия клиента с сервером  в информационной системе

Рисунок 1. Взаимодействие компонентов сетецентрической
информационной системы

Спецификация позиций сети Петри для модели информационной системы в архитектуре клиент-сервер.

Зададим сеть Петри в виде:

                                         (1)

где P – множество позиций; T – множество переходов; I – входная функция; O – выходная функция; μ0 – начальная маркировка.

  • конечное множество позиций: P={p0, p1, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11}.
  • конечное множество переходов: T={ t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10}.
  • множество входных позиций перехода:

I={I(t0), I(t1), I(t2), I(t3), I(t4), I(t5) ,I(t6), I(t7) ,I(t8), I(t9) ,I(t10) }.

I(t0)={p0, p1}, I(t1)= {p0, p1}, I(t2)={p1, p3}, I(t3)={p1, p2, p10}, I(t4)={p1, p6, p10}, I(t5)={p4}, I(t6)={p1}, I(t7)={p5, p7, p11}, I(t8)={p7, p9, p11}, I(t9)={p7, p8, p11}, I(t10)={ p7, p9, p11}.

 

  • множество выходных позиций перехода:

O = {O(t0), O(t1), O(t2), O(t3), O(t4), O(t5), O(t6), O(t7), O(t8), O(t9), O(t10)}.

O(t0)={p0, p1}, O(t1)={p1, p2}, O(t2)={p0, p1}, O(t3)={p1, p5, p10}, O(t4)={ p1, p3, p10}, O(t5)={p1}, O(t6)={p4}, O(t7)={p7, p9, p11}, O(t8)={p6, p7, p11}, O(t9)={p7, p8, p11}, O(t10)={p7, p9, p11}.

  • начальная маркировка:

μ0 = {1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1}

На основе приведенного описания состояний и переходов построена сеть Петри. Исходными данными для моделирования является начальная маркировка сети Петри. Формально, маркировка µ сети Петри  -это функция, отображающая множество позиций P в множество неотрицательных чисел N [1-4]:

  μ = P → n                                                                           (2)

При начальной маркировке выполнены условия в позициях p0, p1, p7, p10 и p11, т.е. пользователь готов к началу сеанса, клиент и сервер находятся в режиме ожидания, а монитор безопасности готов открыть сессию для начала работы.

Полный анализ сети Петри проведем на основе рассмотрения ее динамических свойств, таких как достижимость, ограниченность, активность, обратимость, а также достижимость тупиковой разметки.

Таблица 1.

Спецификация элементов динамической модели

Обозн.

элемента

Описание

Обозн.

элемента

Описание

p0 Информация о каждом приложения «клиента». Наличие поля ID в цвете маркера позволяет отличать данные различных клиентов при моделировании, а ids в поле Data – наборы данных. t0 Моделирует работу проблемной системы на стороне клиента, работа перехода определяется логикой «клиента». При срабатывании перехода происходит формирование набора записей Data, в зависимости от внешних условий или внутренних вычислений в переходе.
p1 Информация о программном модуле «клиента», реализующий активный клиентский процесс. t1 Моделирует формирование запроса «клиента» к «серверу»
p2 Информационные сообщения сформированные «клиентом» для передачи серверной подсистеме. (при передаче маркер несет в себе информацию о «клиента», инициировавшего передачу, в поле ID и при необходимости, устанавливается ненулевое значение ids в Data. t2 Моделирует процесс обработки «клиентом» сообщений, поступивших от «сервера»
p3 Сообщения, поступающие «клиенту» от «сервера» t3 Реализует процесс передачи сообщений «клиента» серверной подсистеме
p4 Программный модуль из библиотеки «клиента» t4 Реализует процесс передачи «клиентам» сообщений, сформированных «сервером»
p5 Сообщения, поступившие от «клиентов» к «серверу» t5 Моделирует процесс смены состояния «клиента» из пассивного состояния в активное
p6 Информационные сообщения, сформированные «сервером» для «клиентов» (маркер содержит непустое поле ID, определяющее получателя данного сообщения) t6 Моделирует процесс смены состояния «клиента» из активного состояния в пассивное
p7 Программный модуль из библиотеки «серверной подсистемы», соответствующий активному процессу t7 Моделирует процесс приема сервером поступающих от «клиентов» сообщений и их первичной обработки
p8 Программные модули из библиотеки «серверной подсистемы» t8 Выполнение процесса формирования «сервером» сообщений для «клиентов»
p9 Информация о каждом серверном приложении t9 Моделирует работу внутрисистемных процессов серверной подсистемы по обработке запроса «клиента» с номером ID
p10 Ресурсные возможности сетевой инфраструктуры для работы с клиентом с номером ID (например, пропускная способность канала) t10 Моделирует работу функциональной подсистемы проблемной системы, реализованной на серверном кластере
p11 Спецификации вычислительных ресурсов серверного кластера (характеристика архитектуры и производительности кластера)    

 

В данной сети Петри все маркеры характеризуются цветом (ID, Data). При этом ID определяет идентификатор клиента (целое число), Data – непосредственно полный набор данных передаваемой информации между «клиентом» и «сервером» в парах:

Data = list of (ids, key, value), где: ids – идентификатор набора данных в подсистеме клиента (целое число); key – название ключевого значения (строковый тип); value – значение поля (двоичный набор данных).

Время выполнения каждого перехода может быть определены фиксированными величинами, что фактически означает независимость продолжительности обработки запроса от сложности решаемой задачи, или рассматриваться в виде случайной величины. При этом наличие переходов t9 и t10 в модели позволяет учитывать загруженность сетевой инфраструктуры.

Достижимость. Маркировка μn достижима из маркировки μ0, если существует последовательность запусков, приводящих от μ0 к μn. Построенная сеть Петри является достижимой. Дерево достижимости представляет все достижимые маркировки сети Петри, а также – все возможные последовательности запусков её переходов [2,5-7]. Граф достижимости разметок представлен на рисунке 2.

Моделирование взаимодействия клиента с сервером  в информационной системе

Рисунок 2. Граф достижимости разметок динамической модели
сетецентрической информационной системы

Ограниченность. Сеть Петри называется k – ограниченной, или просто ограниченной, если для любой маркировки, достижимой от маркировки μ0, количество фишек в любой позиции не превышает некоторого числа k, то есть μ(р) ≤ К для любого р и любой маркировки μ, принадлежащей R0). Представленная сеть не накапливает маркеров больше 3 в позициях p1 и p9

Активность. Сеть Петри активна (маркировка μ0 активна), если независимо от достигнутой μ0 маркировки, для любого перехода существует последовательность дальнейших запусков, приводящая к его запуску. Сеть является активной, т.к. ни один переход сети не является тупиковым.

Обратимость. Сеть Петри обратима, если для любой маркировки μ из R(μ0) маркировка μ0 достижима от μ. Построенная сеть не является обратимой, т.к. маркировка μ0 недостижима из любой маркировки μÎR(μ0). Достижимость тупиковой разметки делает дальнейшее срабатывание любого перехода в данной сети невозможным. Разработанная сеть Петри не имеет тупиковых разметок.

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

В ходе исследования разработанной сети были выявлены основные статические и динамические свойства, на основании которых можно сделать вывод, что построенная сеть Петри является достижимой, ограниченной (со значением k = 3) и активной. При этом она является необратимой и имеет тупиковую разметку.

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

Переход запускается только в том случае, когда он разрешен. Запуск перехода в целом заменяет маркировку μ сети Петри на новую маркировку μ’, определяемую следующим соотношением:

Моделирование взаимодействия клиента с сервером  в информационной системе                          (3)

Запуски осуществляются до тех пор, пока существует хотя бы один разрешенный переход. Когда не останется ни одного разрешенного перехода, выполнение прекращается [4].

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

Список литературы:

  1. Зыбарев Ю.М., Чернев С.П. Спецификация функциональной модели информационного портала сетями Петри. Эл. журнал Исследовано в России, 2003.
  2. Ломазова И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М.: Научный Мир, 2004. 208 с.
  3. Зыбарев Е.Ю., Зыбарев Ю.М. Сети Петри как язык спецификации дискретных систем. Сборник трудов «Теория вычислений и языки спецификаций». – Новосибирск: изд-во ИМ СО РАН, 1995. – С. 186-201.
  4. Bernard P. Zeigler, Tag Gon Kim, Herbert, Theory of Modeling and Simulation. 2 edition, Academic Press, 2007.
  5. Jensen K. Coloured Petri Nets – Berlin a. o.: Springer- Verlag, 1996.
  6. Громов, Ю.Ю. Использование теории возможностей при оценке живучести сетевых информационных структур / Ю.Ю. Громов, А.А. Долгов, М.А. Хорохорин, Ю.В. Минин // Информация и безопасность. – Воронеж: Изд. ВГУ. – 2014. – № 1. Том 17. – С. 62-67. (65)
  7. Елисеев, А.И. Исследование структур сетевых информационных систем на основе толерантности в отношении достижимости вершин графа / А.И. Елисеев, Ю.Ф. Мартемьянов, В.Е. Подольский, В.Н. Шамкин // Приборы и системы. Управление, контроль, диагностика. – 2012. – №3 – С. 60-62. (101)[schema type=»book» name=»Моделирование взаимодействия клиента с сервером в информационной системе» description=»рассматриваются вопросы моделирования информационных систем, реализуемых в архитектуре «клиент-сервер», на основе сетей Петри. Построенная сеть Петри представляет собой модель информационного взаимодействия, обладающую строгим математическим описанием, которое позволяет проводить анализ взаимодействия между пользователем и клиентом, а также клиентом и сервером. Исследования динамической модели сетецентрической системы позволяют определить основные статические и динамические свойства, на основе которых можно сделать выводы о функционировании системы.» author=»Яковлев Алексей Вячеславович, Васюкова Екатерина Олеговна, Пеливан Михаил Анатольевич» publisher=»БАСАРАНОВИЧ ЕКАТЕРИНА» pubdate=»2017-01-26″ edition=»ЕВРАЗИЙСКИЙ СОЮЗ УЧЕНЫХ_31.10.15_10(19)» ebook=»yes» ]
Список литературы:


Записи созданы 9819

Похожие записи

Начните вводить, то что вы ищите выше и нажмите кнопку Enter для поиска. Нажмите кнопку ESC для отмены.

Вернуться наверх
404: Not Found404: Not Found