CPN-OPN建模技术及实例研究

摘要

UML是一种面向对象的建模语言,已经得到了广泛的应用.但是,它只是一种建模语言,而不是一种面向对象的建模方法,它没有规定如何进行系统建模.另外,UML异常庞大复杂,容易产生二义性.所以,人们进行了各种探索,将UML与其它精确的建模技术进行结合,以弥补UML的不足.Petri网是一种可用图形表示的组合模型，能够深刻、简洁地刻画系统，并具有直观、易懂和易用等优点。Petri网是严格定义的数学对象，借助数学开发的Petri网分析方法和技术既可以用于静态的结构分析，又可以用于动态的行为分析。Petri网为并发提供了清晰的形式化描述，复杂的并发系统要求形式化以描述如非确定性、同步和并发等重要特征。利用Petri网对UML视图进行分析，可以分析UML所建立的构件模型中存在的冲突、竟争、并发等各种关系。