论文部分内容阅读
针对工作流模型中出现的活动冲突问题，构建了用于工作流模型检测的TBox和ABox，并提出了基于描述逻辑的冲突检测算法。通过对工作流模型网络的分解和检测，得出结论：该冲突检测算法不仅能检测出发生冲突的活动数目，而且能够检测出冲突的具体活动，有利于设计者改进工作流模型设计。
基于描述逻辑的工作流冲突检测算法
【摘 要】
：
针对工作流模型中出现的活动冲突问题，构建了用于工作流模型检测的TBox和ABox，并提出了基于描述逻辑的冲突检测算法。通过对工作流模型网络的分解和检测，得出结论：该冲突检测算法
【机 构】
：
杭州电子科技大学智能与软件技术研究所
【出 处】
：
机电工程
【发表日期】
：
2008年3期
其他文献
2018年第十五届中国一东盟博览会国礼钧瓷《华泰尊》,由中国工艺美术大师孔相卿创意设计.“华”,原意为盛开的鲜花,寓意美好而有光辉.“泰”的本意为太平、和睦、吉祥、幸福.
<正>如何及早、精准发现"两面人",消除"两面人"潜藏在干部队伍中的巨大危害,是强化日常监督执纪、从严管党治党要解决的重要课题。11月13日,中央纪委国家监委网站公布了四川
<正>合并重组对于近年来银行的战略转型可谓炙手可热,无论是国外的银行,还是国内的城市商业银行,乃至企业和高校,为了解决内部矛盾和应对外界挑战,同时追寻信息化的快速发展,
为了研究微细螺旋孔电解加工中不同流场构型对加工效果的影响,首先介绍了一种微细螺旋孔电解加工（ECM）用工具电极的制作工艺方法;然后,通过改变电极绝缘层厚度构造不同的螺旋孔
对聚合化学反应中的连续搅拌反应釜反应-换热网络（CSTR）的动力学模型进行了分析。利用相对增益矩阵法（RGA），准确地确定出了这个复杂网络的控制量与被控量的最佳搭配，并设计了控制方
为了清除表面肌电信号（SEMG）夹杂的噪声,在分析了软阈值法、硬阈值法等常用阈值消噪方法的基础上,提出了一种改进阈值函数的新消噪方法。该阈值消噪方法结合了折中阈值方法与μ
为了提高船舶协同设计的工作效率和设计知识的重复利用率，将知识管理技术引入到船舶协同设计中。提出了船舶协同设计对知识管理的需求及其功能模型，并在此基础上给出了船舶协同