使用UML-B与Event-B的增量式数据库设计
数据库
2018-05-16 v1 计算机科学中的逻辑
软件工程
摘要
许多关键系统的正确运行依赖于底层数据库的数据一致性与完整性属性。因此，可验证且严谨的数据库设计过程极为必要。本研究旨在调查并提供一种全面且实用的方法，通过分层精化在形式化方法中建模数据库。该方法由若干案例研究引导，使用UML-B中的抽象与精化以及Rodin工具的验证。UML-B是Event-B形式化语言的图形化表示，Rodin工具支持对Event-B与UML-B的验证。我们的方法引导开发者通过分层精化在UML-B中建模关系数据库，并指定数据库上的必要约束与操作。
引用
@article{arxiv.1805.05514,
title = {Incremental Database Design using UML-B and Event-B},
author = {Ahmed Al-Brashdi and Michael Butler and Abdolbaghi Rezazadeh},
journal= {arXiv preprint arXiv:1805.05514},
year = {2018}
}
备注
In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636