TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS | ||||
| JES. Journal of Engineering Sciences | ||||
| Article 11, Volume 34, No 1, January and February 2006, Page 173-188 PDF (329 K) | ||||
| Document Type: Research Paper | ||||
| DOI: 10.21608/jesaun.2006.110104 | ||||
 View on SCiNiTO | ||||
| Authors | ||||
Ahmed M. Mostafa* ; Manal A. Ismail* ; El Sayed M. Saad* ; Hatem EL-Bolok 
| ||||
| Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt | ||||
| Abstract | ||||
| The Unified Modeling Language (UML) is an evolutionary step in the development of Object-Oriented analysis and design (OOA&D) methods that appeared in the late '80s and early '90s. UML has become a widely adopted standard in the software development industry. Various attempts have been made to formally define the syntax and semantics of the UML notations, and to represent its models in a formal notation. The purpose of these attempts is to allow UML models to be rigorously checked, and to allow formal analysis of the modeled systems. Use Case Diagram is one of the diagrams supported by UML which describe the functional requirements of the system under development, helping to identify the complete set of user requirements. This paper aims to present a tentative approach to provide the Use Case Diagram with formal semantics using Z specification language. | ||||
| Keywords | ||||
| Unified Modeling Language (UML); Use Case Diagram; Formalization; Z specification language | ||||
|
Statistics Article View: 136 PDF Download: 480 |
||||
