基于语义本体的流程建模与验证
常关羽,杨海成,王冲
Business process modeling and verification based on sematic ontology
计算机集成制造系统 . 2016, (第9期): 2256 -2263 .  DOI: 10.13196/j.cims.2016.09.022