Моделирование процедуры соединения bluetooth устройств и есть ли потребность в моделях такого рода
Здравствуйте! В этом году начинаю учиться в аспирантуре, на данный момент мне поставлена следующая задача: смоделировать взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий.И здесь возникают следующие вопросы: есть ли смысл в таком моделировании; какой язык моделирования выбрать (на данный момент мне известны наиболее подходящие языки SDL и UML); на каком уровне абстракции строить модель; строить модель работы конкретно каждого протокола или достаточно построить модель определенной процедуры взаимодействия устройств в самоорганизующейся сети; В виде пробного варианта смоделировал процедуру соединения между устройствами bluetooth на языке UML с использованием диаграммы последовательности. Далее приведены текстовое описание данной процедуры и модель построенная по этому описанию.
Этап 1Процедура inquiry позволяет устройству определить, какие приборы доступны, выяснить адреса и осуществить синхронизацию.1.1 Посылаются пакеты inquiry и получаются отклики.1.2 Если адресат, получивший пакет inquiry, находится в состоянии inquiry scan, тогда он способен принимать такие пакеты1.3 Получатель переходит в состояние inquiry response и посылает отправителю пакет-отклик.После того как процедура inquiry завершена, соединение может быть установлено с помощью процедуры paging.Этап 2Процедура paging реализует соединение. Для осуществления этой процедуры необходим адрес. Устройство, выполняющее процедуру paging, автоматически становится хозяином этого соединения.2.1 Посылается пакет paging2.2 Адресат получает этот пакет (находится в состоянии page Scan)2.3 Получатель посылает отправителю пакет-отклик (находится в состоянии Slave Response)2.4 Инициатор посылает адресату пакет FHS (находится в состоянии Master Response).2.5 Получатель посылает отправителю второй пакет-отклик (находится в состоянии Slave Response)2.6 Получатель и отправитель устанавливают параметры канала заданные инициатором (находятся в состоянии Master Response & Slave Response)После установления соединения основной узел (master) посылает пакет POLL, чтобы проверить, синхронизовал ли клиент свои часы и настроился ли на коммутацию частот. Клиент при этом может откликнуться любым пакетом.
Исходя из этого описания построена следующая модель в виде диаграммы последовательности.
Приветствуется любая конструктивная критика. Вопрос для меня очень важный, так как не хочу тратить время на не неверные шаги.
