EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION

EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION. Masters thesis, King Fahd University of Petroleum and Minerals.

[img]
Preview
PDF
Y.A.Khan_M.Sc._Thesis.pdf - Accepted Version

Download (2MB) | Preview

Arabic Abstract

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

English Abstract

Functional Requirements Specification (FRS) is a software process activity that involves documenting the intended behavior of a system-to-be. Use case modeling is a common approach used in FRS for Object-Oriented systems. Since use case modeling is performed early in a software development cycle, any defects in a use case model will propagate to subsequent development phases and artifacts. Therefore, it is crucial to produce high quality use case models, especially in use case-driven approaches. Previous work on use case quality improvement performed manual refactoring on use case models. Use case models of large scale complex software systems usually contain thousands of use cases. For such use case models, manual refactoring will be prone to human errors, leading to new defects being injected into the models. In order to avoid this issue, a fully automated process for carrying out the refactorings is necessary. Another approach used in FRS is scenario modeling, which is performed in conjunction with use case modeling. Uses cases are described in natural language as scenarios, which are modeled in detail as UML activity and sequence diagrams. A large conceptual gap exists between use cases and UML design; consequently, developers may produce UML models that do not accurately represent the required behavior of a use case. The Use Case Map (UCM) scenario modeling notation aids in bridging this conceptual gap. However, to date, the UCM notation is not part of the UML modeling language. As such, there lacks research in the area of transforming UCMs into UML design models. Model transformation is an automated technique that can greatly improve several software development activities. This thesis presents an approach that leverages model transformation to execute use case model refactorings, and transform UCM scenario specifications into UML 2 activity diagram and sequence diagram notations. The proposed approach will present a case for software developers to embrace the notion of model transformation in the context of FRS. Furthermore, a fault-based technique is proposed for thorough verification of model transformations. Case studies are presented for evaluating the effectiveness of the proposed approach. The results obtained show that model transformations can efficiently improve FRS by saving time and effort.

Item Type: Thesis (Masters)
Subjects: Computer
Department: College of Computing and Mathematics > Information and Computer Science
Committee Advisor: El-Attar, Mohamed
Committee Members: Elish, Mahmoud and Mahmood, Sajjad
Depositing User: KHAN YASSE ALI (g200598430)
Date Deposited: 15 Jul 2013 11:18
Last Modified: 01 Nov 2019 15:38
URI: http://eprints.kfupm.edu.sa/id/eprint/138964