شجرة السلوك

📅 آخر تحديث: ٢٣ يوليو ٢٠٢٦
✍️ نُشر في: ٢٣ يوليو ٢٠٢٦
📷 يحتوي على 9 صور
الموسوعة الحرة

بناء نظام انطلاقاً من متطلباته – عرض ديناميكي
بناء نظام انطلاقاً من متطلباته – عرض ثابت

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

ملخص

إنّ الكمّ الهائل من التفاصيل اللازمة لوصف المتطلبات العديدة لنظام واسع النطاق باستخدام اللغة الطبيعية قد يؤدي إلى إرهاق الذاكرة قصيرة المدى ، [ 2 ] [ 3 ] مما يعيق الفهم الشامل لاحتياجات النظام. [ 4 ] غالبًا ما تُدخل اللغة الطبيعية غموضًا، وأسماءً بديلة، وتناقضات، وتكرارًا، ومعلومات ناقصة إلى المفاهيم. [ 5 ] وهذا يخلق حالة من عدم اليقين ويُعقّد الأنظمة بشكل مفرط.

تسعى تمثيلات شجرة السلوك إلى إزالة الغموض عن طريق حصر المصطلحات في المتطلبات الأصلية. قد تتطلب مجموعات المتطلبات الكبيرة الاستعانة بتمثيل شجرة التركيب [ 6 ] الذي يحل مشكلات المفردات والأسماء المستعارة في خطوة سابقة. والهدف هو إنتاج تمثيل دقيق وشامل لاحتياجات النظام [ 2 ] يمكن فهمه من قبل جميع المستخدمين (وهم غالبًا أصحاب المصلحة ). ولأن تدوين شجرة السلوك يستخدم دلالات رسمية ، فإنه يمكن استخدامه كمدخل لمزيد من المعالجة، مثل إنشاء ملف تنفيذي لمجموعة معينة من المتطلبات.

أشكال شجرة السلوك

مجموعة من أربع أشجار سلوكية للمتطلبات
عملية تكامل المتطلبات

تُعد أشكال شجرة السلوك الفردية والمتكاملة (المركبة) مهمة في تطبيق أشجار السلوك في هندسة الأنظمة والبرمجيات .

  • أشجار سلوك المتطلبات (RBT): في البداية، تُنشأ أشجار سلوك المتطلبات الفردية لاستخلاص جميع أجزاء السلوك من كل متطلب مكتوب بلغة طبيعية، باستخدام عملية ترجمة دقيقة تحافظ على كل من القصد والمفردات. ويمكن لعملية الترجمة أن تكشف عن مجموعة من العيوب في متطلبات اللغة الطبيعية الأصلية .
  • أشجار السلوك المتكامل (IBT): بما أن مجموعة المتطلبات تستلزم السلوك المتكامل للنظام، فإنه يمكن دمج جميع أشجار سلوك المتطلبات الفردية لتكوين شجرة سلوك متكاملة توفر رؤية شاملة للسلوك المتكامل الناشئ للنظام. وهذا يُمكّن من بناء السلوك المتكامل للنظام انطلاقًا من متطلباته. [ 7 ] ويمكن تشبيه هذه العملية بالانتقال من مجموعة قطع أحجية مُرتبة عشوائيًا إلى وضع كل قطعة في مكانها الصحيح. عندئذٍ، تُوضع كل معلومة في سياقها المقصود، وتتضح خصائصها الناشئة مجتمعةً.

إن تحويل جميع المتطلبات إلى أشجار سلوكية (RBT) يُشبه نثر جميع قطع أحجية الصور المقطوعة عشوائيًا على طاولة؛ فإلى أن يتم توصيل جميع القطع، تبقى الصورة النهائية غير واضحة، ويبقى من غير المؤكد ما إذا كانت هناك قطع مفقودة أو غير متوافقة. أما بناء شجرة سلوكية متكاملة (IBT) فيكشف عن السلوك الناشئ والقطع المفقودة. [ 8 ] [ 5 ]

عملية هندسة السلوك

فيما يلي الجوانب الحاسمة لتمثيل عملية هندسة السلوك.

التمثيل:

  • يتمثل دور شجرة التركيب في العملية الشاملة في توفير وسيلة للتغلب على المعرفة غير الكاملة المرتبطة بمجموعة كبيرة من متطلبات النظام.

عملية:

  • تستخدم هندسة السلوك أشجار السلوك للتحكم في التعقيد مع تنمية فهم مشترك لنظام معقد.
  • إن الفهم الشامل المشترك لنظام معقد يدمج المتطلبات لإظهار سلوكه الناشئ الضمني.

