【摘 要】
：
工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.
其他文献
1994年国庆节休假后的第一个工作日,一封署名为“一名本校学生”的信摆在了江苏省常州高级技校校长徐效忠的案头。信的内容写在一张报纸的天头,只有短短的一句话:“江苏省常
文章描述了一种获取形态模板分解的逼近算法，实现了二维形态模板的双向正交分解，使算法具有较快的处理速度。形态模板分解对于提高形态图像处理计算的效率是一种非常有用的技术
【摘 要】在小学阶段的语文课堂中，朗读教学应当构成其中的核心与关键部分。在朗读课堂上，教师指引同学们大声进行朗读，通过这种方式来输入文本中的信息。由此可见，朗读教学可以帮助小学生迅速获取语文学科的基本知识，因而构成了直接性的课堂教学模式。与此同时，通过文本朗读的方式，还能帮助小学生透彻领会特定的文本内容以及课文意境。在新课改的指引下，针对小学阶段开展的朗读教学有必要提升教学有效性，通过运用适当的措
异构数据源集成系统需要集成包括ＷＷＷ在内的各种数据源，一些半结构化数据对应的模式不仅量大且修改频繁，致使元数据的生成十分耗时，该文提出全局模板的增量维护策略，当局部模板发生变
基于图同构零知识证明的标识－鉴别－签名系统，提出了一个解决自授权问题的方法。与以前的方法相比，虽然两者都是基于对主秘密的逐步暴露来实现的，但前者是基于图同构置换来实现的，而
人工全髋关节置换术治疗髋部疾患已被广泛接受和应用，对于双侧全髋关节疾患，如股骨头无菌性坏死、强直性脊柱炎并发髋关节骨性强直，常规治疗为两侧分次施行手术。麻醉技术的进步
课程改革的重要理念即提倡创新，激发学生学习的积极性，促进学习的效率。在创新教学的探索中，在激发学生学习的积极性、提高教学效率的尝试下，语文课堂产生了许多新奇的表现，甚至演
摘要：教师准备项目（TPP）是美国职前教师教育的主体形态，项目实施质量的科学评价关涉美国基础教育质量的持续提升。美国教师准备项目评价以助推项目管理质量的全面提升为目的，以全
在长期的探索和实践积累中,笔者认为应采取以下方法激发高中生历史学科的学习动力。一、转变学生的态度,使学生认识到历史学科的重要性由于初中阶段学生的历史知识基础薄弱,
自然资源过度开发、污染物大量排放、全球资源短缺、生态恶化、环境污染严重等,使人们认识到环境保护对于人类的意义。因此,在学校尤其是农村学校开展环境教育将成为提高学生