论文部分内容阅读
详细论述了对基于有向有环图 (DCG图 )的工作流模型结构正确性进行验证的图归约法及其五种归约规则。根据这些规则即可判定工作流模型中存在的结构冲突 ,从而迅速对其进行修正。
基于图归约法的工作流模型验证
【摘 要】
：
详细论述了对基于有向有环图 (DCG图 )的工作流模型结构正确性进行验证的图归约法及其五种归约规则。根据这些规则即可判定工作流模型中存在的结构冲突 ,从而迅速对其进行修正。
【机 构】
：
南京航空航天大学,南京航空航天大学
【出 处】
：
计算机应用
【发表日期】
：
2003年04期
其他文献
竞技的源起是多元的,除了与宗教祭祀相关以外,还与战争、狩猎等行为有着密切的联系.现代竞技与传统竞技在审美功能上已有很大的不同,除了观赏娱乐之外,审美内涵观照的对象主
在研究DCOM远程对象调用的基础上,提出了一个基于对象远程过程调用的W ebServices实现方式,实现了W eb Services的远程对象访问。该实现方法不仅可以同一般的W ebServices访问方式兼容,而且在需要客户验证的情况下,可以有效减少客户验证和网络负担,还能减小客户验证信息被攻击的风险。
应用阻力与速度的平方成正比定律[1][2],审视在竞赛速度条件下游泳体位与打腿配合技术.认为身体水中姿态与打腿技术的合理性与否在于通过技术动作所产生的推进阻力纯值的大小
大量研究表明AdHoc网络中TCP的性能非常差,这主要是由于TCP的拥塞控制机制不能有效地解决由共享信道竞争造成的分组丢失问题。文中提出了一种根据TCP发射端MAC层的RTS重发次数,来自适应地调整TCP的最大窗口大小的跨层方法,以控制网络中分组的数量,减小信道竞争。仿真结果表明,该方法能够显著地提高TCP的吞吐量,并改善其稳定性。
背向掩护是篮球比赛中一种新兴的较为实用的战术配合方法,在NBA中经常被采用,近年来在CBA比赛中也有出现.背向掩护具有掩护环节少,不易犯规和掩护后期视野宽的优势,从而获得
针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型。引入了化简的验证方法,并通过化简,对模型进行了正确性验证。利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持。