تاريخ

طُوِّرت أشجار السلوك ومفاهيم تطبيقها في هندسة النظم والبرمجيات في الأصل على يد جيف درومي. [ 8 ] [ 5 ] [ 9 ] [ 10 ] نُشرت أولى الأفكار الرئيسية في عام 2001. [ 11 ] استخدمت المنشورات المبكرة حول هذا العمل مصطلحي "هندسة البرمجيات الجينية" و"التصميم الجيني" لوصف تطبيق أشجار السلوك. ويعود سبب استخدام كلمة "جيني" في البداية إلى أن مجموعات الجينات، ومجموعات قطع أحجية الصور المقطوعة، ومجموعات المتطلبات، عند تمثيلها بأشجار سلوك، تشترك جميعها في عدة خصائص رئيسية:

  • لقد احتوت على معلومات كافية كمجموعة للسماح بتكوينها - مع أشجار السلوك، يسمح هذا ببناء نظام انطلاقاً من متطلباته.
  • لم يكن ترتيب تجميع القطع مهماً – فمع المتطلبات، يساعد هذا في التعامل مع التعقيد.
  • عندما تم تجميع جميع عناصر المجموعة معًا، أظهر الكيان المتكامل الناتج مجموعة من الخصائص الناشئة المهمة .

بالنسبة لأشجار السلوك، تشمل الخصائص الناشئة المهمة ما يلي:

  • يُستدل على السلوك المتكامل للنظام من خلال المتطلبات.
  • تتم الإشارة إلى السلوك المتسق لكل مكون في المتطلبات.

وقد تم توضيح هذه أوجه التشابه الجينية، في سياق آخر، في الأصل من قبل أدريان وولفسون. [ 12 ] [ 13 ]

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

منذ أن تم ابتكار تدوين شجرة السلوك في الأصل، قدم العديد من الأشخاص من مجموعة أنظمة الحاسوب المعقدة الموثوقة (DCCS - وهي مجموعة بحثية مشتركة بين جامعة كوينزلاند وجامعة جريفيث ) مساهمات مهمة في تطوير وتحسين تدوين شجرة السلوك واستخدامه. [ 14 ]

قام باحثون مثل روب كولفين، ولارس غرونسكي، وكيرستن وينتر من مركز DCCS بتطوير أشجار السلوك الزمني الاحتمالي، بحيث يمكن التعبير عن الموثوقية والأداء وخصائص الاعتمادية الأخرى. [ 15 ]

المفاهيم الأساسية

تدوين شجرة السلوك

العناصر الأساسية لتدوين شجرة السلوك

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

تربط علامات التتبع (انظر القسم 1.2 من تدوين شجرة السلوك [ 16 ] ) في عقد شجرة السلوك التمثيل الرسمي بمتطلبات اللغة الطبيعية المقابلة . [ 17 ]

قد تعود شجرة السلوك ذات العقد الورقية (يرمز لها بإضافة عامل الإقحام "^") إلى عقدة سلفية لتكرار السلوك أو بدء سلسلة جديدة (يرمز لها بإقحامين "^^").

للاطلاع على مرجع كامل حول تدوين شجرة السلوك، انظر تدوين شجرة السلوك الإصدار 1.0 (2007). [ 16 ]

علم الدلالة

تُحدد الدلالات الرسمية لأشجار السلوك من خلال جبر العمليات ودلالاته التشغيلية . [ 18 ] وقد استُخدمت هذه الدلالات كأساس لتطوير المحاكاة ، والتحقق من النماذج ، وتحليل أنماط الفشل وتأثيراتها . [ 18 ] [ 19 ] [ 20 ]

ترجمة المتطلبات

مثال على ترجمة المتطلبات
تكامل شجرة سلوك المتطلبات

تكامل المتطلبات

العمليات على أشجار السلوك المتكاملة

بمجرد تكوين شجرة سلوك متكاملة، هناك عدد من العمليات المهمة التي يمكن إجراؤها عليها.

الفحص: اكتشاف العيوب وتصحيحها

بشكل عام، تصبح العديد من العيوب أكثر وضوحًا عند وجود رؤية متكاملة للمتطلبات [ 2 ] ، وعند وضع كل متطلب في سياق السلوك الذي يجب تنفيذه فيه. على سبيل المثال، يصبح من الأسهل بكثير تحديد ما إذا كانت مجموعة من الشروط أو الأحداث الصادرة من عقدة ما كاملة ومتسقة. كما تُسهّل علامات التتبع [ 16 ] الرجوع إلى المتطلبات الأصلية المكتوبة باللغة الطبيعية. وهناك أيضًا إمكانية لأتمتة عدد من عمليات فحص العيوب والاتساق على شجرة سلوك متكاملة. [ 21 ]

