论文部分内容阅读
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产生有效的工作流模型。
基于状态空间的工作流模型验证
【摘 要】
：
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产生有效的工作流模型。
【机 构】
：
复旦大学计算机与信息技术系
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年10期
【基金项目】
：
国家863高技术研究发展计划项目基金资助
其他文献
Thorton改Barton，Duron改Athlon XP，AMD的CPU总是不断给我们带来意外的惊喜。这次，新推出的Sempron又一次成为DIY玩家关注的焦点。在这里，本刊将首家披露Duron改造为Sempron的方
找到一个高效的索引结构一直是空间数据库研究的重点。CUR树突破传统思维，提出用一个代价函数来决定叶子的高度，从而在整体上优化了索引结构的性能。然而，它基于的查询分布模型
介绍了24米跨拱板屋架实施现浇方法所采取的方案设计、施工方法及施工效果,从而补充了大跨度预应力拱板屋架在常规做法(预制、吊装)无法实施时,所采取的科学可行的方法.
目的：探讨2型糖尿病患者血清细胞外基质（ECM）水平与糖尿病肾病（DN）之间的关系。方法：运用放射免疫法检测78例2型糖尿病患者和25名健康者的血清Ⅳ型胶原（cⅣ）、层粘蛋白（LN）、透明质酸（HA
目的：利用siRNA（small interference RNA）技术研究C-myc基因的对宫颈癌HeLa细胞增殖的影响。方法：依据Promega公司在网上提供的设计软件，设计针对C-myc基因的siRNA，合成DNA模板，体外
精神成瘾性药物急性戒断后行为活动量增加是一个突出表现，本实验以米非司酮（Ru486）为干涉药物，抑制糖皮质激素与受体结合，间接抑制戒断期间DA递质升高所引起活动量的增加。结果表
想要用好Windows操作系统．就必须掌握优化Windows的密诀。从本期开始，“OS自助餐”将定期向大家介绍一些优化操作系统的方法。同时也希望各位读者将自己优化的技巧告诉我们，让更
目的：探讨人喉癌组织中肿瘤浸润树突状细胞（tumor infiltrating dendritic cell，TIDC）肿瘤抗原提呈效应。方法：采用光镜、透射电镜和免疫组化方法观察28例手术切除的人喉癌中TIDC
目的：探讨以当归多糖为载体的地塞米松前体药在大鼠胃肠道内容物中的释药特性,考察其结肠靶向性.方法：将前体药与大鼠胃肠道不同部位内容物稀释液于37℃共同孵育,不同时间点取
随着城市化进程的不断推进,建筑行业的发展速度越来越快,但是在实际的工程建筑管理过程中,却存在着很多问题,影响到施工质量和安全。本文分析了给工程建筑管理带来影响的各种