基于B方法的体系结构描述语言的精化研究

• 作者: 丁湘陵
• 来源期刊: 怀化学院学报
• 学科: 工学
• 关键词: 体系结构描述语言 B方法 精化 形式化
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 信息技术
• 页码范围: 37-41
• 页数: 5页
• 分类号: TP301.2
• 字数: 4690字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-9743.2012.02.010

摘要

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁湘陵	怀化学院物理与信息工程系	14	18	3.0	3.0