基于状态转换图的特征规范与精化
软件工程
2014-09-26 v1
摘要
本文介绍了一种称为状态转换图 (STD) 的图形化规范技术，并展示了其在特征交互问题中的应用。利用基于流的形式语义，我们为 STD 提供了精化规则。精化定义了 STD 规范上的实现关系。我们将特征视为特定的精化，即为给定的 STD 规范添加先前未指定的行为。随后利用精化关系来添加特征，并定义冲突特征的概念。我们的技术通过对文献 [25] 中给出的示例进行系统化开发得到了演示。
引用
@article{arxiv.1409.7232,
title = {Feature Specification and Refinement with State Transition Diagrams},
author = {Cornel Klein and Christian Prehofer and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.7232},
year = {2014}
}
备注
15 pages, 7 figures