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

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

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


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

技术介绍

[0002]模型检测是一种针对系统属性验证的形式化方法，已被广泛应用于软件、硬件、通信、安全等方面。模型检测通过详尽地探索系统模型中所有可能的状态和转换，并验证它是否满足给定的一组属性或规范。通过使用模型检测技术，验证服务型制造业务流程是否满足其规范和要求，从而帮助发现和解决可能存在的问题和错误，提高业务流程的正确性和可靠性。
[0003]服务型制造(SOM)是近年来传统制造业采用的一种战略，旨在追求可持续发展。它将传统制造业与服务业相结合，通过提供增值服务来满足客户需求，从而实现长期增长、提高客户忠诚度并产生更高的收入。企业利用先进的信息系统来适应服务导向制造的不断变化的业务流程，确保持续的运营策略和长期发展。随着市场动态和客户需求的变化，深入了解客户需求并开发相应的复杂任务过程变得至关重要。所以，考虑到用户反馈在服务导向制造中的重要信息，将用户反馈纳入服务导向制造的过程中本文档来自技高网...

【技术保护点】

【技术特征摘要】
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)其中，
→...

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