SysML/KAOS 领域模型与 B 系统规约
软件工程
2018-07-02 v4
摘要
本文结合 SysML/KAOS 需求工程方法(SysML 的一种扩展,含 KAOS 目标模型概念)与 B 系统形式化方法。已定义从 SysML/KAOS 目标模型到 B 系统规约的转换规则,借此可获得 B 系统规约的骨架。为补全该骨架,我们定义了一种语言表达与目标模型关联的领域模型。该领域模型的转换给出 B 系统规约的结构部分。本文的贡献在于描述了从 SysML/KAOS 领域模型到 B 系统规约的转换规则。我们还给出了这些规则的形式化验证,并描述了一个实现上述语言与规则的开源工具。最后,我们回顾了 SysML/KAOS 方法在案例研究中的应用,例如混合 ERTMS/ETCS 三级标准的形式化规约。
引用
@article{arxiv.1803.01972,
title = {SysML/KAOS Domain Models and B System Specifications},
author = {Steve Jeffrey Tueno Fotso and Marc Frappier and Amel Mammar and Régine Laleau},
journal= {arXiv preprint arXiv:1803.01972},
year = {2018}
}
备注
arXiv admin note: text overlap with arXiv:1712.07406