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

Online trusted evolution of running instance in software evolution process

为了提高演化的实用性,研究了演化过程实例的在线迁移,并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,在多色集合的相关理论基础上,提出了基于基本结构的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.