z notation
Recently Published Documents


TOTAL DOCUMENTS

47
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

2020 ◽  
Author(s):  
Keyword(s):  

2018 ◽  
Vol 2018 ◽  
pp. 1-9 ◽  
Author(s):  
Khadija El Miloudi ◽  
Aziz Ettouhami

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.


2016 ◽  
Vol 10 (9) ◽  
pp. 1024-1046 ◽  
Author(s):  
Srijita Basu ◽  
Anirban Sengupta ◽  
Chandan Mazumdar

2016 ◽  
Vol 15 (5) ◽  
pp. 1-9
Author(s):  
Wen Jinjie ◽  
Guo Yang ◽  
Zhao Zhengxu
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document