摘要
为了分析对象Petri网模型的复杂度,实现对模型复杂度的量化度量,提出了一套模型复杂度度量集。对象Petri网具有面向对象的特性,可以较好地满足面向对象软件系统的建模。通过将面向对象的设计度量的相关思想引入到对象Petri网模型的复杂度分析中,并结合Petri网的结构特点,从继承、多态、封装等面向对象特性以及判定、并发等Petri网结构特性等方面考虑,提出了适用于对象Petri网模型的复杂度度量集,给出了相关度量的形式化表述,并结合例子进行了分析说明。结果表明,提出的度量集能够有效地反映出面向对象Petri网模型的复杂度,可以为软件建模提供行之有效的度量。也为利用对象Petri网进行软件建模以及面向对象系统设计提供了指导。
To analyze the complexity of object Petri net model in formal method, a metric suite was developed. Object Petri net was widely used in the object-oriented system modeling due to its power of combining object-oriented notion with Petri net and rigorous formal semantics. By introducing the notion of metric for the object-oriented design such as inheritance, polymorphism, etc. and combining it with the analytical results of Petri net structure including conflict and concurrent, nine metrics were developed to measure the complexity of the object Petri net model. Formal definitions for these metrics were presented, and an example was given to demonstrate the feasibility of each metric. Results prove that these metrics can measure the complexity of the object Petri net model effectively and quantitatively, and that the research may be helpful for the modeling of the object-oriented system with object Petri net.
出处
《解放军理工大学学报(自然科学版)》
EI
北大核心
2010年第2期207-211,共5页
Journal of PLA University of Science and Technology(Natural Science Edition)
基金
国家工业和信息化部电子信息产业发展基金资助项目(200897)
关键词
对象PETRI网
面向对象
建模
复杂度
度量
OPN (object Petri net)
objected-orientation
modeling
complexity
metric