A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality
المؤلفون المشاركون
El Miloudi, Khadija
Ettouhami, Aziz
المصدر
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-12-02
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
We propose a new formal model of UML use case diagram using Z notation to address some of its shortcomings.
UML use case diagram has therefore become commonly used to structure functional requirements and the greatest challenge facing the software developer nowadays is to deliver a high quality product meeting customers’ requirements.
However, the major disadvantage of UML models is their imprecision.
In addition, they are basically in a form of semiformal modelling representations and associated natural language requirements and lack any mechanism to rigorously check consistency which results in its models being subject to ambiguity.
This paper reports on the first formal modelling approach of use case diagrams in a multiview context.
The approach is divided into two steps.
In the first step, a formal model of UML use case diagram is proposed using Z notation.
Then, a multiview consistency checking is presented.
This approach guarantees software consistency, improving requirements quality.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
El Miloudi, Khadija& Ettouhami, Aziz. 2018. A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality. Journal of Engineering،Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1184259
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
El Miloudi, Khadija& Ettouhami, Aziz. A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality. Journal of Engineering No. 2018 (2018), pp.1-9.
https://search.emarefa.net/detail/BIM-1184259
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
El Miloudi, Khadija& Ettouhami, Aziz. A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality. Journal of Engineering. 2018. Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1184259
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1184259
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر