تقسم هذه الدراسة إلى قسمين, يلقي القسم الأول الضوء على النماذج الضارة و مقارنتها بنماذج التصميم. نقترح في القسم الثاني أداة قادرة على اكتشاف مثل هذه النماذج في مراحل مبكرة من عمر تطوير البرمجية.
يركز هذه البحث على تقصي النقاط التي لم تغطِ بشكل كامل ضمن منهجيات هندسة البرمجيات المقادة بالوكلاء (AOSE) و قد اعتمد على مراجعة موسعة لهذه المنهجيات. ترتكز هذه الورقة بشكل أساسي على أن كل منهجية لها نقاط قوتها و ضعفها و قد تركز على بعض مراحل دورة الح
ياة البرمجية و ليس عليها كلها مجتمعة. العمل المقدم هنا يقدم تمديداً لواحدة من أهم منهجيات هندسة البرمجيات المقادة بالوكلاء (MaSE) التي تعد من أقوى المنهجيات و لكنها لا تعير اهتماماُ كافياُ لمرحلة التحليل المبكر للمتطلبات. يعتمد العمل على المكاملة مع إحدى المنهجيات التي تركز على مرحلة المتطلبات، و هذه المكاملة اقتضت تطوير مجموعة موسعة من قواعد التحويل بين بيئتين برموز و مفاهيم متباينة، و بناء برنامج يؤتمت عملية التحويل.
و تعرض هذه الورقة أيضاً مثالاً كاملا case study نطبق عليه العمل المنجز.
