الملفات التعريفية للأنظمة

OSAFIS 2.0.0-draft.1 · مقترح بحثي · 10 دقائق للقراءة

إصدار الإطار: 2.0.0-draft.1. الحالة: مقترح بحثي. الملفات التعريفية الواردة في هذه الوثيقة مرشّحاتٌ توضيحية بانتظار مراجعة الممارسين المعنيين.

الغاية

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

ويربط الملف التعريفي الخصائصَ الأمنية العامة بالعقود والقرارات المحلية. ولا يعيد تعريف P01–P23، ولا يحل محل ملف السلامة الهندسي، ولا يثبت الامتثال التنظيمي، ولا يمنح شهادةً لأي نشر. وتقدّم الملفات التعريفية المرشّحة أدناه نقاطَ انطلاقٍ ملموسة لتصميم التقييم. وتتطلب عتباتُها اعتمادًا من سلطة قرارٍ محددة، ومراجعةً من ممارسين مطّلعين على سياق التشغيل الفعلي.

السجل المطلوب للملف التعريفي

لكل ملفٍ تعريفي معرّفٌ محلي، وإصدار، وإصدارُ الإطار، وحالة، وجهةُ تأليف، ومراجعون، وتاريخُ مراجعة، ونطاقٌ مقصود. ويشمل النطاق المهمةَ، وبيئةَ النشر، ومراحلَ دورة الحياة، والأشخاصَ المتأثرين، والتبعياتِ، والعملياتِ المستثناة. وتُحدَّد الشروط التي يخرج عندها النشر من نطاق الملف التعريفي، كإضافة أدواتٍ خارجية أو تفعيل التعلم المستمر.

ويُسجَّل مدى انطباق L1–L9 مع التعليل، والوظائفُ التي تنفّذ كل مجالٍ منطبق. والانطباق ليس ادعاءً بتقييمٍ كامل. وتُستخدم القيم applicable أو not_applicable أو unresolved؛ وتتطلب unresolved مزيدًا من البحث. فقد تشاهد واجهةٌ نصية حالةً رقمية ضمن L4 «الإدراك وتمثيل العالم». والنموذج المشترك لا يثبت بحد ذاته عقدًا ضمن L9 «التفاعل الجماعي والنظامي».

ويحدد الملف التعريفي عقودَ الخصائص، ومصادرَ السلطة، والانتقالاتِ المسموح بها والمحظورة، ومتطلباتِ أوراكل الحكم. ويصف تعرّضَ البشر، والتزاماتِ الأفعال، وقابليةَ العكس، والاحتواءَ، والتعافيَ، وعدمَ اليقين. ويجب أن تسمّي معاييرُ القبول سلطةَ القرار، وأساسَ الأدلة، وعواقبَ الاختبار الذي أخفق أو لم يكن حاسمًا. وحيث لا توجد عتبةٌ عددية مسوَّغة، تُستخدم قاعدةٌ نوعية صريحة ويُبيَّن القيد بدلًا من اختلاق رقم.

وتُحدَّد الالتزامات الخارجية ذات الصلة عبر مراجعةٍ للمعايير خاصة بكل نشر. ويُسجَّل الاختصاص القضائي، والقطاع، والاستخدام المقصود، والمراجع الموثوقة قبل تأكيد الانطباق. ولا تفرض هذه الوثيقة العامة متطلباتٍ قانونية أو هندسية لم يُتحقق منها. وينبغي للممارسين توثيق الصلات بالعمليات القائمة، بحيث تُسند المسؤولية بدلًا من أن تتكرر أو تُغفل.

الجمع بين الملفات التعريفية

قد يجسّد نشرٌ واحد عدة ملفاتٍ تعريفية. فتُركَّب عقودها صراحةً، وتُحسم التعارضات مع المالكين المسؤولين. وقاعدة «طبّق الأشد» لا تصلح إلا حين تكون المتطلبات قابلة للمقارنة. فاشتراطُ حذف السجلات واشتراطُ الاحتفاظ بسجل تدقيقٍ يحتاجان إلى توفيقٍ معلَّل بين النطاق وتقليل البيانات؛ وليس أحدهما ببساطةٍ أكبر من الآخر.

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

