الاتصال وبروتوكولات التفاعل بين الوكلاء
الاتصال الموجه بالبروتوكول
نهج تتبع فيه التفاعلات أنماطًا محددة مسبقًا وتسلسلات حالات صالحة، مما يسمح بالتحقق الرسمي من خصائص النظام مثل الإنهاء أو عدم وجود جمود.
← رجوع