论文部分内容阅读
本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上，给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。
精炼工作流网的行为保持性质
【摘 要】
：
本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行
【机 构】
：
同济大学计算机科学与技术系,山东科技大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2007年5期
【基金项目】
：
国家973资助项目（2003CB316902）,国家自然科学基金资助项目（60534060,90412013,60473094）和上海市优秀学科带头人计划资助项目（04XD14016）.
其他文献
本文论述幼儿园利用废旧材料提升幼儿环保意识的策略,建议通过收集废旧材料,引导幼儿形成环保的意识;进行废旧材料的主题设计,增加环保的教育价值;将废旧材料投放到活动中,丰
档案数码化为政府档案资源深度利用提供了途径,数码化后的档案图像倾斜校正是数字档案质量的必然要求,也是数字图像的预处理过程。通过引入一个多尺度的高斯滤波器,可以对档案图像的全局特征进行增强,继而在增强的图像中,定义基于梯度函数的结构分析张量,提取像素点的线结构似然信息,对于大于一定阈值的线结构信息,计算其倾角,最后利用倾角直方图的统计特性确定档案图像的倾斜度。实验表明,该方法对文本富裕档案具有普遍适
党的十八大以来,脱贫攻坚与乡村振兴成为新时代“三农”工作的核心,提升两项政策的实践黏合度关系到小康社会的建设成效和“三农”的现代化。因此,如何促使两者有效衔接是当
普适计算的环境是高度动态的，资源种类丰富，设备交互复杂，而基于封闭环境的传统的编程模型已不能适应这种变化。因此，基于普适计算环境的编程模型已成为软件工程领域重要的研究内
资源的访问控制是开放、异构Web服务环境必须满足的重要安全需求之一。提出了基于策略的访问控制（PBAC）模型，比较了PBAC与基于角色的访问控制（RBAC），分析了PBAC对策略语言和策略管
本文基于同构化基本原理，以数字图书馆与供应链为例，简述了复杂系统服务对象关系管理（OSRM）新概念的基本内涵；分析了OSRM结构的主要特点和重要意义；提出了供应链的服务主体与服务对