一种并发Java程序控制流模型

• 作者: 卢炎生 卢超 毛澄映
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 并发 控制流模型 模型检验
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 计算机科学与控制工程
• 页码范围: 78-81
• 页数: 4页
• 分类号: TP301
• 字数: 2228字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2008.01.022

摘要

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢炎生	华中科技大学计算机科学与技术学院	216	1989	20.0	34.0
2	毛澄映	华中科技大学计算机科学与技术学院	18	247	8.0	15.0
3	卢超	华中科技大学计算机科学与技术学院	8	70	4.0	8.0