حدود القرار الذري: ضرورة هيكلية لضمان قبول التنفيذ في الأنظمة الذاتية

تتزايد أهمية الأنظمة الذاتية في تنفيذ الأفعال التي تؤثر مباشرة على حالة البيئة المشتركة، مما يفرض ضرورة التحكم الدقيق في الانتقالات المسموح بها. في السابق، كانت آليات الحوكمة تقوم بتقييم السياسات قبل التنفيذ أو إعادة بناء السلوك بعد حدوثه، لكنها لم تكن قادرة على فرض القبول في اللحظة التي يتم فيها الانتقال بين الحالات.

يُقدم البحث مفهوم "الحدود الذرية" (Atomic Decision Boundary)، وهي خاصية هيكلية لأنظمة التحكم في القبول (Admission Control Systems) حيث يتم اتخاذ القرار والانتقال الناتج سوياً كخطوة غير قابلة للتجزئة ضمن نموذج التنفيذ - نظام الانتقال المعنون (Labeled Transition System).

تم تصنيف الأنظمة إلى فئتين: الأنظمة الذرية (Atomic Systems) التي تتم فيها عملية التقييم والانتقال ضمن خطوة واحدة من LTS، والأنظمة ذات التقييم المنفصل (Split Evaluation Systems) حيث تحدث عمليات التقييم والانتقال بشكل متداخل مع أفعال بيئية.

تشير الفجوة المعمارية إلى أن القرار يُقيم في حالة واحدة، بينما قد يحدث الانتقال في حالة مختلفة، مما يجعل أي سياسة غير قادرة على سد هذه الفجوة. تحت ظروف بيئية متزامنة واقعية، أثبت الباحثون من خلال نموذج مضاد بناء أنه لا يمكن لأي بناء أن يجعل النظام المنفصل متساوٍ مع النظام الذري فيما يتعلق بالقبول.

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

كما تم تصنيف أنظمة مثل RBAC، ABAC، OPA، Cedar وAWS IAM كأنظمة منفصلة، بينما تم تصنيف ACP كنظام ذري. يوضح هذا البحث كيف أن القبول هو خاصية تعتمد على التنفيذ وليس على التقييم.