عند تصحيح جميع العيوب واكتمال مخطط سلوك النظام (IBT) وتناسقه المنطقي، يتحول إلى شجرة سلوك نموذجية (MBT)، والتي تُعدّ بمثابة مواصفات رسمية لسلوك النظام، مُستمدة من المتطلبات الأصلية. هذه هي نقطة التوقف المحددة بوضوح لمرحلة التحليل. أما مع أساليب ونماذج النمذجة الأخرى (مثل UML )، فيكون تحديد نقطة التوقف أقل وضوحًا. [ 22 ] في بعض الحالات، قد يلزم تحويل أجزاء من شجرة سلوك النموذج لجعل المواصفات قابلة للتنفيذ . بمجرد جعل شجرة سلوك النموذج قابلة للتنفيذ، يُمكن إجراء عدد من فحوصات الموثوقية الأخرى.

محاكاة

يمكن محاكاة شجرة سلوك نموذجية بسهولة لاستكشاف الخصائص الديناميكية للنظام. وقد تم تطوير كل من أداة رمزية وأداة رسومية لدعم هذه الأنشطة. [ 23 ] [ 24 ]

التحقق من النموذج

تمت كتابة برنامج ترجمة لتحويل شجرة سلوك النموذج إلى لغة "أنظمة الإجراءات". ويمكن بعد ذلك إدخال هذه البيانات إلى مدقق نموذج SAL [ 25 ] [ 26 ] لإجراء فحوصات للتأكد من استيفاء خصائص السلامة والأمان المحددة. [ 19 ] [ 27 ]

تحليل أنماط الفشل وتأثيراتها (FMEA)

كثيراً ما يُطبَّق التحقق من النماذج على نماذج الأنظمة للتأكد من عدم إمكانية الوصول إلى حالات خطرة أثناء التشغيل العادي للنظام. [ 28 ] من الممكن دمج التحقق من النماذج مع أشجار السلوك لتوفير دعم آلي لتحليل أنماط الفشل وتأثيراتها (FMEA). [ 19 ] تكمن ميزة استخدام أشجار السلوك لهذا الغرض في أنها تسمح بإخفاء الجوانب المنهجية الرسمية للنهج عن المستخدمين غير المتخصصين.

تغييرات المتطلبات

يتمثل الهدف المثالي عند الاستجابة لتغيير في المتطلبات الوظيفية لنظام ما في إمكانية تحديده بسرعة:

  • أين يتم إجراء التغيير؟
  • كيف يؤثر هذا التغيير على بنية النظام الحالي،
  • ما هي مكونات النظام التي تتأثر بهذا التغيير، و
  • ما هي التغييرات السلوكية التي يجب إجراؤها على المكونات (وواجهاتها) المتأثرة بتغيير المتطلبات؟ [ 29 ]

نظراً لأن النظام من المحتمل أن يخضع للعديد من التغييرات خلال فترة خدمته، فمن الضروري تسجيل وإدارة وتحسين تطوره المدفوع بهذه التغييرات.

يكشف نموذج التتبع، الذي يستخدم أشجار السلوك كترميز رسمي لتمثيل المتطلبات الوظيفية، عن تأثيرات التغييرات على أنواع مختلفة من بنى التصميم (الوثائق) الناتجة عن تغييرات المتطلبات. [ 30 ] يقدم النموذج مفهوم وثائق التصميم التطورية التي تسجل تاريخ تغييرات التصاميم. ومن هذه الوثائق، يمكن استرجاع أي إصدار من وثيقة التصميم، بالإضافة إلى الفرق بين أي إصدارين. ومن أهم مزايا هذا النموذج أن الأدوات الآلية تدعم جزءًا كبيرًا من عملية إنشاء وثائق التصميم التطورية هذه. [ 21 ]

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

يُقدّم تمثيل شجرة السلوك للسلوك المتكامل للنظام العديد من المزايا المهمة كنموذج قابل للتنفيذ. فهو يفصل بوضوح مهام تكامل المكونات عن مهمة تنفيذ كل مكون على حدة. ويمكن أن يُشكّل سلوك النظام المتكامل الناتج عن تكامل المتطلبات أساسًا لقرارات التصميم. والنتيجة هي شجرة سلوك التصميم (DBT): [ 5 ] وهي مواصفات تكامل مكونات متعددة الخيوط قابلة للتنفيذ، تم بناؤها انطلاقًا من المتطلبات الأصلية.

