反应式软件形式化系统研究系统分析

• 作者: 开金宇 肖蕾 许明
• 来源期刊: 哈尔滨商业大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式化方法 形式化系统 形式化语言 迁移系统 计算模型
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 计算机及自动化工程
• 页码范围: 477-481
• 页数: 5页
• 分类号: TP306
• 字数: 6185字
• 语种: 中文

摘要

从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用，展示了构建反应式软件系统行为状态变化的形式化系统的过程。为形式化系统方法在反应式软件系统理论描述方面的应用进行总结，为形式化方法在更广泛的软件系统特定理论应用理清了思路。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	开金宇	安阳师范学院计算机与信息工程学院	8	6	1.0	1.0
3	肖蕾	厦门理工学院计算机与信息工程学院	21	45	4.0	6.0
5	许明	厦门理工学院计算机与信息工程学院	9	7	1.0	2.0