基于Petri网软件过程执行机制的研究  

Research of Software Process Enactment Mechanism Based on Petri Net

作　　者：刘士喜[1] 许志才[1] 方贤文[2] 

机构地区：[1]滁州学院计算机系,安徽滁州239012 [2]安徽理工大学数理系,安徽淮南232001

出　　处：《安徽理工大学学报（自然科学版）》2007年第3期57-61,共5页Journal of Anhui University of Science and Technology:Natural Science

基　　金：国家自然科学基金资助项目(10371047);安徽省教育厅青年教师基金资助项目(2006jq1077)

摘　　要：在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。There are two kinds of traditional process enactment mechanisms, name active. There exists contradiction between model complexity and enactment flexib y the proactive and relity. Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition. The authors take advantage of modeling and analytical method of software process enactment mechanism based on Petri nets. It presents accurate formalized definition, describes properly synchronous, concurrent, asynchronous characteristics and etc, solves the drawback of process support which adopted early ＂proactive mechanism＂, and decreases the complexity of ＂reactive＂ process modeling.

关 键 词：分层机制 软件过程 PETRI网 过程建模 形式化语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]