تُنفَّذ نماذج شجرة السلوك في آلة افتراضية تُسمى بيئة تشغيل السلوك (BRE). تربط بيئة تشغيل السلوك المكونات معًا باستخدام برمجيات وسيطة ، [ 31 ] مما يسمح بأن تكون المكونات برامج مستقلة مكتوبة بإحدى لغات البرمجة المتعددة التي يمكن تنفيذها في بيئة موزعة . تحتوي بيئة تشغيل السلوك أيضًا على محلل تعبيرات يُنفِّذ تلقائيًا عمليات بسيطة لتقليل كمية التعليمات البرمجية المطلوبة للتنفيذ اليدوي في المكون.

تم تطوير أشجار سلوك قابلة للتنفيذ لدراسات حالة [ 22 ] تشمل أنظمة حماية القطارات الآلية [ 32 ] ، والروبوتات المتنقلة ذات خاصية تتبع الأجسام الديناميكية، ومضخة التسريب المتنقلة [ 20 ] ، وأنظمة إدارة إشارات المرور. كما يتوفر إصدار من BRE مناسب للأنظمة المدمجة (eBRE)، بوظائف محدودة مصممة خصيصًا لوحدات التحكم الدقيقة صغيرة الحجم.

التطبيقات

يمكن تطبيق نمذجة شجرة السلوك، وقد تم تطبيقها بالفعل، على نطاق واسع من التطبيقات على مدى سنوات عديدة. وفيما يلي وصف لبعض مجالات التطبيق الرئيسية.

الأنظمة واسعة النطاق

لطالما شكّل نمذجة الأنظمة واسعة النطاق ذات المتطلبات اللغوية الطبيعية الشاملة محورًا رئيسيًا لاختبار أشجار السلوك وعملية هندسة السلوك ككل. وقد تطلّب إجراء هذه التقييمات والتجارب على المنهجية التعاون مع عدد من الشركاء الصناعيين والجهات الحكومية في أستراليا. وشملت الأنظمة المدروسة عددًا كبيرًا من أنظمة الدفاع، وأنظمة المؤسسات، وأنظمة النقل، وأنظمة المعلومات، والأنظمة الصحية، وأنظمة التحكم المتطورة ذات متطلبات السلامة الصارمة. وقد صُنّفت نتائج هذه الدراسات جميعها على أنها معلومات تجارية سرية. ومع ذلك، تُعرض نتائج التجارب الصناعية المكثفة [ 3 ] [ 4 ] مع شركة رايثيون أستراليا أدناه في قسم الصناعة. وقد أظهر هذا العمل أن ترجمة المتطلبات إلى عروض متكاملة لأشجار السلوك الثابتة والديناميكية كشفت عن عيوب رئيسية أكثر بكثير مما رصدته عمليات المراجعة القياسية للشركة. [ 33 ]

الأنظمة المدمجة

قد يؤدي عدم تلبية تصميم ما لمتطلبات النظام إلى تجاوزات في الجدول الزمني والتكاليف. [ 34 ] وإذا كانت هناك أيضًا مشكلات حرجة تتعلق بالموثوقية، فقد تكون عواقب عدم تلبية متطلبات النظام وخيمة. [ 35 ] ومع ذلك، في المناهج الحالية، غالبًا ما يتأخر ضمان تلبية المتطلبات حتى وقت متأخر من عملية التطوير، خلال دورة الاختبار والتصحيح . [ 36 ] يصف هذا العمل كيفية استخدام منهجية تطوير النظام، هندسة السلوك، لتطوير برامج للأنظمة المدمجة . [ 27 ]

أنظمة الأجهزة والبرمجيات

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

التحكم في الوصول القائم على الأدوار

لضمان التنفيذ الصحيح لمتطلبات التحكم في الوصول المعقدة ، من المهم دمج المتطلبات التي تم التحقق من صحتها والتأكد من دقتها بشكل فعال مع بقية النظام. [ 37 ] ومن المهم أيضًا إمكانية التحقق من صحة النظام والتأكد من دقته في وقت مبكر من عملية التطوير. وقد تم تطوير نموذج متكامل للتحكم في الوصول قائم على الأدوار . [ 38 ] يعتمد هذا النموذج على تدوين شجرة السلوك الرسومية، ويمكن التحقق من صحته عن طريق المحاكاة ، بالإضافة إلى التحقق منه باستخدام مدقق النماذج . وباستخدام هذا النموذج، يمكن دمج متطلبات التحكم في الوصول مع بقية النظام منذ البداية، وذلك للأسباب التالية: استخدام تدوين واحد للتعبير عن كل من متطلبات التحكم في الوصول والمتطلبات الوظيفية ؛ إمكانية اعتماد منهجية منهجية وتدريجية لبناء مواصفات رسمية لشجرة السلوك؛ وإمكانية محاكاة المواصفات والتحقق من دقتها. وقد تم تقييم فعالية النموذج باستخدام دراسة حالة تتضمن متطلبات تحكم موزعة في الوصول. [ 37 ]

