Department of Computer Science University of California at Santa Barbara Santa Barbara, CA 93106;
机译:通过同步验证以工件为中心的业务流程模型的行为健全性
机译:行为反模式规范,用于验证区块结构的协作业务流程
机译:自动化以工件为中心的业务流程模型的正确性验证
机译:商业流程模型中工件行为的规范和验证
机译:用于业务流程执行语言工件的按钮验证的进展。
机译:社交媒体与业务流程之间的一致性对中小企业业务流程绩效的影响:一种概念模型
机译:业务流程模型中工件行为的规范和验证⋆