SAP Research Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany;
SAP Research Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany;
Hasso-Plattner-Institute (HPI) for IT Systems Engineering University of Potsdam, Germany;
business processes; access control; verification; model checking; SPIN;
机译:在基于分布式服务的业务流程中强制包含约束
机译:基于DSDEVS的用于验证动态业务流程中结构约束的模型
机译:具有约束时间答案集编程的业务流程验证
机译:使用旋转验证业务流程征集约束
机译:使用算法和数据依赖性验证业务流程规范。
机译:在基于分布式服务的业务流程中强制包含约束
机译:在基于分布式服务的业务流程中执行约束约束