الأنظمة البيولوجية

نظراً لأن أشجار السلوك تصف السلوك المعقد، فيمكن استخدامها لوصف مجموعة من الأنظمة لا تقتصر على تلك القائمة على الحاسوب. [ 39 ]

نمذجة الذكاء الاصطناعي للألعاب

رغم شيوع استخدام أشجار السلوك في نمذجة الذكاء الاصطناعي في ألعاب الفيديو مثل هالو [ 40 ] وسبور [ 41 ]، إلا أن هذا النوع من الأشجار يختلف اختلافًا كبيرًا عن الأنواع الموصوفة في هذه الصفحة، وهو أقرب إلى مزيج من آلات الحالة المحدودة الهرمية أو أشجار القرار . كما يُعدّ نمذجة لاعبي كرة القدم تطبيقًا ناجحًا لأشجار السلوك [ 42 ] [ 43 ] .

الاختبار القائم على النموذج

يُعدّ اختبار البرمجيات القائم على النماذج منهجًا لاختبار البرمجيات يتطلب من المختبرين إنشاء نماذج اختبار بناءً على متطلبات البرنامج قيد الاختبار. تقليديًا، استُخدمت لغات نمذجة مثل مخططات حالة UML، وآلات الحالة المحدودة (FSMs)، وآلات الحالة المحدودة الموسعة (EFSMs)، ومخططات التدفق. ومؤخرًا، ظهر منهج مثير للاهتمام يستخدم شبكة بيتري ذات مسارات السباحة الموجهة بالأحداث (EDSLPN) كلغة نمذجة. كما يُعدّ تدوين شجرة السلوك تدوينًا جيدًا لنمذجة اختبار البرمجيات القائم على النماذج، وله بعض المزايا مقارنةً بالتدوينات الأخرى.

  1. يتمتع بنفس مستوى التعبيرية الذي تتمتع به مخططات حالة UML و EDSLPN.
  2. من السهل استخدامه كأداة لتدوين النماذج نظراً لطبيعته الرسومية.
  3. تحتوي كل عقدة في شجرة السلوك على علامة متطلبات؛ هذه العلامات تسهل بشكل كبير إنشاء مصفوفة تتبع من المتطلبات إلى منتج الاختبار. [ 44 ]

قابلية التوسع والتطبيقات الصناعية

لقطة شاشة لأداة بيئة دعم هندسة السلوك
شجرة سلوك متكاملة - نظام أكبر (أكثر من 1000 متطلب)

أُجريت أولى التجارب الصناعية لاختبار جدوى المنهجية وتحسين قدراتها في عام 2002. وعلى مدار السنوات الثلاث الماضية، أُجري عدد من التجارب الصناعية المنهجية على أنظمة الدفاع والنقل والمؤسسات واسعة النطاق. [ 3 ] [ 33 ] وقد أثبت هذا العمل أن المنهجية قابلة للتطبيق على الأنظمة ذات المتطلبات الكثيرة، ولكنه أكد أيضًا على أهمية استخدام أدوات الدعم [ 23 ] [ 45 ] لتسهيل التنقل والتعديل الفعال للبيانات الرسومية المتكاملة الناتجة. في المتوسط، وعلى مدار عدد من المشاريع، تم اكتشاف 130 عيبًا رئيسيًا مؤكدًا لكل 1000 متطلب بشكل مستمر بعد إجراء المراجعات والتصحيحات المعتادة. [ 33 ] مع مجموعات المتطلبات الأقل نضجًا، لوحظت معدلات عيوب أعلى بكثير.

المزايا

تتمتع أشجار السلوك، باعتبارها تمثيلاً لنمذجة السلوك، بعدد من الفوائد والمزايا الهامة:

انظر أيضاً

