Beta
110104

TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS

Article

Last updated: 26 Dec 2024

Subjects

-

Tags

Electrical Engineering, Computer Engineering and Electrical power and machines engineering.

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.

DOI

10.21608/jesaun.2006.110104

Keywords

Unified Modeling Language (UML), Use Case Diagram, Formalization, Z specification language

Authors

First Name

Ahmed

Last Name

M. Mostafa

MiddleName

-

Affiliation

Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt

Email

-

City

-

Orcid

-

First Name

Manal

Last Name

A. Ismail

MiddleName

-

Affiliation

Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt

Email

-

City

-

Orcid

-

First Name

El Sayed

Last Name

M. Saad

MiddleName

-

Affiliation

Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt

Email

-

City

-

Orcid

-

First Name

Hatem

Last Name

EL-Bolok

MiddleName

-

Affiliation

Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt

Email

hbolok@mailer.eun.eg

City

-

Orcid

-

Volume

34

Article Issue

No 1

Related Issue

16603

Issue Date

2006-01-01

Receive Date

2005-09-24

Publish Date

2006-01-01

Page Start

173

Page End

188

Print ISSN

1687-0530

Online ISSN

2356-8550

Link

https://jesaun.journals.ekb.eg/article_110104.html

Detail API

https://jesaun.journals.ekb.eg/service?article_code=110104

Order

11

Type

Research Paper

Type Code

1,438

Publication Type

Journal

Publication Title

JES. Journal of Engineering Sciences

Publication Link

https://jesaun.journals.ekb.eg/

MainTitle

TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS

Details

Type

Article

Created At

23 Jan 2023