计算机科学 ›› 2015, Vol. 42 ›› Issue (Z6): 519-524.

• 软件工程与数据库技术 • 上一篇    下一篇

基于关联矩阵的软件演化过程结构验证

刘金卓,于 倩,赵 娜,谢仲文,郁 湧,杭菲璐,金运志   

  1. 云南大学软件学院 昆明650091;云南大学云南省软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091;云南大学云南省软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091;云南大学云南省软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091;云南大学云南省软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091,云南电网有限责任公司信息中心 昆明650217,云南大学软件学院 昆明650091
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61262024,1,61462095,2),云南省自然科学基金(2014FD006,2FB119,3FB008),云南省教育厅科学研究基金(2013Z057,4Y012,1Y121),云南省软件工程重点实验室开放基金(2012SE401,2SE308)资助

Structure Verification Method for Software Evolution Process Based on Incidence Matrix

LIU Jin-zhuo, YU Qian, ZHAO Na, XIE Zhong-wen, YU Yong, HANG Fei-Lu and JIN Yun-zhi   

  • Online:2018-11-14 Published:2018-11-14

摘要: 软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量。

Abstract: The software evolution process,the inter-discipline of software process and software evolution,becomes a key area in software engineering.In the recent past,many researchers have paid more attention to and devoted great efforts in this area and have made great progress.As the structure of software evolution process has not been effectively verified,the incidence matrix approach is used to prove the properties such as the structural boundedness,repeatability,conservativeness and so on.Therefore,the structure properties of the model that modelling software processes by using the white box approach is proved.Consequently,the quality of software evolution processes is improved.

Key words: Software evolution process,Structure verification,Incidence matrix,White box modeling,Structure properties

[1] 杨芙清.软件工程技术发展思索[J].软件学报,2005,6(1):1-7
[2] Lehman M M,Peryy D E,Ramil J F.Metrics and Laws of Software Evolution-the Nineties Views[C]∥Proceeding of 4th International Symposium on Software Metrics.IEEE Computer Society Press,2000:20-32
[3] Li T.An Approach to Modelling Software Evolution Processes [M].Springer-Verylage Berlin and Heidelberg GmbH & Co.K,2008
[4] Brauer W,Gold R,Vogler W.A survey of behavior and equivalence preserving refinement of Petri nets [J].Lecture Notes in Computer Science.1990,483:1-46
[5] Suzuki I,Murata T.A method for stepwise refinement and abstraction of Petri nets [J].J.Comput.System Sci.,1983,27:51-76
[6] Valette R.Analysis of Petri nets by stepwise refinements [J].J.Comput.System Sci.,1979,18:35-46
[7] Betous-Almeida C,Kanoun K.Construction and stepwise refinement of dependability models [J].Performance Evaluation,2004,56:277-306
[8] Nketsa A,Valette R.Rapid and modular prototyping-based Petrinets and distributed simulation for manufacturing systems [J].Applid Mathematics and Computation,2001,120:265-278
[9] van Hee K,Sidorova N,et al.Soundness and separability of work-flow nets in the stepwise refinement approach [C]∥Proc the 24th International Conference on Application and Theory of Petri Nets.Eindhoven,The Netherlands,2003,2679:337-356
[10] 吴哲辉.Petri网导论[M].机械工业出版社,2006

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!