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

作     者：卢超 卢炎生 毛澄映 Lu Chao;Lu Yansheng;Mao Dengying

作者机构：华中科技大学计算机科学与技术学院湖北武汉430074 

基　　金：国家"十一五"部委预研基金资助项目(513150601) 湖北省自然科学基金资助项目(2005ABA255) 

出 版 物：《华中科技大学学报（自然科学版）》 (Journal of Huazhong University of Science and Technology(Natural Science Edition))

年 卷 期：2008年第36卷第1期

页      码：78-81页

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

主 题 词：Petri网 并发 控制流模型 模型检验 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1671-4512.2008.01.022

馆 藏 号：203310112...