论文部分内容阅读
为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理，并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂程度、循环路由、死锁和同步丢失等4个方面，与其他验证方法进行了比较。
基于语义推理的工作流结构验证方法
【摘 要】
：
为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理，并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂
【机 构】
：
复旦大学管理学院
【出 处】
：
计算机集成制造系统
【发表日期】
：
2006年6期
【基金项目】
：
国家863/CIMS主题资助项目（2002AA413210）,国家自然科学基金资助项目（70572027）.
其他文献
根据所选用的包括流变的堆石本构模型及其反分析得到的参数，以Cethana坝为对象进行三维流变有限元计算，从理论上分析了面板堆石流变对面板的应力和变形的影响，指出堆石的流变对
周日下午阳光明媚,我骑着单车到沱河南岸游玩。有句歌词唱道:锦绣河山美如画,祖国建设跨骏马。的确如此,只不过几个月没来这里,绿化的面积又扩大了许多,临近济祁高速的地方新
在充分总结前期典型地区防灾减灾系统研制工作经验的基础上，经过广泛的调查研究，提出了江苏省防汛防旱决策运行系统应具有的基本特征和总体目标，进行了系统软件结构和功能的总体
为了对产品并行开发过程进行合理规划,针对并行设计中任务调度的特点,综合考虑并行设计所涉及的企业运作的具体因素和约束,以模糊集理论为基础,给出了一种建立并行设计过程模
目的分析崩裂性与退行性腰椎滑脱症的MRI表现,探讨MRI在崩裂性与退行性腰椎滑脱症中的诊断及临床价值。方法回顾性分析130例腰椎滑脱症患者（崩裂滑脱组65例及退行性滑脱组65例
提出了一种将模拟进化方法与大系统分解协调技术相结合解决大系统问题的优化方法－分解协调模拟进化方法，并给出了计算实例，结果表明：分解协调模拟进化法兼具模拟进化法主分解协调
听说过直播唱歌、直播玩游戏,您见过直播卖花的吗？12日下午,第十三届中国网络媒体山东行采访团一行来到青州（国际）花卉创业园内的中国花卉电子商务交易中心.在这里,园区开辟了“
我场是本地区大型的花卉企业,今秋特别推出观赏牡丹、芍药新品种、优质开花苗、盆栽牡丹、催花牡丹、牡丹树、九大色系、品种繁多,全部分色、挂牌、工程绿化宿根花卉、荷兰进
目的探讨无症状性脑梗死（ACI）与老年抑郁症发生的相关性。方法对无精神症状的老年人和有抑郁状态的老年人行头部CT和MRI检查,比较2组人群无症状性脑梗死的检出率。结果 72例无
在对国内、外综合评价模型综述的基础上 ,结合井灌节水项目分析的特点 ,采用改进的多层次综合评价方法 ,在传统的层次分析方法基础上 ,结合灰色关联的有关理论 ,再将专家意见