论文部分内容阅读
针对开放、响应型系统建模UML活动图表现优良的特性，UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步，特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术，在UML活动图到活动超图映射基础之上，对活动超图建立化简规则，通过化简实现工作流模型校核。实践证明此方法有效。