في عالم الأنظمة ذات الوكالة الذاتية (Agentic Systems)، يعد ضمان تنفيذ السياسات الأمنية أحد التحديات الكبرى. الاعتماد على تضمين السياسات في النظام دون ضمانات رسمية قد يُعرّض الأنظمة لمخاطر كبيرة. ولتجاوز هذه الثغرات، يبرز مفهوم جديد يقوم على فهم تنفيذ السياسات كقضية تتعلق بالعديد من الجوانب.

يتناول البحث المقدم إطارًا مبتكرًا يعتمد على برمجة موجهة نحو الجوانب (Aspect-Oriented Programming)، مما يسمح بتحديد السياسات بصورة مستقلة عن تفكير العميل، مع فرضها في كل قرار ذات صلة بالسياسة. تُكتب السياسات بلغة Datalog، التي تدعم تحديد القواعد بشكل واضح، وتتوافق مع العلاقات الانتقالية، مما يضمن تنفيذًا محددًا ودقيقًا.

تقوم الخدمة الخاصة بالرصد بالتحكم في الظروف التنفيذية من خلال عقد رسمي يتبع مبدأ الافتراضات والضمانات، مما يساعد على ضمان تناسق قرارات التنفيذ مع المعاني المقصودة للسياسات. كما توفر Datalog تحليلات ثابتة ميسرة لاكتشاف التعارضات والتكرار، مما يمكّن الكتّاب من التحقق من نوايا السياسات وكشف أي تناقضات قد تكون موجودة.

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