从 Event-B 经 UML/EM-OCL 过渡到 UML/OCL
软件工程
2012-12-21 v1
摘要
为克服经典方法与形式化方法在复杂软件开发中的各自局限，我们提出了一种结合形式化方法（Event-B）与经典方法（UML/OCL）的混合途径。该途径的上游阶段包括：需求文档重写、精化策略、抽象规约与水平精化。我们已通过一个案例研究——电子酒店钥匙系统（SCEH）——展示了该途径的可行性。从形式化（Event-B）到半形式化（UML/OCL）的过渡问题，通过我们对 OCL 的扩展（EM-OCL）加以处理。
引用
@article{arxiv.1212.4959,
title = {D'Event-B vers UML/OCL en passant par UML/EM-OCL},
author = {Imen Sayar},
journal= {arXiv preprint arXiv:1212.4959},
year = {2012}
}
备注
128 pages, 23 figures, 6 tables