软件体系结构获取过程的形式化描述方法比较

• 作者: 向宏 桑军 胡海波 鄢波
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 软件体系结构 着色Petri网 状态机 形式化描述语言
• 年，卷（期）: 2009,（21）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 29-32
• 页数: 4页
• 分类号: N945
• 字数: 4272字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.21.010

摘要

为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构.分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方法的相似处及不同的应用领域.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	向宏	重庆大学软件学院	60	404	12.0	18.0
2	胡海波	重庆大学软件学院	36	229	9.0	13.0
3	桑军	重庆大学软件学院	42	250	8.0	14.0
4	鄢波	重庆大学软件学院	1	35	1.0	1.0