A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality
Joint Authors
El Miloudi, Khadija
Ettouhami, Aziz
Source
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-12-02
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1184259