An Empirical Approach To Verification And Technology Support Of Internetware Algebraic Properties

The network structure is software entity with opening and independent existence in the Internet which can be released in some way in open environment and connect,interoperate,collaborate and ally with other software in collaborative manners.As a new software paradigm,the theory,modeling,development and maintenance process of internetware becomes the new hot spot.Software Engineering Lab of NCUT(North China University of Technology)has also studied about this subject.By introducing a process algebra,algebraic model for internetware architecture is established,then based on algebraic model,algebraic expression,algebraic properties and guiding internetware evolution on the basis of this paradigm are given.How,ever,these studies have proved the algebraic properties,I also need to empirically study,to verify algebraic properties of internetware,to apply theory to actual development of internetware,and to give necessary technical support.The work of this article is as follows:First,program verification of laws which algebraic operators of internetware keeps was done,such as,law of commutation,association and distribution.Second,by functional equivalence,equivalence of validation rules program features on both sides of the equation and verification of each algebraic properties with a number of actual cases are given.Last,I analysis the effect on internetware evolution by algebraic properties.Simultaneously,I verify the algebraic properties.The work in this paper complements the existing research results,further improved the internetware algebraic model theory and practical techniques.