Business process verification; XPDL; Situation calculus;
机译:流程挖掘正式业务流程建模和验证方法:案例研究
机译:验证业务流程的稳健性:决策过程Petri网方法
机译:一种基于知识的处理方法,该方法使用有效的假设和验证混合方法来手写字符串读取
机译:一种用于业务流程验证的混合方法
机译:业务工程管理实施流程:一种用于统一业务流程再造和信息工程学科的方法。
机译:十三。医院信息系统:F.医院信息系统的战略规划:小型医院应用中数据处理的实用业务管理方法
机译:一种用于业务流程验证的混合方法