M. Mostafa, A., A. Ismail, M., M. Saad, E., EL-Bolok, H. (2006). TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS. JES. Journal of Engineering Sciences, 34(No 1), 173-188. doi: 10.21608/jesaun.2006.110104
Ahmed M. Mostafa; Manal A. Ismail; El Sayed M. Saad; Hatem EL-Bolok. "TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS". JES. Journal of Engineering Sciences, 34, No 1, 2006, 173-188. doi: 10.21608/jesaun.2006.110104
M. Mostafa, A., A. Ismail, M., M. Saad, E., EL-Bolok, H. (2006). 'TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS', JES. Journal of Engineering Sciences, 34(No 1), pp. 173-188. doi: 10.21608/jesaun.2006.110104
M. Mostafa, A., A. Ismail, M., M. Saad, E., EL-Bolok, H. TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS. JES. Journal of Engineering Sciences, 2006; 34(No 1): 173-188. doi: 10.21608/jesaun.2006.110104
TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS
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.
View on SCiNiTO
Top