【摘 要】
：
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化
【机 构】
：
云南大学软件学院,云南大学云南省软件工程重点实验室,西南林业大学大数据与智能工程学院,南京信息工程大学计算机与软件学院,曲阜师范大学信息科学与工程学院
【基金项目】
：
国家自然科学基金资助项目(61862065),云南省应用基础研究计划资助项目(2018FB105,202001BB050031,202101AS070007),云南省教育厅科学研究基金资助项目(2020J0002),云南省软件工程重点实验室开放基金资助项目(2020SE401)。
论文部分内容阅读
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化
其他文献
随着云计算及移动互联网技术的迅速发展,网络中可选服务信息呈爆炸性增长,信息过载问题日益严重。针对推荐系统中存在的数据稀疏性问题及冷启动问题,提出一种基于谱聚类和隐语义模型的智能协同推荐方法。该方法基于提取的用户标签特征信息,利用谱聚类算法对相似用户进行聚类,将原始高维评分矩阵转化为多个较低维的子评分矩阵。然后在子评分矩阵中利用隐语义模型对缺失评分进行局部预测。最后在获得缺失评分后利用改进的基于邻域的协同推荐算法对目标用户进行全局评分预测。所提算法有效解决了数据稀疏性问题和冷启动问题,在提高预测准确度的同时
用真空电弧熔炼和退火处理制备了A5B19型R0.45Y0.55Ni3.5Mn0.2Al0.1(R=Y,La,Pr,Nd,Sm)储氢合金,采用XRD、SEM-EDS与电化学方法系统分析了镧系稀土元素对R-Y-Ni系A5B19型储氢合金微观结构和电化学性能的影响规律.结果表明,退火合金微观组织由Ce5Co19型相、Ce2Ni7型相和CaCu5型多相结构组成,其中R=La和Y时的Ce5Co19型主相丰度较高,Ce5Co19型相的晶胞体积V及晶格常数a、c均随添加稀土R原子半径的减小而减小.电化学测试结果表明,当
内喷砂处理作为一种锆合金包壳管内表面的机械处理方式,在去除管材内表面退火氧化层及微裂纹缺陷的同时不会造成管材内表面氟残留的增加,有效解决了锆合金包壳管内表面酸洗处理存在的问题.使用φ9.5 mm规格的Zr-4合金包壳管进行了内喷砂试验,研究了内喷砂介质、喷吹次数、喷砂压力及时间对管材内表面质量及尺寸的影响.采用工业内窥镜观察内喷砂后管材内表面质量,采用X射线能谱仪分析不同喷吹次数下管材内表面Si元素并使用高压釜在400±3℃,10.3±0.70 MPa条件下对试样进行72 h均匀腐蚀,采用超声波检测设备对
为解决跨组织服务编排复杂度高的问题,提出一种基于网络代理的去中心化服务编排框架。该框架基于BPMN 2.0规范实现,通过网络代理和递归转发技术实现了服务编排引擎的去中心化。针对第三方服务质量不可控的问题,提出了补偿发送和服务重定向技术,通过异常再确认、快速重传、代理转发等技术,防止单个服务的偶发异常导致全部前置工作的废弃,保证了服务编排框架的可靠性。实验表明,相对于与传统服务编排框架,该服务编排框架具备更灵活的服务替换和扩展能力,且当网络或服务实例不稳定时,能够以可接受的性能损失使工作流执行成功率提升16
铅基反应堆结构的完整性和可靠性是反应堆服役期间安全运行的基础.结构材料的服役环境非常苟刻,会受到快中子辐照、高温液态金属的腐烛与冲刷及应力等的综合作用,因此对材料的性能要求非常高.T91钢具有良好的导热性能、低的膨胀系数和良好的抗辐照性能,一直被认为是发展核电技术的首选结构材料.综合叙述了T91钢在铅铋合金液相容性研究现状,总结了耐腐蚀性能和腐蚀后脆化性能的研究进展,给出未来堆用T91钢的发展趋势.
利用XRD研究了ScMn1.6V0.4合金及其氢化物的晶体结构,利用氢气反应装置测量了合金的吸放氢性能.结果表明:ScMn1.6V0.4合金为理想的密排C14型Laves相结构.合金在实验条件下生成的氢化物晶体结构与原始合金相同,体积膨胀28％.合金在115 kPa和298 K条件下可快速吸氢,孕育期非常短,表现出优异的活化性能.合金不同温度下的P-C-T曲线没有明显的吸放氢平台,吸放氢滞后随温度升高变小,临界滞后温度为523 K.由van\'t Hoff方程得到合金在(α+β)相的△H和△S的变化范
针对目前大多数方法仅从单一视角检测业务流程执行异常而导致的异常检测不全面问题,本文提出了一种基于上下文感知的多角度业务流程在线异常检测方法,方法从多个视角出发对当前执行实例可能存在的三类异常情况进行在线检测,即行为异常、时间异常和属性异常。方法还借助重演技术从事件日志中充分捕获当前实例执行的行为上下文和数据上下文以更好地模拟其真实执行环境,并将结果与深度学习方法相结合,建立了实时异常检测模型,有效提高了异常检测的性能。在四个真实数据集上的实验结果表明,本文提出的方法在召回率上比支持向量机、K最近邻、决策树
采用热力学软件Thermo-Calc分析Mn、S、Al、N对TL(液相线温度)和TS(固相线温度)的影响以及在凝固过程中的偏析行为.结果表明:钢中Mn的质量分数从0增加到0.50％,TL略降低,Ts先降低后增高;S从0增加到0.030％,TL降低1℃,TS约降低78℃;Al和N都从0增加到0.030％,几乎不影响TL和TS.成分固定时,MnS的析出使Mn从正偏析转变为负偏析,Mn主要形成了 MnS相;S是比较强烈的正偏析元素,MnS相的析出也不能改变S的偏析特征;Al为负偏析元素;从1 490℃降低到约1
现代城市中,传感器设备无时无刻地收集和释放着各式各样的城市数据,而这些数据可能会因环境干扰、设备故障或人为篡改而变得异常。针对城市数据会面临数据异常的问题,定义了一套适用于异构数据的提取协议,并基于提取协议设计了一种基于高斯隶属度的分布式异常数据分级过滤算法。最后通过仿真实验验证了该算法能够准确过滤异常数据,从而提高城市计算效率,降低网络开销。
SLM(激光选区熔融)原位合金化技术,即原材料采用混合单质粉末在激光选区熔融过程中直接完成元素合金化并同步成型高致密度样件的方法.该技术可省掉原料粉末预合金化过程,通过实时、定量粉末混合给料控制,可实现块体样品的高通量制备.将SLM合金化与高通量制备两者有机融合应用于特种材料体系如高熵合金等材料的开发,实现材料成分、结构、物理化学性质的高通量获取,可为材料设计和制备技术的发展提供一项颠覆性的创新手段,科学意义和应用价值巨大.基于自主设计开发的SLM高通量制备系统,采用铁、镍单质元素粉一次性制备12组Fe-