ملفٌ تعريفي مرشّح للمساعدة النصية القائمة على الاسترجاع

المعرّف المرشّح: CP01. النطاق: مساعدٌ نصي يسترجع الوثائق ويُنتج استجاباتٍ معلوماتية، دون أي قدرةٍ على تثبيت أفعالٍ خارجية عبر الأدوات. وقد يستخدم النشر التحقق من الهوية وسياساتِ وصولٍ على مستوى الوثائق. ويجب على أي إصدارٍ يفعّل أدوات الكتابة أن يطبّق إضافةً إلى ذلك ملفًا تعريفيًا للأفعال.

ويغطي L1 «النماذج والحوسبة» وL2 «البرمجيات والبنية التحتية» النموذجَ والخدمة. ويغطي L3 «البيانات والمعرفة» الوصولَ إلى المصادر، ومنشأَها، واسترجاعَها، والاستشهادات. ويغطي L5 «التفسير والأهداف» سلطةَ التعليمات والمهمةَ المطلوبة. ويغطي L8 «تفاعل الإنسان والنظام» طريقةَ العرض وفهمَ المستخدم. وينطبق L4 حين يقدّر المساعد حالةَ بيئةٍ رقمية متغيرة، لا حين يجيب من مجموعةٍ ثابتة فحسب. وينطبق L6 حين يُحتفظ بالسجلات السابقة، أو الملفات الشخصية، أو الحالة التشغيلية. وينطبق L7 على أي تخطيطٍ أو عملياتٍ مفوَّضة موجودة فعلًا، حتى دون عمليات كتابةٍ خارجية؛ وفي غياب هذه الوظائف قد لا يكون منطبقًا. ويتطلب L9 تفاعلًا جماعيًا محددًا، لا مجرد كثرة المستخدمين.

وتشمل العقود الأساسية P01 «السرية» للوصول إلى المصادر، وP04 «سلامة التعليمات» للفصل بين المحتوى المسترجَع والسلطة، وP06 «سلامة المعرفة» للمنشأ، وP19 «سلامة القرار البشري» للتمثيلات المضلِّلة جوهريًا للأدلة. ووجود استشهادٍ لا يثبت أن مصدره يدعم الادعاء. فيُسجَّل كلٌّ من ترخيص الوصول والدعم الإثباتي.

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

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

ملفٌ تعريفي مرشّح لوكلاء الأدوات في المؤسسات

المعرّف المرشّح: CP02. النطاق: مساعدٌ يقرأ معلومات المؤسسة ويستدعي أدواتٍ قادرة على تغيير السجلات، أو إرسال الرسائل، أو تشغيل مسارات العمل. ويتضمن الملف التعريفي دليلًا صريحًا بالجهات الفاعلة، والقدرات، وقواعد الموافقة، ونقاط الالتزام الخارجي.

تنطبق في العادة المجالات من L1 إلى L3 ومن L5 إلى L8. وينطبق L4 حين يشاهد الوكيل حالةً متغيرة لتطبيقٍ أو لمسار عمل. وينطبق L9 حين يُنشئ الوكلاءُ المنسَّقون أو القيودُ المشتركة على مسارات العمل عقدًا جماعيًا. ويجب تأكيد الانطباق إزاء الرسم البياني الفعلي، لا استنتاجه من كلمة «وكيل».

وتشمل العقودُ ذات الأولوية P08 «سلامة الهوية»، وP09 «سلامة الهدف»، وP12 «سلامة القدرات»، وP13 «سلامة الفعل»، وP14 «قابلية التحكم»، وP15 «سلامة التخطيط»، وP16 «سلامة التفويض». والإذن على مستوى الأداة وحده غير كافٍ إذا فرضت المهمة المصرَّح بها قيودًا أضيق على الموارد أو الغرض. ويُحدَّد كيف ترتبط الموافقة بالمعاملات الدقيقة للفعل، وكيف تُبطل التعديلاتُ الموافقةَ، وكيف تنتهي صلاحية السلطة المفوَّضة أو تُلغى.

