论文部分内容阅读
本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上，给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。
精炼工作流网的行为保持性质
【摘 要】
：
本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行
【机 构】
：
同济大学计算机科学与技术系,山东科技大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2007年5期
【基金项目】
：
国家973资助项目（2003CB316902）,国家自然科学基金资助项目（60534060,90412013,60473094）和上海市优秀学科带头人计划资助项目（04XD14016）.
其他文献
本文论述幼儿园利用废旧材料提升幼儿环保意识的策略,建议通过收集废旧材料,引导幼儿形成环保的意识;进行废旧材料的主题设计,增加环保的教育价值;将废旧材料投放到活动中,丰
档案数码化为政府档案资源深度利用提供了途径,数码化后的档案图像倾斜校正是数字档案质量的必然要求,也是数字图像的预处理过程。通过引入一个多尺度的高斯滤波器,可以对档案图像的全局特征进行增强,继而在增强的图像中,定义基于梯度函数的结构分析张量,提取像素点的线结构似然信息,对于大于一定阈值的线结构信息,计算其倾角,最后利用倾角直方图的统计特性确定档案图像的倾斜度。实验表明,该方法对文本富裕档案具有普遍适
党的十八大以来,脱贫攻坚与乡村振兴成为新时代“三农”工作的核心,提升两项政策的实践黏合度关系到小康社会的建设成效和“三农”的现代化。因此,如何促使两者有效衔接是当
近年来,在国有企业党的建设方面,大型生产型企业特别是国有火力发电企业存在一些固有问题亟待解决,如对基层党建工作的重要性认识不够、基层党建工作没有融入企业中心任务、
普适计算的环境是高度动态的，资源种类丰富，设备交互复杂，而基于封闭环境的传统的编程模型已不能适应这种变化。因此，基于普适计算环境的编程模型已成为软件工程领域重要的研究内
传统的Web服务主要是基于UDDI的技术规范,只提供了按照简单分类和关键字的服务发现方法,造成查准率与查全率低,影响服务复用和服务组合的相容性。带有语义的Web服务通常也只
作为与真实感图形学相对应的图形学分支,近年来非真实感图形学的发展受到人们的关注并已成为计算机图形学的研究热点之一。然而,非真实感绘制作为一个新的研究领域在很多方面还处于不断发展之中。在非真实感油画的绘制中,场景中明暗色调的合理性和协调性直接影响到最后生成画面的效果。对非真实感油画绘制中明暗色调的获取方法进行研究,提出一种基于小平面片的色调信息提取方法。该方法假设场景中客体表面均匀覆盖了一层大小相同
自感染25条日本血吸虫尾蚴6wk后的小鼠肝脏分离虫卵肉芽肿进行体外培养,用ELISA方法检测培养上清液中的SEA特异性抗体。感染鼠肝内分离到的虫卵肉芽肿大小不一,其直径的频数
资源的访问控制是开放、异构Web服务环境必须满足的重要安全需求之一。提出了基于策略的访问控制（PBAC）模型，比较了PBAC与基于角色的访问控制（RBAC），分析了PBAC对策略语言和策略管
本文基于同构化基本原理，以数字图书馆与供应链为例，简述了复杂系统服务对象关系管理（OSRM）新概念的基本内涵；分析了OSRM结构的主要特点和重要意义；提出了供应链的服务主体与服务对