作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于UML活动图化简方法的工作流模型校核研究
汪文元;沙基昌
Research on Workflow Model Verification Based on UML Activity Diagrams Reduction Method
WANG Wenyuan;SHA Jichang
计算机工程 . 2006, (15): 41 -43 .  DOI: 10.3969/j.issn.1000-3428.2006.15.015