| 一种并发Java程序控制流模型 |
| |
| 引用本文： | 卢超,卢炎生,毛澄映.一种并发Java程序控制流模型[J].华中科技大学学报(自然科学版),2008,36(1):78-81. |
| |
| 作者姓名： | 卢超 卢炎生 毛澄映 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 |
| |
| 基金项目： | 国家部委预研项目
,
湖北省自然科学基金 |
| |
| 摘 要： | 研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.
|
| 关 键 词： | Petri网 并发 控制流模型 模型检验 |
| 文章编号： | 1671-4512（2008）01-0078-04 |
| 收稿时间： | 2007-10-12 |
A control flow model for concurrent Java programs |
| |
| Lu Chao,Lu Yansheng,Mao Dengying.A control flow model for concurrent Java programs[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2008,36(1):78-81. |
| |
| Authors: | Lu Chao Lu Yansheng Mao Dengying |
| |
| Abstract: | In this paper,we research on the modeling problems of the Java control flows.Through in-depth analysis of the semantics of Java programming language and the modeling capabilities of Petri net with inhibitor arcs,we present a control flow model for concurrent Java programs(CJCFM).Based on Petri net,CJCFM is simple and intuitive.It can be executed to simulate the execution of the actual program.For CJCFM,we further present a method to construct it from Java source.PIPE is an open-source experimental platform for Petri net.We extended its function to support the creation,execution and evaluation of the CJCFM.With mature Petri net theory and algorithms,the properties of the CJCFM can be verified,thus achieving the purpose of the analysis of the source.Our experiments show that CJCFM can help to understand,analyze and test concurrent Java programs. |
| |
| Keywords: | Petri net concurrency control flow model model check |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
