При проектировании модели новой технологии для протокола, часто прибегают к анализу уже существующих моделей протокола. Так за основу нами был рассмотрен протокол HTTP/1.1, который очень распространен в интернет технологиях для обмена данными между агентом и сервером. Задачей является построение модели, метода и методики для протокола HTTP, определение его достоинств и недостатков, и как с ними работать при построение технологии протокола. Целью является повышение быстродействия и адекватности анализа. Нами предложена имитационная модель для протокола HTTP с использованием сети Петри, которая представлена на рисунке ниже.

Для построенной сети Петри транзакция начинается с подготовки агентом запроса, состоящего из 2-ух частей EH (Entity Head) и EB (Entity Body), на схеме это T0 и T5. Модель протокола устроена так, чтоб минимизировать объем передаваемого трафика. Сначала агент передает на сервер< запрос с EH (на схеме T2). В случае если связь с сервером недоступна по указанному URI, происходит переход P1-T2-P2, в спецификации протокола это событие с кодом 4xx. Если связаться с сервером удалось, то переход в выходное состояние P3. При переходе T4 определяется корректность запроса, содержащегося в EH с учетом версии протокола. Если требуется править содержание EH запроса – переход T3-P6-T1 не происходит, в спецификации протокола это событие с кодом 1xx. При переходе T3 – запрос обрабатывается сервером. Точка в позиции P5 обозначает, что сервер, после приема входящего запроса и его обработки сообщает что он свободен и готов к приему нового запроса. Для перехода T6 необходимы 2 условия – это способность сервера обработать запрос на схеме обозначено как P7 (в спецификации это событие 2xx) EB и само содержание запроса на схеме – P8. Подготовленный запрос отправляется на сервер P9- P10 в том случае, если сервер не занят – P12. При обработке EB запроса может потребоваться ввод дополнительных параметров запроса – (в спецификации это событие с кодом 3xx). Также может возникнуть ситуация, в которой сервер опасается, что он ошибся или не сможет реализовать запрос (в спецификации это событие с кодом 5xx ). При переходе в позицию P11 сервер подготовил и возвращает ответ на запрос в виде сообщения, состоящего из RH (Response Head) и RB (Response Body). 

Одно из достоинств протокола это экономия трафика между агентом  и сервером, за счет деления сообщения на две составные части. Недостатком является переход T7-P10-T8, , который в некоторых случаях может занять много времен и парализовать сервер. В модели не рассмотрена возможность одновременного использования нескольких серверов.

ИСПОЛЬЗОВАННЫЕ ИСТОЧНИКИ

1. W3C.ORG. «Hypertext Transfer Protocol — HTTP/1.1» - 1999г

2. Питерсон Джеймс. «Теория сетей Петри и моделирование систем» - Мир, 1984г. с. 202-312