软件演化过程中运行实例的在线可信演化  

Online trusted evolution of running instance in software evolution process

作　　者：杨帅[1] 张璇[2,3] 王黎霞[4] 赵倩[2] 刘聪[1] 

机构地区：[1]云南大学信息学院,昆明650091 [2]云南大学软件学院,昆明650091 [3]云南大学云南省软件工程重点实验室,昆明650091 [4]云南大学经济学院,昆明650091

出　　处：《计算机应用研究》2013年第11期3365-3369,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61262025;61379032;61262024);云南省应用基础研究计划面上项目(2012FB118);云南省教育厅科学研究基金资助项目(2012Y257);云南省软件工程重点实验室开放基金资助项目(2011SE09);云南大学中青年骨干教师培养计划专项经费资助项目

摘　　要：为了提高演化的实用性,研究了演化过程实例的在线迁移,并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,在多色集合的相关理论基础上,提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质,用这种方法使不能按原计划一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性。这种改进的过程继承技术提高了迁移的成功率,使过程继承技术适用范围更广,使软件更可信。最后通过一个网上银行支付系统说明方法在实例迁移方面的实用性。In order to improve the practicability of the evolution, this paper researched on the running instance of the software evolution process and used efficient process inheritance technique to test instance migration. Although process inheritance technology was very suitable to test the ability of migration of the trustworthy process, but its limitations were larger. This paper introduced the Petri net decomposition method based on basic structure that using polychromatic sets theory and proved that this decomposition method in accordance with some basic and important properties of Petri nets. If multiple trustworthy process couldnot be migrated in one step according to the original plan, using this method that above mentioned made multiple process break down to migrate in multi-step and as far as possible to ensure its parallelism. This enhanced process inheritance technique improves the success rate of migration, extends the scope of application, and makes the software more credible. Finally, it used the example of online banking payment system to illustrate the practicality of this approach in the instance migration.

关 键 词：软件演化 过程演化 可信演化 实例迁移 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]