论文部分内容阅读
UML活动图缺乏精确的语义描述，难以对其正确性进行分析，而CPN模型有严格的数学定义和分析方法．可用于验证模型的正确性。基于CPN模型的这一特性，本文给出了一种UML活动图到CPN模型的映射方法．首先根据UML活动图模型的形式化描述，将活动图划分成子模块，利用提出的活动图基本结构到CPN模型的映射方法将子模块映射为CPN模型，最后组合为整个活动图的CPN模型，并用实例证明UML活动图能快速地映射为CPN模型。