【摘 要】
：
工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以
【机 构】
：
河海大学电气工程学院,江苏,南京210024江苏省镇江电信公司,江苏,镇江212007;
论文部分内容阅读
工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低.文章提出了一种通用Petri网工作流建模和验证方法.以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象.研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆炸问题、便于进行性能评价,如果从语义验证和结构验证两方面对随机Petri网工作流模型进行验证,可以提高模型正确率.
其他文献
目的:探讨复方鳖甲软肝片(FFBJRGP)抗人体肝纤维化的作用机制.方法:65例慢性乙型肝炎患者经FFBJRGP治疗前、后(治疗6个月)肝穿组织,采用Ishak评分系统进行组织学疗效评价;应用原位末端标记技术(TUNEL)POD法和αSMA单抗免疫组织化学染色法双标记显示肝组织内活化肝星状细胞(HSC)的调亡状况.结论:抑制HSC活化、促进活化HSC调亡可能为FFBJRGP抗肝纤维化的作用机制之一
目的探讨家庭教育对精神分裂症病人家庭支持和自理行为作用的可行性、有效性.方法将精神分裂症病人随机分为两组,对观察组家属实施家庭教育,为期4周,随访1年,采用家庭关怀指
目的 :探讨急性一氧化碳 (CO)中毒对心脏的损害 ,使急性CO中毒患者得到更全面的治疗。方法 :回顾性分析近年来我院收治的急性CO中毒患者的临床表现、心电图及心肌酶改变。结
目的 探讨对急性重型脑损伤患者行脑组织氧代谢监测的临床意义. 方法对28例急性重型脑损伤患者(均在全麻下急诊行血肿清除术和(或)去骨瓣减压术)术中及术后持续进行脑组织氧代谢监测,观察脑组织氧分压(PbtO2)、二氧化碳分压(PbtCO2)和pH值(pHbt)的变化. 结果 (1)28例脑外伤患者在剪开硬脑膜后PbtO2、pHbt分别从(13±4) mm Hg、(6.96±0.15)增加至(21±5
目的:观察胸椎侧凸患者胸主动脉与相邻椎体的解剖关系,并探讨其临床意义.方法:30例胸椎侧凸患者行胸椎CT平扫,测量T4～T12椎体横断面上右侧肋骨小头至主动脉后壁的切线与双侧肋
摘 要：我国运动员社会保障法律制度的建立和完善，直接影响到我国体育事业的发展，本文从法律、经济的角度阐述了我国运动员社会保障制度的定位和立法模式的选择，并提出了运动员社会保险基金的多种筹集渠道，以期对我国运动员社会保障法律制度的制定有所裨益。 关键词：我国；运动员；社会保障；法律制度 中图分类号：G812．0 文獻标识码：A 文章编号：1007—3612(2004)07—0872—03
目的探讨心理护理新方法,提高高龄病人生活质量.方法以本院神经科80岁及以上的高龄住院病人60例为观察对象,收集其人生经历中值得自豪和愉快的业绩,作为"愉快因子",通过交谈
造血干细胞移植是治疗恶性血液病、非恶性难治性血液病的重要手段.由于脐血含有丰富的造血干细胞,而且来源广泛,因此,脐血移植的临床应用越来越广泛。
目的 研究血管内皮生长因子(VEGF)、微血管密度(MVD)在大肠癌组织中的表达,并探讨血管生成与细胞增殖和凋亡的关系.方法应用RT-PCR检测52例大肠癌组织,48例癌旁黏膜组织中VEGF mRNA表达,序列分析验证PCR扩增的正确性;免疫组化法检测52例大肠癌组织中VEGF蛋白的表达及MVD、凋亡指数(AI)和增殖指数(PI).结果大肠癌组织中VEGF mRNA阳性表达率为76.9%,癌旁组织
目的 探讨超声在胰腺癌125I放射性粒子植入术中的作用.方法术前根据肿块大小计算放射总剂量及粒子数量.术中超声实时监视,均匀布针并植入粒子.术后超声及(或)X线确认植入部位及有无漏植.结果13例患者手术均获成功.术中超声清晰显示肿块,准确引导植入针的插入,成功监视粒子的植入,术后证实植入部位准确.结论超声在该项技术中具有定位精确、实时监视、复查随访等作用,其应用前景广阔。