Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

SPAN-da xuddi shu faylni oching: \Fayl" menyusini bosing, so'ng \\HLPSL faylini ochish"-ni bosing.

Fayl brauzerida \Desktop" jildini, keyin \tutorial" jildini oching va exercise0.hlpsl faylini oching.

Ushbu fayl oddiy protokolini tavsiflaydi: tashabbuskor , javob beruvchi : M bu yerda tashabbuskor va javob beruvchi agentlardir va M har ikkala agent tomonidan ma'lum bo'lgan doimiy xabardir.HLPSL spetsifikatsiyasi ikkalasini tavsiflaydi.

Agentlar tashabbuskori/javob beruvchisi, ikki agentning sessiyaga birlashishi va nihoyat muhit seans boshqariladi va buzg'unchilarning dastlabki ma'lumotlarini o'z ichiga oladi. SPAN oynasidani \Protokol simulyatsiyasi" tugmasini bosing.

Xabarlar ketma-ketligi diagrammasini (MSC) yaratishingiz mumkin bo'lgan yangi oyna ochiladi.

Protokolning 2-rasmiga qarang. Eng o'ngdagi oynada siz MSC qurilayotgan ko’rinishni ko'rishingiz mumkin.

Eng chap qismida \Kiruvchi Xodisalar" oynasi sizga barcha kiruvchi xabarlar ro'yxatini beradi. Bu erda faqat tashabbuskor va javob beruvchi o'rtasida yuborilishi mumkin bo'lgan bitta xabar ko’rsatiladi. Ushbu hodisani ikki marta bosing. Oynada kiruvchi hodisalar ro'yxatidan yo'qoladi va MSCda paydo bo'ladi, 3-rasmga qarang. Siz \Oldingi simulyatsiyada oldinga va orqaga o'tish uchun qadam" va \Keyingi qadam" tugmalarini bosing.