| 工作流系统模型的性能等价分析 |
| |
| 引用本文： | 林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[J].软件学报,2002,13(8):1472-1480. |
| |
| 作者姓名： | 林闯 田立勤 魏丫丫 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金资助项目(60173012,90104002);国家重点基础研究发展规划973资助项目(G1999032707);国家高科技研究发展计划资助项目(2001AA112080) |
| |
| 摘 要： | 讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.
|
| 关 键 词： | 工作流 随机Petri网模型 性能等价 性能分析 |
| 文章编号： | 1000-9825/2002/13(08)1472-09 |
| 收稿时间： | 2001/11/26 0:00:00 |
| 修稿时间： | 2001年11月26 |
Performance Equivalent Analysis of Workflow Systems |
| |
| LIN Chuang,TIAN Li-qin and WEI Ya-ya.Performance Equivalent Analysis of Workflow Systems[J].Journal of Software,2002,13(8):1472-1480. |
| |
| Authors: | LIN Chuang TIAN Li-qin and WEI Ya-ya |
| |
| Abstract: | In this paper, four basic model of workflow systems are discussed based on SPN (stochastic Petri nets), and their performance equivalent equations are deduced. Finally, an example is given to explain how to model a workflow system based on SPN, and how to use those equations to compute their performance. By using these equations, not only the complex workflow model can be simplified but also the product-form solution of performance parameter of workflow model can be got. |
| |
| Keywords: | workflow systems stochastic Petri nets performance equivalence performance analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
