// Simple predicates
'tacocat'.startsWith('taco')
// Parameterized predicates over structured data
account.balance >= transaction.withdrawal
// JSON objects
{'sub': '12345678',
'aud': 'example2.cel.dev',
'iss': 'https://example1.cel.dev/jwt-issuer'}
// Strongly typed objects
common.GeoPoint{ latitude: 10.0, longitude: -5.5 }لغة تعبير سريعة وآمنة
لغة التعبير الشائعة (CEL) هي لغة تعبير سريعة، وقابلة للحمل، وآمنة للتنفيذ في التطبيقات المهمة للأداء. تم تصميم CEL ليتم تضمينه في أحد التطبيقات، مع الإضافات الخاصة بالتطبيقات، وهو مثالي لتوسيع عمليات الضبط التعريفية التي قد تستخدمها تطبيقاتك من قبل.
يمكنك استخدام CEL لأشياء مثل فلاتر القوائم لاستدعاءات واجهة برمجة التطبيقات، والقيود المفروضة على التحقق من المخازن المؤقتة للبروتوكولات، وقواعد التفويض لطلبات البيانات من واجهة برمجة التطبيقات.
سريعة
قابل للحمل
الأمان
يمكن التحقّق منه رسميًا
هل CEL مناسب لمشروعك؟
وتُعدّ تقنية "CEL" خيارًا مثاليًا للتطبيقات المهمّة للأداء، لأنّها مصمَّمة لتقييم الأداء بأمان وسرعة (من نانو ثانية إلى ميكرو ثانية) وبتكلفة يمكن توقّعها. تعد تعبيرات CEL مفيدة بشكل خاص لمنطق الاسترشاد وعمليات تحويل البيانات البسيطة.
يتم استخدام CEL بكفاءة أكبر في التطبيقات التي يتم فيها تقييم التعبيرات بشكل متكرر، لكن يتم تعديلها بشكل غير متكرر. على سبيل المثال، يُعدّ تقييم طلب HTTP مقابل سياسة أمان حالة استخدام ممتازة لـ CEL. سيكون لتعبير سياسة أمان CEL تكلفة ضبط لمرّة واحدة للتحقّق من صحة التعبير، وبعد ذلك يتم تقييمه بشكل متكرّر بتكلفة ضئيلة.
أما زلت غير متأكّد؟ يمكنك الاطّلاع على نظرة عامة حول CEL وتعريف اللغة، أو يمكنك طرح أسئلة علينا. وسيكون من دواعي سرورنا تقديم المساعدة لك.
التحقّق الرسمي في عصر الذكاء الاصطناعي المستند إلى الوكلاء
بما أنّ وكلاء الذكاء الاصطناعي يؤلفون السياسات ويعيدون هيكلتها وينشرونها، قد لا تغطي اختبارات الوحدات التجريبية الاستدلالية الحالات الحدّية في جميع المدخلات اللانهائية. يتيح إطار التحقّق الرسمي من CEL، المستند إلى أداة إثبات صحة النظرية Z3، للمطوّرين إثبات صحة السياسة رياضيًا، والتحقّق من تكافؤ شجرة بناء الجملة المجردة (AST)، وضمان ثبات الأمان في جميع مساحات الإدخال.
رصد العيوب الدقيقة في المنطق، وفرض ضوابط شاملة، وتأمين عملية إنشاء السياسات المبرمَجة بدقة رياضية