节点文献

CORBA工作流时间Petri网建模与分析

Modeling and analysis of CORBA workflows using time Petri net

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【作者】郑红；明仲；

【Author】 ZHENG Hong1 and MING Zhong1,2 1)School of Information Science and Engineering East China University of Science and Technology,Shanghai 200237P.R.China2)School of Computer and Sofeware Engineering,Shenzhen University Shenzhen 518060P.R.China

【机构】华东理工大学信息科学与工程学院；深圳大学计算机与软件学院；

【摘要】基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.更多还原

【Abstract】 A time workflow model in CORBA system,formed by the collaboration of time constrained sub-workflows,was presented based on the analysis of time Petri net and workflow.The effectiveness of this proposed time workflow model and its consistency with the specifications of system requirement were demonstrated.更多还原

【关键词】 CORBA系统；工作流；时间Petri网；
【Key words】 CORBA system； workflow； time Petri net；

【基金】国家自然科学基金资助项目(60673122);粤港关键领域重点突破项目(2007A090601001)

【文献出处】深圳大学学报(理工版) ,Journal of Shenzhen University Science and Engineering , 编辑部邮箱 ,2009年01期

【分类号】TP311.52
【被引频次】4
【下载频次】173

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献