论文部分内容阅读
对于大型的复杂的业务流程模型,传统的方法主要基于流程模型的执行迹分析,但是该方法在处理大型的流程模型时可能会耗时且复杂。针对传统方法的不足,提出基于简单规则约束的设计方法及一致性检验规则,并且通过举例验证了该方法的有效性及模型检查的一致性。
数据规则约束下的抽象模型一致性检验分析
【摘 要】
：
对于大型的复杂的业务流程模型,传统的方法主要基于流程模型的执行迹分析,但是该方法在处理大型的流程模型时可能会耗时且复杂。针对传统方法的不足,提出基于简单规则约束的
【机 构】
：
滁州职业技术学院
【出 处】
：
佳木斯大学学报:自然科学版
【发表日期】
：
2020年2期
【基金项目】
：
滁州职业技术学院2019校级科研一般项目(YJY-2019-14)
其他文献
社会经济进步后,人们对居住环境也有了更高的要求,从之前能遮风挡雨即可满足的状态逐渐向生态养生的方向转变。文章分析了生态型住宅的功能和特点,并对生态住宅景观设计思路
<正>0引言近年来,中国的专业救助队伍在保障海上人命、财产和环境安全中发挥了巨大的作用。在实际海上救助过程中,除万不得已外,通常遇险船员选择留在母船是最为正确的待救方
通过对军队医疗机构制剂现状的分析,深入解析影响制剂发展的因素,探寻制约其发展的主、客观原因。针对现阶段制剂发展的新形势,通过提出一系列解决制约制剂发展的建议和对策,
提出一种深度增强学习方法来解决网络数据包分类问题。本方法DeepCut使用简洁的表示形式来编码状态和动作空间,并有效地探索候选决策树以针对全局目标进行优化。DeepCut能构
《黄帝内经》是我国最古老的医学著作,《脉经》是西晋太守五叔和撰写的我国最早的脉学专著。本文分别从卜弥格对《黄帝内经》、《脉经》、对中医中草药的介绍以及他的中医研
<正>8对进口食品的注册制管理将是未来趋势第五章第七十五条"进口商应当建立境外出口商、境外食品生产企业审核制度,保证进口的食品符合本法以及我国其他有关法律、法规的规
用微波法快速地合成了单体方酸菁染料,并首次通过Suzuki偶联将其键合到聚芴的主链上,目标共聚物通过红外和核磁对其进行了表征。聚合物P1和P2的热分解温度分别为465.3℃和423
大数据背景下,数据和信息以前所未有的方式增长,对于人们来说,如何从纷杂的网页中获得需要的信息,或者有价值的信息成为研究热点,因此,爬虫技术近几年研究很多,发展很快。pyt
剖析湖南省高职院校专业结构与产业结构吻合度现状。结果显示,湖南省与产业发展相适应的专业布局基本形成,专业门类较齐全,覆盖面广,新兴专业发展迅速,但也存在专业重复设置