| CORBA工作流时间Petri网建模与分析 |
| |
| 引用本文： | 郑红,明仲.CORBA工作流时间Petri网建模与分析[J].深圳大学学报(理工版),2009,26(1). |
| |
| 作者姓名： | 郑红 明仲 |
| |
| 作者单位： | 1. 华东理工大学信息科学与工程学院,上海,200237
2. 华东理工大学信息科学与工程学院,上海,200237;深圳大学计算机与软件学院,深圳,518060 |
| |
| 基金项目： | 国家自然科学基金，粤港关键领域重点突破项目 |
| |
| 摘 要： | 基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
|
| 关 键 词： | CORBA系统 工作流 时间Petri网 |
Modeling and analysis of CORBA workflows using time Petri net |
| |
| ZHENG Hong,MING Zhong.Modeling and analysis of CORBA workflows using time Petri net[J].Journal of Shenzhen University(Science &engineering),2009,26(1). |
| |
| Authors: | ZHENG Hong MING Zhong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
