一种基于用户反馈的服务型制造业务流程模型检测方法技术

本发明专利技术公开了一种基于用户反馈的服务型制造业务流程模型检测方法。该方法首先构建了用户满意度因子作为业务流程中的阈值判断。之后对业务流程进行定义和形式化，将待验证的业务流程属性转换为计算树逻辑(CTL)公式，最后将两者结合起来作为输入，使用模型检查工具UPPAAL来验证流程模型的正确性和可靠性。这种方法有助于在开发的早期阶段给专业人员提供流程优化建议，并实现业务流程模型的质量保证。证。证。

【技术实现步骤摘要】
一种基于用户反馈的服务型制造业务流程模型检测方法


[0001]本专利技术涉及模型检测
，一种基于用户反馈的服务型制造业务流程模型检测方法及其应用。

技术介绍

[0002]模型检测是一种针对系统属性验证的形式化方法，已被广泛应用于软件、硬件、通信、安全等方面。模型检测通过详尽地探索系统模型中所有可能的状态和转换，并验证它是否满足给定的一组属性或规范。通过使用模型检测技术，验证服务型制造业务流程是否满足其规范和要求，从而帮助发现和解决可能存在的问题和错误，提高业务流程的正确性和可靠性。
[0003]服务型制造(SOM)是近年来传统制造业采用的一种战略，旨在追求可持续发展。它将传统制造业与服务业相结合，通过提供增值服务来满足客户需求，从而实现长期增长、提高客户忠诚度并产生更高的收入。企业利用先进的信息系统来适应服务导向制造的不断变化的业务流程，确保持续的运营策略和长期发展。随着市场动态和客户需求的变化，深入了解客户需求并开发相应的复杂任务过程变得至关重要。所以，考虑到用户反馈在服务导向制造中的重要信息，将用户反馈纳入服务导向制造的过程中以改进服务策略也是必要的。
[0004]情感分析是自然语言处理领域最为经典的应用之一。互联网的发展极大提高了每个人的参与度，人们在消费过后都会去填写一些关于产品质量或者服务的评价。在家电行业中，我们可以收集用户使用产品后的一些反馈信息，例如产品使用问题和对产品质量的意见。
[0005]然而，服务型制造有一些局限性。它需要及时了解用户的产品和服务需求，企业需要投入大量的人力和财力。由于用户反馈信息对服务型制造的重要性，企业需要及时分析反馈信息并迅速做出响应。这就要求企业具有高度的灵活性和响应能力，以保证高质量的服务。目前，关于业务流程模型检测的方法不多，而且业务流程模型检查方法只能检测相对简单的业务流程。当业务流程模型通常是复杂的，包括分支、循环、并发和其他结构时，这可能导致模型检查的高计算复杂性，需要大量的计算资源。

技术实现思路

