تطوير نموذج تجريدي لتوصيف خصائص الشبكات المتغيرة

• Main Authors: رضوان دندة (Author), قاسم قبلان (Author), سوسن يوسف (Author)
• Format: Book
• Published: Tishreen University, 2017-10-01T00:00:00Z.
• Subjects: article
• Online Access: Connect to this object online.

نظراً للعدد الكبير من قواعد النفاذ المعرفة للشبكات والتغير الديناميكي لطوبولوجيا الشبكات, فإن التحقق اليدوي من الخواص المهمة في الشبكة مثل الوصولية, عدم تضارب القواعد وعدم وجود حلقات أمراً صعباً على المبرمج. يعدَ التوصيف الصوري(Formal Specification) للأنظمة والبروتوكولات من أهم الطرق التي تستخدم...