温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种基于用户反馈的服务型制造业务流程模型检测方法。该方法首先构建了用户满意度因子作为业务流程中的阈值判断。之后对业务流程进行定义和形式化，将待验证的业务流程属性转换为计算树逻辑(CTL)公式，最后将两者结合起来作为输入，使用模型...
该专利属于重庆大学所有，仅供学习研究参考，未经过重庆大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。