Society forges ahead in the process of solving various contradictory problems and it is ceaselessly innovating. It is the desire of mankind to use computers and computing networks to help deal with contradictory problems and to conduct innovative activities. Using formal models to discuss object extension and the possibility of change, as well as t
