A study on self-reconfiguration of software system based on formal representation
Chaogai Xue, Haiwang Cao · 2008
This paper deals with a new approach to the self-reconfiguration of the software system based on formal representation. To this end, firstly, software systems are formally represented by knowledge mesh (KM). Then, multiple sets and its operations of a KM are defined to realize the self-configuration of KM. And then, the way to map a new KM into a new software system is explored in detail. In the meantime, a new KM & AM-based approach to self-configuration for software system is proposed. Finally the self-reconfiguration method is exemplified by the self-reconfiguration of the ERP software used in a plant, which shows the method to be effective.