If you do not find what you're looking for, you can use more accurate words.
طرق رسمية لوصف بناء جملة الاتصالات هي الخلاصة بناء الجملة تدوين واحد (وهو ISO قياسي) أو المعقم باكوس-ناعور شكل (وهي IETF قياسي).
نماذج محدودة دولة آلة بالتواصل بـ آلة ذات حالات محدودة للدولة تستخدم لوصف رسميا التفاعلات المحتملة للبروتوكول.