文章基本信息

标题：VERIFYING DATABASE CONCEPTS DURING FORMAL METHOD TOWARDS CORRECTION BY CONSTRUCTION
本地全文：下载
作者：Enas E. El-Sharawy ; Thowiba H. Elawd ; Linda O. Elbadry 等
期刊名称：Indian Journal of Computer Science and Engineering
印刷版ISSN：2231-3850
电子版ISSN：0976-5166
出版年度：2020
卷号：11
期号：1
页码：18-26
DOI：10.21817/indjcse/2020/v11i1/201101006
出版社：Engg Journals Publications
摘要：Nowadays the generation of the reliable and verified database model is considered a challengein the software engineering field, so Using the formal method "Event-B" as a validation tool for thedatabase becomes an effective and objective concept to evaluate any database model. Event-B is a formalmethod which the usage of for modeling and verifying the software program construction. The functionalproperties of the Database require particular descriptions and also, the valid operations of many essentialdatabases are established. Therefore, a verifiable database design system is incredibly desirable. Thisresearch pursuit to present database in the formal method and acquire demonstrated and automaticEvent-B code that guided by the Student enrolment case study, using the validation in UML-B andverification approach with the RODIN platform tool. UML-B is a graphical plug-in of the RODINframework and the Event-B formal method language helps the modeler in modeling and Validation of thegenerated database model.
关键词：Formal Methods; Event;B; UML;B; DataBase; Refinement