-
公开(公告)号：CN117151373A
公开(公告)日：2023-12-01
申请号：CN202310967795.2
申请日：2023-08-02
Applicant: 复旦大学
IPC: G06Q10/0631 , G06Q10/0633 , G06Q10/10
Abstract: 本发明属于计算机支持的业务流程技术领域，具体为一种敏捷应对变化的业务流程可控性验证方法。本发明业务流程可控性验证方法包括：利用BPMN、流程变量、功能性与非功能性约束来建模业务流程的控制流、数据流、业务规范；利用马尔可夫决策过程、概率时态逻辑公式来描述业务流程的执行行为、控制目标；运用PRISM模型检测器来完成可控性验证，得到验证结果、最优执行策略。本发明在敏捷应对业务流程的变化需求时，定量地验证是否存在能让业务流程符合业务规范的执行策略，并且构造出最优执行策略；可以帮助业务人员在修改业务流程之后自动验证业务流程的可控性，化解敏捷应对变化时业务流程的灵活性与合规性之间的矛盾。
Search Results
1
records
(took 0.02 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
