基于CPN的UML2.0形式化建模

摘要

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网(CPN)拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。