Alloy; Formal verification; Business Process Modeling; Refinement;
机译:在业务流程设计中使用声明性规范
机译:在授权约束下基于动作的形式规范和业务流程的自动分析方法
机译:业务流程人力资源角度的规范和自动化设计时分析
机译:业务流程的高级设计和分析声明规范的优势
机译:使用系统分析以及设计方法和工具来改善企业业务流程。
机译:用于过程和声明性临床决策支持知识的增量规范和维护的可扩展体系结构
机译:业务流程的高级设计和分析声明规范的优势