...
机译:具有不完整信息和时间约束的业务流程合规性:基于归纳推理的通用框架
Univ Bologna, Viale Risorgimento 2, I-40136 Bologna, Italy;
Univ Bologna, Viale Risorgimento 2, I-40136 Bologna, Italy;
FBK IRST, Via Sommar 18, I-38050 Trento, Italy;
FBK IRST, Via Sommar 18, I-38050 Trento, Italy;
FBK IRST, Via Sommar 18, I-38050 Trento, Italy;
Free Univ Bozen Bolzano, Piazza Univ 1, I-39100 Bozen Bolzano, Italy;
Free Univ Bozen Bolzano, Piazza Univ 1, I-39100 Bozen Bolzano, Italy;
Business Processes; Incomplete traces; Observability; Temporal workflows; Abductive Logic Programming;
机译:在运行时对业务流程中的业务数据约束进行合规性验证和诊断
机译:bpCMon:基于规则的业务流程合规性监视框架
机译:基于半环的具有加权凭证的访问控制中的推理/绑架推理的框架
机译:授权约束下的业务流程建模与推理:一种基于计划的方法
机译:基于URN的业务流程的合规性框架。
机译:在基于分布式服务的业务流程中强制包含约束
机译:介绍基于混搭的方法,用于业务流程中的设计时合规性检查