ويستخدم الاختبار حساباتٍ معزولة، وبياناتٍ مؤسسية اصطناعية، وأدواتٍ بديلة أو معاملاتٍ في بيئةٍ تجريبية، وقراءةً للحالة المثبَّتة. وتُدرج حالاتُ تغيّر المعاملات بعد الموافقة، والتنفيذ المكرر، والإلغاء، والأذونات المتقادمة، ومعلومات الأدوات التي يتحكم فيها المهاجم. ويُختبر كلٌّ من الخطة والمنفِّذ، لأن رفض استدعاءٍ غير آمن لأداةٍ ما لا يثبت أن تفسير الهدف كان صحيحًا، في حين أن الاقتراح غير الآمن ليس دليلًا على فعلٍ خارجي ثُبِّت فعلًا.

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

ملفٌ تعريفي مرشّح للروبوتات المتجسّدة

المعرّف المرشّح: CP03. النطاق: وحدةُ تحكمٍ ذكية تشاهد بيئةً مادية ويمكنها التأثير في الحركة أو التشغيل. ويستبعد الملف التعريفي أي ادعاءٍ بسلامة النشر يستند إلى هذا الإطار وحده. ويجب أن يحدد الممارسون المعنيون في مجالي الروبوتات والسلامة غلافَ التشغيل والالتزاماتِ الهندسية الخارجية.

وتُعدّ L1 «النماذج والحوسبة»، وL2 «البرمجيات والبنية التحتية»، وL4 «الإدراك وتمثيل العالم»، وL7 «التخطيط والفعل» مجالاتٍ محورية. وينطبق L3 على الخرائط، وموارد التدريب، وغيرها من المعارف. وينطبق L5 على التفسير والأهداف؛ وL6 على الحالة التشغيلية المحتفَظ بها؛ وL8 على الإشراف والتفاعل. وينطبق L9 حيث تتطلب عدةُ أجهزةٍ أو مواردُ مشتركة عقدًا جماعيًا.

وتشمل العقودُ P22 «سلامة الإدراك» وP23 «سلامة نموذج العالم» للمشاهدة والتقدير، وP13 «سلامة الفعل» للتشغيل المحدود، وP14 «قابلية التحكم» للتدخل الفعّال. وقد يثبت توقيعٌ صالح للمستشعر أصلَ الإشارة دون أن يثبت أن المشهد المشاهَد صادقٌ أو حديث. وتُبيَّن الرواداتُ، والحداثةُ، وطريقةُ التعامل مع التعارض، وقواعدُ الرجوع الاحتياطي التي يتطلبها غلاف التشغيل.

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

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

ملفٌ تعريفي مرشّح للأنظمة المشتركة متعددة الوكلاء

المعرّف المرشّح: CP04. النطاق: عدة وكلاء أو خدمات تتبادل المعلوماتِ أو السلطةَ وتستخدم مواردَ مشتركة لأداء مهمةٍ منسَّقة. ويُسجَّل جميع المشاركين الفعليين والتبعيات المشتركة. ولا يلزم أن يمتلك كل مشارك تنفيذًا كاملًا للمجالات التسعة.

وتُطبَّق L1–L8 بحسب الوظائف الموجودة، ولا يُقيَّم L9 «التفاعل الجماعي والنظامي» إلا إزاء عقدٍ جماعي محدد. ومن الأمثلة على ذلك: ميزانيةُ مواردَ جماعية، أو ثابتُ تخصيصٍ إجمالي لا تضمنه فحوصُ التفويض الفردية، أو اشتراطُ ألا تعيد التغذية الراجعة الترخيصَ مرارًا بعملٍ اكتمل. ويبقى خرقُ نطاق التفويض العادي ضمن L7 ما لم يُحدَّد التزامٌ جماعي منفصل. وتُبيَّن دلالاتُ التزامن والتنسيق المشروعة قبل إدخال أي اضطرابات.

وقد تشمل الخصائصُ ذات الأولوية P16 «سلامة التفويض»، وP20 «سلامة الإسناد»، وP21 «سلامة الثقة»، وP03 «التوافر»، وP17 «السلامة الزمنية». ويجب ألا يتحول تبادل المعلومات ضمنيًا إلى تفويضٍ للسلطة. والميزانية الجماعية لا تُصان لمجرد أن كل طلبٍ محلي يبقى دون الحد المقرر لكل طلب.

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

