An integration of uml use case diagram and activity diagram with Z language for formalization of library management system

Muhamad, Zainab Hassan; Abdulmonim, Dhafer AbdulAmeer; Alathari, Bashar

doi:10.11591/ijece.v9i4.pp3069-3076

Cited by 12 publications

(9 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Using Z language, users can understand the modules, data types, and processes of the system so that the system can be analyzed, optimized, verified, tested, etc. In terms of data abstraction, Z language has a stronger descriptive ability than Petri net [31]. Using the Z language, Petri net state can be reduced and state explosion can be avoided.…”

Section: Stochastic Petri Net Extensionmentioning

confidence: 99%

Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Liu

Fan

Huang

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

With the continuous development of science and technology, people’s lifestyle becomes more and more intelligent, especially in intelligent transportation. However, running in a random environment, safety can be affected by various factors during operation. For an intelligent car, guaranteeing its safety in operation is important to the passengers in the vehicle. So, it is vital to verify the safety of the system of the smart car. This study proposes an integration formal method with stochastic Petri nets and Z (SPZN). Stochastic Petri nets can better simulate the occurrence of random events in the driving process of intelligent cars. With the advantages of the frame structure of Z language, the concurrent process and state before and after the system at different times can be better described. In addition, the frame structure of Z language can solve the problem of state explosion in Petri nets. Using this method, the random events that may occur during the operation can be formally modeled, and the subsequent behavior of the vehicle can be analyzed and predicted effectively. Using the reinforcement learning, the parameter λ in the stochastic Petri nets can be optimized, which can reduce the probability of bad states and ensure the stability and security of the system. Moreover, a case study of the intelligent car modeled by stochastic Petri nets and Z is given. The results show that it can improve the safety and effectiveness of the smart vehicle driving system.

show abstract

Section: Stochastic Petri Net Extensionmentioning

confidence: 99%

Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Liu

Fan

Huang

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

show abstract

“…Use cases are the primary source of communication among all stakeholders and provide the functionality of the system explicitly [1]. The applicability of use cases is found across several areas including big data [2,3], software effort estimation [4], formal specification [5], augmented reality [6], e-commerce [7], health care [8], safety critical systems and blockchain [9]. The wider range of its applicability is the source of motivation for us.…”

Section: Introductionmentioning

confidence: 99%

Extraction of use case diagram elements using natural language processing and network science

2023

View full text Add to dashboard Cite

Software engineering artifact extraction from natural language requirements without human intervention is a challenging task. Out of these artifacts, the use case plays a prominent role in software design and development. In the literature, most of the approaches are either semi-automated or necessitate formalism or make use of restricted natural language for the extraction of use cases from textual requirements. In this paper, we resolve the challenge of automated artifact extraction from natural language requirements. We propose an automated approach to generate use cases, actors, and their relationships from natural language requirements. Our proposed approach involves no human intervention or formalism. To automate the proposed approach, we have used Natural Language Processing and Network Science. Our proposed approach provides promising results for the extraction of use case elements from natural language requirements. We validate the proposed approach using several literature-based case studies. The proposed approach significantly improves the results in comparison to an existing approach. On average, the proposed approach achieves around 71.5% accuracy (F-Measure), whereas the baseline method achieves around 16% accuracy (F-Measure) on average. The evaluation of the proposed approach on the literature-based case studies shows its significance for the extraction of use case elements from natural language requirements. The approach reduces human effort in software design and development.

show abstract

“…e traditional model languages such as V [15,16], B [17], and Z [18,20] are good at modelling description, but poor at describing system concurrency. At present, the integrated specification languages are a hot topic, which produced CSPZ [21], TCOZ [22], PZN [23,24], and so on.…”

Section: Introductionmentioning

confidence: 99%

Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Liu

Huang

Chen

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

Nowadays, the Internet of Vehicles has become the focus of global technological innovation and transformation in the automotive industry. Its flow modelling appears to play a very important role for designing and controlling the transportation systems, since it is not only necessary for improving safety and transportation efficiency but also can yield a series of society, economy, and ecosystem environment problems. Considering the characteristics of the frame structure includes states and actions and discrete and continuous aspects of traffic flow dynamics, both petri net and Z have proved to be useful tools for modelling the Internet of Vehicles. It can formally describe the vehicle behavior accurately with petri net and more details with Z frame structure. A new integration formal method of time petri net and Z is presented in this paper for modelling the vehicle behaviors and traffic rules through taking into account state dependencies on external rules. Moreover, a case study in the Internet of Vehicles is proposed to deal with the accurate localization of events. It shows that this formal verification methods significantly improves the safety and intelligence of the Internet of Vehicles.

show abstract

An integration of uml use case diagram and activity diagram with Z language for formalization of library management system

Cited by 12 publications

References 8 publications

Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Formal Model and Analysis for the Random Event in the Intelligent Car with Stochastic Petri Nets and Z

Extraction of use case diagram elements using natural language processing and network science

Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Contact Info

Product

Resources

About