Здравствуйте! В этом году начинаю учиться в аспирантуре, на данный момент мне поставлена следующая задача: смоделировать взаимодействие узлов самоорганизующейся сети на основе соответствующих технологий.
И здесь возникают следующие вопросы:
- есть ли смысл в таком моделировании;
- какой язык моделирования выбрать (на данный момент мне известны наиболее подходящие языки 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 Посылается пакет paging
2.2 Адресат получает этот пакет (находится в состоянии page Scan)
2.3 Получатель посылает отправителю пакет-отклик (находится в состоянии Slave Response)
2.4 Инициатор посылает адресату пакет FHS (находится в состоянии Master Response).
2.5 Получатель посылает отправителю второй пакет-отклик (находится в состоянии Slave Response)
2.6 Получатель и отправитель устанавливают параметры канала заданные инициатором (находятся в состоянии Master Response & Slave Response)
После установления соединения основной узел (master) посылает пакет POLL, чтобы проверить, синхронизовал ли клиент свои часы и настроился ли на коммутацию частот. Клиент при этом может откликнуться любым пакетом.
Исходя из этого описания построена следующая модель в виде диаграммы последовательности.
Приветствуется любая конструктивная критика. Вопрос для меня очень важный, так как не хочу тратить время на не неверные шаги.
Автор: alfatapok
