| 本文已被：浏览 5477次 下载 6504次 |
码上扫一扫！ |
|
|
| 一种基于对象网的多视角软件过程模型 |
|
葛季栋1,2, 顾 庆1,2, 胡 昊1,2, 吕 建1,2
|
|
1.南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093;2.南京大学 计算机科学与技术系,江苏 南京 210093
|
|
| 摘要: |
| 基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性. |
| 关键词: 软件过程 软件过程建模 以过程为中心的软件工程环境 对象网 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60233010, 60403014, 60603034 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090, 2005AA113160, 2006AA01Z159, 2006AA01Z177 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2002CB312002 (国家重点基础研究发展计划(973)) |
|
| A Multi-View Software Process Model Based on Object Petri Nets |
|
GE Ji-Dong,GU Qing,HU Hao,Lü Jian
|
| Abstract: |
| 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. |
| Key words: software process software process modeling PSEE object Petri nets |
