A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

Abstract

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.

Solutions of a Class of Degenerate Kinetic Equations Using Steepest Descent in Wasserstein Space

“…obtained, thanks to a diagonal method combined with a result obtained in [1]. (b) e convexity of c * and the boundedness of…”

“…One of the interests in considering (1) under a general nonlinearity is that it covers a very broad range of problems which occurred in physics and it is a purely mathematical challenge. Of course, it has been motivated by some previous works in the literature, namely, the works in [1][2][3][4][5][6][7], where (1) is investigated in some particular cases. Indeed, in [3], the authors dealt with the heat equation:…”

“…In [1], the existence of solutions for the spatially homogeneous equations associated with (1), that is, the equation for fixed x…”

“…Such a decomposition is not suitable in the case of problem (1) because of its nonlinear structure. To deal with the more general class of kinetic equation (1), we combine some ideas from the splitting method in [5] along with some techniques developed in [1] for the spatially homogeneous equations:…”

Corrigendum to “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality”

“…In the article titled "A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality" [1], there was an error in the affiliation "LCS Laboratory, Faculty of Sciences of Rabat, Mohamed V University in Rabat, Morocco" in which the spelling of "Mohammed" was incorrect. e corrected affiliation appears below, and in the author information above:…”