| 基于Petri 网软件过程执行机制的研究 |
| |
| 引用本文： | 刘士喜,许志才,方贤文. 基于Petri 网软件过程执行机制的研究[J]. 安徽理工大学学报(自然科学版), 2007, 27(3): 57-61 |
| |
| 作者姓名： | 刘士喜 许志才 方贤文 |
| |
| 作者单位： | 滁州学院计算机系,安徽,滁州,239012;滁州学院计算机系,安徽,滁州,239012;安徽理工大学数理系,安徽,淮南,232001;安徽理工大学数理系,安徽,淮南,232001 |
| |
| 基金项目： | 国家自然科学基金资助项目(10371047)，安徽省教育厅青年教师基金资助项目(2006jq1077) |
| |
| 摘 要： | 在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。
|
| 关 键 词： | 分层机制 软件过程 Petri 网 过程建模 形式化语义 |
| 文章编号： | 1672-1098（2007）03-0057-05 |
| 修稿时间： | 2006-06-16 |
Research of Software Process Enactment Mechanism Based on Petri Net |
| |
| LIU Shi-xi,XU Zhi-cai,FANG Xian-wen. Research of Software Process Enactment Mechanism Based on Petri Net[J]. Journal of Anhui University of Science and Technology:Natural Science, 2007, 27(3): 57-61 |
| |
| Authors: | LIU Shi-xi XU Zhi-cai FANG Xian-wen |
| |
| Affiliation: | 1. Dept. of Computer Science, Chuzhou college, Chuzhou Anhui 239012,China;2. Anhui University of Science and Tech nology,Huainan Anhui 232001 ,China |
| |
| Abstract: | There are two kinds of traditional process enactment mechanisms,namely the proactive and reactive.There exists contradiction between model complexity and enactment flexibility.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. |
| |
| Keywords: | layered mechanism software process Petri net process modeling formalized semantics. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
