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