|
|||||
|
|
| 基于B方法的体系结构描述语言的精化研究 | |
| 引用本文： | 丁湘陵.基于B方法的体系结构描述语言的精化研究[J].怀化师专学报,2012(2):37-41. |
| 作者姓名： | 丁湘陵 |
| 作者单位： | 怀化学院物理与信息工程系,湖南怀化418008 |
| 摘 要： | 通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性. |
| 关 键 词： | 体系结构描述语言 B方法 精化 形式化 |
| 本文献已被 维普 等数据库收录！ | |