مراجع

  1. ↑ ليندسي، بيتر أ. (1 سبتمبر 2010). "أشجار السلوك: من هندسة النظم إلى هندسة البرمجيات" . المؤتمر الدولي الثامن لهندسة البرمجيات والأساليب الرسمية لعام 2010. معهد مهندسي الكهرباء والإلكترونيات. الصفحات 21-30 . doi : 10.1109/sefm.2010.11 . ISBN  978-1-4244-8289-4.
  2. 1 2 3 درومي، آر جي 2007. مبادئ هندسة الأنظمة واسعة النطاق كثيفة البرمجيات
  3. 1 2 3 بوسطن، ج. 2008. شركة رايثيون أستراليا تدعم أبحاث الأنظمة الرائدة. مؤرشف في 15 سبتمبر 2009 على موقع Wayback Machine.
  4. 1 2 رايثيون أستراليا، 2008. الفهم ينمو على أشجار السلوك. مؤرشف في 15 سبتمبر 2009 على موقع Wayback Machine.
  5. 1 2 3 4 R.G.Dromey، من المتطلبات إلى التصميم: إضفاء الطابع الرسمي على الخطوات الرئيسية مؤرشف في 25 يوليو 2011 في Wayback Machine ، (كلمة رئيسية مدعوة)، SEFM-2003، المؤتمر الدولي لهندسة البرمجيات والأساليب الرسمية، بريسبان، سبتمبر 2003، ص 2-11.
  6. ↑ هندسة السلوك. أشجار التركيب . مؤرشفة في 2 مارس 2009 على موقع Wayback Machine
  7. ↑ وينتر، ك. 2007. صياغة أشجار السلوك باستخدام CSP
  8. 1 2 R.G.Dromey، "إضفاء الطابع الرسمي على الانتقال من المتطلبات إلى التصميم" مؤرشف في 25 يوليو 2011 في Wayback Machine ، في "الأطر الرياضية لبرمجيات المكونات - نماذج للتحليل والتركيب"، جيفنغ هي، وزيمينغ ليو (محرران)، سلسلة World Scientific حول تطوير المكونات، الصفحات 156-187، (فصل مدعو) (2006)
  9. ↑ RLGlass، "هل هذه فكرة ثورية أم لا؟" مؤرشف في 25 يوليو 2011 في Wayback Machine ، اتصالات ACM، المجلد 47 (11)، الصفحات 23-25، نوفمبر 2004.
  10. ↑ RGDromey، "التغلب على جدار "لا يوجد حل سحري"" مؤرشف في 25 يوليو 2011 في Wayback Machine ، IEEE Software، المجلد 23، العدد 2، الصفحات 118-120، (مارس 2006)
  11. ↑ RGDromey، هندسة البرمجيات الجينية - تبسيط التصميم باستخدام تكامل المتطلبات، مؤتمر IEEE العملي حول هندسة الأنظمة المعقدة والديناميكية، بريسبان، ديسمبر 2001.
  12. ↑ أ. وولفسون، الحياة بلا جينات، فلامينغو، 2000، رقم ISBN 0-00-255618-9
  13. ↑ برلين، آي. أخشاب البشرية الملتوية: فصول في تاريخ الأفكار، تحرير هـ. هاردي، مطبعة جامعة برينستون، 1998، رقم ISBN 0-691-05838-5
  14. ↑ "عالم هندسة السلوك » تاريخ هندسة السلوك" . تم الاطلاع عليه بتاريخ 24 مايو 2025 . 
  15. ↑ كولفين، ر.، غرونسكي، ل.، وينتر، ك. 2007 أشجار السلوك الزمني الاحتمالي. مؤرشف في 25 يوليو 2011 على موقع Wayback Machine
  16. ١ ٢ ٣ ٤ مجموعة شجرة السلوك، مركز ARC للأنظمة المعقدة ، ٢٠٠٧. تدوين شجرة السلوك الإصدار ١.٠ (٢٠٠٧). مؤرشف بتاريخ ٢٠١٦-٠٣-٠٤ في أرشيف الإنترنت (Wayback Machine).
  17. ↑ Dromey, RG "التصميم الجيني: تضخيم قدرتنا على التعامل مع تعقيد المتطلبات" مؤرشف في 25 يوليو 2011 في Wayback Machine ، في S.Leue و TJ Systra، سيناريوهات، محاضرات في علوم الحاسوب، LNCS 3466، ص 95-108، 2005.
  18. 1 2 3 كولفين، ر.، هايز، آي جيه 2006 دلالات لأشجار السلوك
  19. 1 2 3 4 L.Grunske, P.Lindsay, N.Yatapanage, K.Winter, تحليل آلي لأنماط الفشل وتأثيراتها بناءً على مواصفات التصميم عالية المستوى مع أشجار السلوك ، المؤتمر الدولي الخامس حول الأساليب الرسمية المتكاملة (IFM-2005)، أيندهوفن، هولندا، 2005.
  20. 1 2 3 ظفر، س. ودرويمي، ر. ج. (2005)، دمج متطلبات السلامة والأمان في تصميم نظام مضمن. مؤرشف في 25 يوليو 2011 في Wayback Machine. مؤتمر هندسة البرمجيات في آسيا والمحيط الهادئ 2005، 15-17 ديسمبر، تايبيه، تايوان. مطبعة جمعية مهندسي الكهرباء والإلكترونيات. الصفحات 629-636.
  21. 1 2 سميث، سي.، وينتر، ك.، هايز، آي.، درومي، آر جي، ليندسي، بي.، كارينجتون، دي.: بيئة لبناء نظام انطلاقًا من متطلباته ، المؤتمر الدولي التاسع عشر لهندسة البرمجيات الآلية، لينز، النمسا، سبتمبر (2004).
  22. 1 2 درومي، آر جي. استخدام أشجار السلوك لنمذجة نظام المكوك المستقل. مؤرشف في 25 يوليو 2011 في آلة Wayback ، ورشة العمل الدولية الثالثة حول السيناريوهات وآلات الحالة: النماذج والخوارزميات والأدوات (SCESM04)، ورشة عمل ICSE W5S، إدنبرة، 25 مايو 2004
  23. 1 2 3 L.Wen, R.Colvin, K.Lin, J.Seagrott, N.Yatapanage, RGDromey, 2007, "Integrare, a Collaborative Environment for Behavi-Oriented Design" , in Proceedings of the Fourth International Conference on Cooperative Design, Visualization and Engineering, LNCS 4674, pp. 122–131, 2007
  24. ↑ C. Sun, S. Xia, D. Sun, D. Chen. HF Shen, W. Cai: "التكيف الشفاف لتطبيقات المستخدم الواحد للتعاون متعدد المستخدمين في الوقت الحقيقي" ، معاملات ACM في التفاعل بين الإنسان والحاسوب، المجلد 13، العدد 4، ديسمبر 2006، الصفحات 531-582.
  25. ^ Bensalem، S.، Ganesh، V.، Lakhnech، Y.، Muñoz، C.، Owre، et al.: "An Overview of SAL"، ورشة عمل ناسا لانجلي الرسمية الخامسة للطرق (LFM 2000)، 2000، ص 187-196.
  26. ↑ Rushby, J. Automated Formal Methods 2006 AFM-2006, Automated Formal Methods 2006, Seattle, August 2006, pp. 6–7.
  27. 1 2 3 ظفر، س. ودرويمي، ر. ج.، 2005. إدارة التعقيد في نمذجة الأنظمة المدمجة. مؤرشف في 25 يوليو 2011 في Wayback Machine. مؤتمر هندسة النظم/الاختبار والتقييم 2005، 7-9 نوفمبر، بريسبان، أستراليا
  28. ↑ غرونسكي، ل.، كولفين، ر.، وينتر، ك. دعم التحقق من النموذج الاحتمالي للتقييم الكمي لأنظمة FMEA. QEST 2007. المؤتمر الدولي الرابع للتقييم الكمي للأنظمة، 17-19 سبتمبر 2007، ص 119-128
  29. ↑ وين، ل.، درومي، ر. ج. 2007. من تغيير المتطلبات إلى تغيير التصميم: مسار رسمي
  30. ↑ وين، إل.، درومي، آر جي 2005. توحيد بنية الأنظمة القائمة على المكونات مؤرشف في 25 يوليو 2011 في Wayback Machine وقائع ورشة العمل الدولية الثانية حول الجوانب الرسمية لبرمجيات المكونات FACS'05، ص 247-261.
  31. ↑ RTI Inc. 2007 "تلبية متطلبات الوقت الحقيقي في أنظمة الدفاع المتكاملة"، ورقة بيضاء من RTI مؤرشفة في 20 سبتمبر 2008 في Wayback Machine .
  32. 1 2 3 مايرز، ت.، فريتزسون، ب.، درومي، ر.ج. 2008. دمج نمذجة البرمجيات والأجهزة بسلاسة للأنظمة واسعة النطاق. ورشة العمل الدولية الثانية حول لغات وأدوات البرمجة الكائنية الموجهة القائمة على المعادلات (EOOLT 2008)، قبرص، يوليو 2008. الصفحات 5-15.
  33. 1 2 3 4 5 باول، د. 2007. تقييم المتطلبات باستخدام أشجار السلوك - نتائج من الصناعة. مؤرشف في 25 يوليو 2011 على موقع Wayback Machine.
  34. ↑ باركر، د. 2000. تقنية نمذجة المتطلبات: رؤية لأنظمة أفضل وأسرع وأرخص. وقائع ورشة عمل خريف منتدى مستخدمي VHDL الدولي، 2000. ص 3-6.
  35. ↑ ليفيسون، إن جي. سيف وير: سلامة النظام والحواسيب: [دليل للوقاية من الحوادث والخسائر الناجمة عن التكنولوجيا]. شركة أديسون-ويسلي للنشر، 1995. رقم ISBN 0-201-11972-2
  36. ↑ فوتريل، آر تي، شيفر، دي إف، شيفر، إل آي. إدارة مشاريع برمجيات الجودة (سلسلة معهد جودة البرمجيات). برنتيس هول، 2002. رقم ISBN 0-13-091297-2
  37. 1 2 ظفر، إس. كولفين، آر.، وينتر، ك.، ياتاباناجي، ن.، درومي، آر جي. التحقق المبكر من صحة نموذج التحكم في الوصول الموزع القائم على الأدوار. المؤتمر الرابع عشر لهندسة البرمجيات في آسيا والمحيط الهادئ، ناغويا، اليابان، ديسمبر 2008. الصفحات 430-437.
  38. 1 2 ظفر، س.، ك. وينتر، ر. كولفين، ر. ج. درومي، "التحقق من نموذج متكامل للتحكم في الوصول قائم على الأدوار" مؤرشف في 25 يوليو 2011 في Wayback Machine ، ورشة العمل الدولية الأولى - المؤتمر الآسيوي للعمل حول البرمجيات التي تم التحقق منها (AWCVS'06)، الصفحات 230-240، ماكاو، أكتوبر 2006.
  39. 1 2 ميلوسيفيتش، ز.، درومي، ر.ج. حول التعبير عن السلوك ومراقبته في العقود ، EDOC 2002، وقائع المؤتمر الدولي السادس للحوسبة الموزعة للكائنات المؤسسية، لوزان، سويسرا، سبتمبر 2002، ص 3-14.
  40. ↑ داميان إيسلا: التعامل مع التعقيد في الذكاء الاصطناعي في لعبة هالو 2.
  41. ↑ كريس هيكر ملاحظاتي على غلاف ألبوم Spore
  42. ↑ شياو-وين تيري ليو وجاكي بالتس: بنية بديهية ومرنة للروبوتات المتنقلة الذكية، المؤتمر الدولي الثاني للروبوتات والوكلاء المستقلين، 13-15 ديسمبر 2004، بالمرستون نورث، نيوزيلندا
  43. ↑ يوكيكو هوشينو، تسويوشي تاكاجي، أوجو دي بروفيو، وماساهيرو فوجيتا: وصف السلوك والتحكم فيه باستخدام وحدة سلوكية للروبوت الشخصي
  44. ↑ "أداة اختبار قائمة على النماذج - MBTester · 测试之家" . testerhome.com . تم الاسترجاع في 12 يونيو 2025 .
  45. ↑ فيليبس، ف.، (رايثيون أستراليا)، "تنفيذ أداة تحليل شجرة السلوك باستخدام أطر تطوير إكليبس" ، المؤتمر الأسترالي لهندسة البرمجيات (ASWEC'08)، بيرث، مارس 2008
  46. ↑ بوسطن، ج.، (رايثيون أستراليا)، أشجار السلوك - كيف تحسن سلوك الهندسة؟، المؤتمر السنوي السادس لمجموعة عمليات هندسة البرمجيات والأنظمة (SEPG 2008)، ملبورن، أغسطس 2008.
  47. ↑ لين، ك.، تشين، د.، صن، س.، درومي، ر.ج.، استراتيجية صيانة القيود وتطبيقاتها في بيئات التعاون في الوقت الحقيقي ، المؤتمر الدولي الثاني حول التصميم التعاوني والتصور والهندسة (CDVE2005)، 2005.
  48. ↑ لين، ك.، تشين، د.، درومي، ر.ج.، صن، س.ز.: نشر قيود تدفق البيانات متعدد الاتجاهات في الأنظمة التعاونية في الوقت الحقيقي. مؤرشف في 25 يوليو 2011 في Wayback Machine ، IEEE، المؤتمر الدولي الثاني حول الحوسبة التعاونية: الشبكات والتطبيقات ومشاركة العمل (CollaborateCom 2006)، أتلانتا، جورجيا، الولايات المتحدة الأمريكية، نوفمبر 2006.
  49. ↑ Grunske, L., Winter, K., Colvin, R., "أشجار السلوك الموقوتة وتطبيقها على التحقق من أنظمة الوقت الحقيقي" مؤرشف في 18 نوفمبر 2008 في Wayback Machine ، وقائع المؤتمر الأسترالي الثامن عشر لهندسة البرمجيات (AEWEC 2007)، أبريل 2007، مقبول للنشر.