قاعدة القرار المرشّحة: يحول خرقُ عقدٍ جماعي مبرهَنٌ عليه دون قبول التركيب المتأثر إلى أن يُتحقق من تعافٍ محدود أو من المنع. والتهيئة الناجحة لا تسوّغ زيادةَ عدد المشاركين زيادةً اعتباطية. ويجب أن يحدد صاحب القرار الطوبولوجيا المدعومة، والتزامن، وحدود الموارد، والمراقبة. وتبقى أدلة النمذجة موسومةً صراحةً بأنها نمذجة، وينبغي للتكرار المستقل أن يفحص العقد نفسه مع افتراضاتِ تركيبٍ مُفصَح عنها.

ملفٌ تعريفي مرشّح للأنظمة المتعلمة تكيفيًا

المعرّف المرشّح: CP05. النطاق: نظامٌ يغيّر معاملاتِ النموذج، أو القواعد، أو المعرفةَ المحتفَظ بها، أو السياسةَ التشغيلية في أثناء دورة حياته المدعومة استجابةً للمعلومات الواردة. والاسترجاع العادي وحده ليس تكيفًا بالضرورة؛ فيُحدَّد آلية التحديث الفعلية.

وينطبق L1 حين يتغير سلوك النموذج القابل للتنفيذ؛ وL3 حين تتغير الموارد المعرفية؛ وL6 حين يُحتفظ بالحالة التشغيلية. ويغطي L2 بنيةَ التحديث التحتية والوصولَ إليها. وينطبق L5 وL7 على استمرارية الهدف وعلى أي خططٍ أو أفعال. ويتوقف انطباق L4 وL8 وL9 على وظائف المشاهدة، والإشراف البشري، والتفاعل الجماعي.

وتشمل العقودُ P02 «السلامة»، وP06 «سلامة المعرفة»، وP07 «سلامة الذاكرة»، وP09 «سلامة الهدف»، وP17 «السلامة الزمنية». ويُحدَّد من يرخّص بالتحديثات، وأيُّ المدخلات يجوز أن تُسهم فيها، ومتى تسري، وما الذي يبقى ثابتًا، وكيف يُكشف التحديث الضار ويُتراجع عنه. والتراجع عن المعاملات لا يمحو بالضرورة الأفعالَ الخارجية أو الإفصاحاتِ السابقة.

وتُستخدم تدفقاتٌ اصطناعية قابلة لإعادة التشغيل وبيئاتُ تحديثٍ معزولة. وتُقارن التواريخ المتطابقة، وتُحفظ اللقطات الأولية، وتُبقى مادةُ التقويم خارج التدريب حين تكون دليلًا محجوزًا. وتُختبر الآثار المؤجلة، وإزالة المصادر، والتراجع، وما إذا كان إصلاحٌ ظاهر يصمد بعد تحديثٍ مصرَّح به آخر. ويُسجَّل منشأُ التحديث وتغيّراتُ السلوك عبر الزمن بدلًا من الإبلاغ عن معدلٍ إجمالي واحد.

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

المراجعة والتطور

قبل اعتماد أي ملفٍ تعريفي مرشّح، تُشترط مراجعةٌ من مالكي النشر، والممارسين التقنيين المعنيين، وممثلي المصالح المتأثرة حيثما كان ذلك مناسبًا. وتُسجَّل الخبرات، وتضارب المصالح، والآراء المخالفة، والعتبات غير المحسومة. ولا تتحول المراجعة إلى تأييدٍ مؤسسي لمجرد أنها موثقة.

ويُعاد النظر في الملف التعريفي بعد أي تغيّرٍ جوهري في القدرات، أو التعرّض، أو التكيّف، أو السلطة، أو التركيب الجماعي. وتُربط الاكتشافات والقرارات بالإصدار الدقيق للملف التعريفي. وينبغي أن تشرح التنقيحاتُ المقترحة أيَّ عقدٍ تغيّر، ولماذا تحتاج التقييمات السابقة إلى إعادة فحص. فالملفات التعريفية تجعل التطبيق صريحًا؛ أما فعاليتها وبنية المجالات التسع في الإطار فتبقيان موضوعًا للتقويم التجريبي.