摘要： 针对开放、响应型系统建模UML活动图表现优良的特性，UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步，特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术，在UML活动图到活动超图映射基础之上，对活动超图建立化简规则，通过化简实现工作流模型校核。实践证明此方法有效。
关键词:
工作流模型,
模型校核,
化简,
UML活动图,
活动超图
Abstract: UML activity diagram shows very well in the modeling area of open, reactive systems. For the characteristic, UML activity diagram has been paid much attention to workflow modeling area. But it’s only a start, especially for the verification of workflow models based on UML activity diagram. This paper proposes that the models can be verified by reducing the models. First map UML activity diagram into activity hypergraph, then propose some reduction rules. The models can be verified by the reduction. The method has been proved available with the practices.
Key words:
Workflow model,
Model verification,
Reduction,
UML activity diagram,
Activity hypergraph
中图分类号:
汪文元;沙基昌. 基于UML活动图化简方法的工作流模型校核研究[J]. 计算机工程, 2006, 32(15): 41-43.
WANG Wenyuan;SHA Jichang. Research on Workflow Model Verification Based on UML Activity Diagrams Reduction Method[J]. Computer Engineering, 2006, 32(15): 41-43.