科研之友
微信
新浪微博
Facebook
分享链接
摘要
随着社会制度的不断完善和法律法规的不断健全，企业的经营管理流程面临越来越多的合规性检测要求。利用带标签的时间约束Petri网（LTCPN）模型描述数据流通过程中所遵循的法律法规及行业规则。为了支持更多维度的规则表达，首先需要基于LTCPN可达图构造扩展可达图GNR，然后根据含时间戳的事件日志自动生成实际数据流通模型GNP。通过检测GNP|=GNR是否成立来判断基于含时间戳的事件日志的数据流通过程是否符合LTCPN描述的规则规范。针对语义信息不明的流程模型合规性检测问题，利用图的点与边连接结构是否相同来检测事件语义无关的功能性属性是否合规。对于语义信息明确的流程模型，可以通过节点或边的语义信息有效减少检测过程中探索的状态空间数量，同时可以进一步丰富合规性检测的非功能性属性检测。通过实验验证了该方法在进行合规性检测方面的可行性。
- 单位