[0006]针对现有技术存在的上述问题，本专利技术的要解决的技术问题是：如何有效地实现对基于用户反馈的服务型制造业务流程模型的检测。
[0007]为解决上述技术问题，本专利技术采用如下技术方案：一种基于用户反馈的服务型制造业务流程模型检测方法，包括如下步骤：
[0008]S100:根据产品评价反馈来构建满意度因子，首先计算产品在规定自然日的情绪得分，计算公式如下：
[0009]S
i,t
＝S
Y
‑
S
N
#(1)
[0010]其中，i为产品类型。t为每个自然日。S
Y
为该产品的正面评价。S
N
为该产品的负面评
价。S
i,t
为产品i在自然日t的情感得分。
[0011]S110:然后根据情感得分来计算满意度因子，其计算公式如下：
[0012][0013][0014]其中，T为计算满意度得分的自然日。w
t
为用户每个自然日购买商品类型的线性衰减权值。F
i,T
是用户满意度因子。在计算F
i,T
时，我们取之前15自然日的满意度得分加权和来表示用户对产品或服务的近期评价反馈满意度因子。
[0015]S200:将满意度因子作为业务流程中的阈值，然后进行业务流程定义。
[0016]S210:提出了一种定义流程的方法，使用了一个二元组P＝(B,R)来表示业务流程。B表示业务流程中所有元素的集合。R表示业务流程中所有元素之间的逻辑关系。
[0017]S220:业务流程所有元素集合B如下所示：
[0018]B＝(N，W，L，C，s，e)#(4)
[0019]其中，N为所有参与流程的主体集合，W为主体执行任务集合，L为主体执行后会引起迁移的活动，C为约束条件集合，s为开始节点的集合，e为终止节点的集合。
[0020]S230:业务流程中所有元素之间的逻辑关系R如下所示：
[0021]R＝(
→
·
，
·
→
，
→
)#(5)
[0022]其中，
→
·
表示从L到N的函数关系，
·
→
代表从N到W的函数关系。
→
表示实体之间的函数关系，表示为N
×
(L
×
C)
→
N。
[0023]S300:将业务流程的定义转换为一个带阈值判断的确定有限自动机模型(TDFA)用来形式化业务流程。用一个九元组来表示TDFA，如下所示：
[0024]M＝(S，R，I，X，∑，f，λ，Q，E)#(6)
[0025]S表示业务流程状态的集合。R为阈值判断条件集合，为空时表示为e。I为状态内部活动的集合。X为交互活动的集合。∑为两个状态之间发生的活动和阈值判断，∑＝{(x,r)|x∈X,r∈R}。f为状态转移函数，f(S,∑)＝S。λ为业务流程状态和状态内部活动的关系，表示为λ(I)＝S，即内部活动所对应的状态。Q为业务流程的初始状态。E为业务流程的终止状态。
[0026]S400:将TDFA转换成模型检测工具UPPAAL能识别的XML描述，将TDFA的信息映射到相应的UPPAAL模型元素，如业务流程状态、业务流程活动和状态转换函数。
[0027]S500:定义一些性质来进行业务流程验证，用CTL公式进行表示。CTL公式由原子命题、逻辑连接符和模态算子组成。描述一个状态的基本元素是原子命题符号。逻辑连接符包括not(非)，or(或)，and(与)，imply(则)。模态算子包括：E(存在一条路径)，A(所有路径)，X(下一状态)，U(直至某一状态)，F(现在或以后某一状态)，G(现在和以后所有状态)。例如A[]Process.endimplyProcess.Pthreshold>＝8公式的含义是对于所有的业务流程模型执行路径都满足如果能到达Process的end状态则Process的满意度阈值大于等于8。通过这一步骤对业务流程所具有的部分行为特征或性质进行定量或定性的描述和形式化表达。
[0028]S600:进行业务流程的模型检测验证。将业务流程的XML描述与待验证业务需求性
质列表对应的CTL公式列表一起输入到UPPAAL工具中进行验证，输出为业务流程模型在CTL公式列表上的执行检测结果，如果满足该性质则为true，反之为false。
[0029]相对于现有技术，本专利技术至少具有如下优点：
[0030]1.本专利技术定义了带阈值的确定有限自动机作为描述业务流程的形式化模型，将业务流程的定义转换为自动机进行验证，自动机的验证技术相对成熟，因此能够更方便地进行模型验证，以确保模型的正确性。
[0031]2.本专利技术的业务流程模型检测方法能够有效地验证业务流本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.基于用户反馈的服务型制造业务流程模型检测方法，包括如下步骤：S100:根据产品评价反馈来构建满意度因子，首先计算产品在规定自然日的情绪得分，计算公式如下：S＝Sy
‑
SN#(1)其中，i为产品，t为每个自然日，S
Y
为该产品的正面评价，S
N
为该产品的负面评价，S
i,t
为产品i在自然日t的情感得分；S110:根据情感得分来计算满意度因子，其计算公式如下：S110:根据情感得分来计算满意度因子，其计算公式如下：其中，T为计算满意度得分的自然日，w
t
为用户每个自然日购买产品类型的线性衰减权值，F
i,T
是用户满意度因子，在计算F
i,T
时；S200:将满意度因子作为业务流程中的阈值，然后进行业务流程定义；S210:使用二元组P＝(B,R)来表示业务流程，B表示业务流程所有元素集合，R表示业务流程中所有元素之间的逻辑关系：B＝(N，W，L,C，s,e)#(4)其中，N为所有参与流程的主体集合，W为主体执行任务集合，L为主体执行后会引起迁移的活动，C为约束条件集合，s为开始节点的集合，e为终止节点的集合；业务流程中所有元素之间的逻辑关系R如下所示：R＝(
→
·
，
·
→
，
→
)#(5)其中，
→...

【专利技术属性】
技术研发人员：雷晏，李俊超，李茂锦，金世锋，王佳国，
申请(专利权)人：重庆大学，
类型：发明
国别省市：