Abstrakt Ushbu qisqa qo'llanmaning maqsadi avispa

4-rasmga qarang. \Avvalgi qadam” tugmasini bosish orqali siz simulyatsiyada bir qadam orqaga qaytishingiz mumkin va u xabarni ushla b olishdan oldin, bosqinchi m1 ni bilmaydi.

Ushbu MSCda tashabbuskor rolini a tomonidan o'ynaydi. Bu yerda a bilan bog'langan raqam bor, bu erda 3. Bu raqam faqat o'yinchi bir nechta rollarni o'ynaganda, uning nomini aniqlash uchun tekshirish vositalariga kerak. Umuman olganda, siz bu raqamga e'tibor berishning hojati yo'q. Javob beruvchini b o'ynaydi va xabar o'zgarmas m1 bo'ladi

1.MSC birinchi (va noyob) xabar yuborilgandan keyin olingan.

HLPSL spetsifikatsiyasida belgilangan. Endi biz HLPSL spetsifikatsiyasini o'zgartiramiz va uning ta'sirini ko'ramiz

simulyatsiya. Biz uni to'g'ridan-to'g'ri SPAN nashr oynasida o'zgartirishimiz mumkin, ammo buning uchun tavsiya etilmaydi.Amalga oshirilgan matnni tahrirlash funksiyalari juda oddiy. Matn muharriridagi spetsifikatsiyaga qayting (va

SPANda emas). muhit() rolida ikkita seans borligini unutmang, lekin ikkinchisi sharhlanadi.

% yordamida. Ikkinchi seansni izohlang. Ikkinchi sessiyada rol tashabbuskorini b va javob beruvchi o'ynaydi