欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
基于关注点分离原则，结合多视角软件过程建模与对象网之间的相似性，提出了一种基于对象网的多视角软件过程模型MOPN-SP-net，可以提高软件过程模型的可复用性（reusability）．在使用MOPN-SP-net建模时，得到的多视角软件过程模型是一种多维网．直接分析这种多维网比较困难，为此，提供了一种从对象网到平面网的等价转换规则．且转换前后的模型在合理性准则上保持等价片艮据这个转换规则，可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性．
英文摘要：
According to the principle of ＂Separation of Concerns＂, by investigating the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which is a multi-view software process model based on object Petri nets and enhances the reusability of software process model. During process modeling, MOPN-SP-net is a multi-dimensional Petri net, which is difficult to analyze directly. So, this paper provides a translation rule from an object Petri net to an equivalent traditional flat Petri net. The translation preserves the soundness property. According to the translation rule, the soundness property of the MOPN-SP-net can be indirectly analyzed by its translated flat net.
同期刊论文项目
同项目期刊论文
期刊信息
位置：