Event-B 中的抽象数据类型：通用实例化的应用
软件工程
2012-10-30 v1
摘要
将形式化方法整合到工业实践中是一项具有挑战性的任务。通常在同一个开发过程中需要不同类型的专业知识。一方面，领域工程师拥有正在开发系统的特定知识。另一方面，形式化方法专家拥有严格指定和推理形式化系统的经验。这些群体之间的协调对于利用他们的专业知识至关重要。在本文中，我们描述了使用通用实例化来促进这种协调的方法。特别是，通用实例化能够在开发形式化系统的不同参与方之间实现关注点分离。
引用
@article{arxiv.1210.7283,
title = {Abstract Data Types in Event-B - An Application of Generic Instantiation},
author = {David Basin and Andreas Fürst and Thai Son Hoang and Kunihiko Miyazaki and Naoto Sato},
journal= {arXiv preprint arXiv:1210.7283},
year = {2012}
}
备注
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012