e-ISSN:0976-5166
p-ISSN:2231-3850


INDIAN JOURNAL OF COMPUTER SCIENCE AND ENGINEERING

Call for Papers 2020

Apr 2020 - Volume 11, Issue 2
Deadline: 15 Mar 2020
Notification: 15 Apr 2020
Publication: 30 Apr 2020

Jun 2020 - Volume 11, Issue 3
Deadline: 15 Apr 2020
Notification: 15 Jun 2020
Publication: 30 Jun 2020

More

Indexed in

IJCSE Indexed in Scopus

ABSTRACT

Title : VERIFYING DATABASE CONCEPTS DURING FORMAL METHOD TOWARDS CORRECTION BY CONSTRUCTION
Authors : Enas E. El-Sharawy, Thowiba H. Elawd, Linda O. Elbadry
Keywords : Formal Methods, Event-B, UML-B, DataBase, Refinement
Issue Date : Jan-Feb 2020
Abstract :
Nowadays the generation of the reliable and verified database model is considered a challenge in the software engineering field, so Using the formal method "Event-B" as a validation tool for the database becomes an effective and objective concept to evaluate any database model. Event-B is a formal method which the usage of for modeling and verifying the software program construction. The functional properties of the Database require particular descriptions and also, the valid operations of many essential databases are established. Therefore, a verifiable database design system is incredibly desirable. This research pursuit to present database in the formal method and acquire demonstrated and automatic Event-B code that guided by the Student enrolment case study, using the validation in UML-B and verification approach with the RODIN platform tool. UML-B is a graphical plug-in of the RODIN framework and the Event-B formal method language helps the modeler in modeling and Validation of the generated database model.
Page(s) : 18-26
ISSN : 0976-5166
Source : Vol. 11, No.1
PDF : Download
DOI : 10.21817/indjcse/2020/v11i1/201101006