版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
CORBA工作流时间Petri网建模与分析
Modeling and analysis of CORBA workflows using time Petri net作者机构：华东理工大学信息科学与工程学院上海200237 深圳大学计算机与软件学院深圳518060
出 版 物：《深圳大学学报（理工版）》 (Journal of Shenzhen University(Science and Engineering))
年 卷 期：2009年第26卷第1期
页 面：42-46页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(60673122) 粤港关键领域重点突破项目(2007A090601001)
摘 要：基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
