Online trusted evolution of running instance in software evolution process
Yang Shua · Jisuanji yingyong yanjiu · 2013
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.