对象Petri网模型的复杂度度量

为了分析对象Petri网模型的复杂度,实现对模型复杂度的量化度量,提出了一套模型复杂度度量集。对象Petri网具有面向对象的特性,可以较好地满足面向对象软件系统的建模。通过将面向对象的设计度量的相关思想引入到对象Petri网模型的复杂度分析中,并结合Petri网的结构特点,从继承、多态、封装等面向对象特性以及判定、并发等Petri网结构特性等方面考虑,提出了适用于对象Petri网模型的复杂度度量集,给出了相关度量的形式化表述,并结合例子进行了分析说明。结果表明,提出的度量集能够有效地反映出面向对象Petri网模型的复杂度,可以为软件建模提供行之有效的度量。也为利用对象Petri网进行软件建模以及面向对象系统设计提供了指导。

Complexity metric for object Petri net model

To analyze the complex ity o f object Petr i net mo del in fo rmal method, a met ric suite was developed. Object Pet ri net w as w idely used in the object-or iented sy stem mo deling due to it s pow er of combining object-oriented not ion w ith Pet ri net and rigor ous formal semant ics. By int roducing the not ion of metric fo r the object-oriented desig n such as inheritance, po lymo rphism, etc. and combining it w ith the analyt ical result s o f Pet ri net st ructure including conf lict and concurrent , nine met rics w ere developed to measure the complex ity of the object Pet ri net model. Formal definitions for these met rics w ere pr esented, and an ex ample w as given to demonst rate the feasibility of each metric. Result s prov e that these met rics can measure the complexity of the object Petr i net model ef fect ively and quant itat ively, and that the research may be helpful for the modeling of the object-oriented system w ith object Pet ri net