【摘 要】
：
对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业
【机 构】
：
云南电力调度控制中心,云南云电同方科技有限公司,云南大学软件学院,西南林业大学大数据与智能工程学院
【基金项目】
：
本文受国家自然科学基金(61462095,61702442),云南省自然科学基金(2016FB102)资助
论文部分内容阅读
对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系
其他文献
由于电池的本身特性决定了对电池电量的预测成为电动汽车开发的一个难点，目前世界上对锌空电池的电量预测方面的研究刚起步，特别是对电动汽车用锌空电池电量监测的研究很少，在可
基于事例的推理是直接利用相似的历史事件来解求当前问题的新技术，属于数据挖掘的范畴。本文介绍了数据挖掘的发展概况和应用现状。重点讨论了数据挖掘技术之一——基于事例的
天波超视距雷达（OTHR）具有的低数据率、低检测概率和低量测精度特征对目标跟踪提出挑战；由于对航迹、航迹存在概率的平滑作用，基于状态扩维IPDA（As-IPDA）算法在目标跟踪中得以很好
针对等离子体渗氮工艺过程特殊,控制量变化复杂, 人为因素影响较大等情况.利用自行研制的大功率直流脉冲电源进行等离子体渗氮,在很大 程度上解决了物理参数与工艺参数的耦合
自组织神经网络(SOM)是一种被广泛使用的经典机器学习算法,但在处理复杂数据时其执行时间将急剧延长。并行化是解决这个问题的有效途径。基于目前TOP500上排名第一的“神威&#
为了提高轮胎压力监测系统的精度,运用贝叶斯方法建立了其多传感器信息融合的数学模型.该模型融合了轮胎的温度和压力这两种互补信息,相对于传统的轮胎压力监测系统而言,具有
文中主要以调频激励器监控板FMDC22A为例，结合国内外硬件可靠性分析计算的方法以及自己从事硬件开发工作的经验，总结出了硬件工程师计算印刷电路板可靠性指标的方法和步骤；文中
使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向
文中对EAST(全超导托卡马克装置)上极向场线圈位置测量方法进行了研究与设计.以电磁学为理论基础,反复采用了划分网格和线性最小二乘方法,编写了计算机程序对极向场线圈进行
网络逐渐成为了人与人之间的主要社交工具，在网络中挖掘最有影响力的用户成为了非常值得关注的问题。在传统影响力最大化算法的基础上提出了一种面向主题将合的影响力最大化算