ISIS Papyrus Europe AG Maria Enzersdorf Austria;
Research Group Software Architecture University of Vienna Vienna Austria;
Adaptive Case Management; ISIS papyrus ACM solution; Consistency checking; Compliance checking; Business process management; Compliance rules;
机译:使用行为空间检查流程是否符合自然语言规范
机译:模型检查作为在灵活流程中检查是否符合规则的支持
机译:基于流程挖掘的基于规则的全面合规性检查和风险管理
机译:通过ACM的行为一致性检查采用流程符合性和灵活性:维修服务管理案例
机译:用于危险废物法规符合性检查的分布式信息组织和管理。
机译:行为上的灵活性促进了社交昆虫的集体一致性
机译:在风险管理和合规检查中应用过程挖掘的综合框架
机译:基于有界模型检验的C和Verilog程序的行为一致性