Abstract:
To provide a consistent syntax and semantics specification of Internetware and implement the reliability analysis under Internet environment,by using the theory of Abstract Algebra,the formalization algebraic model of Internetware is established based on the character of Internetware,and the component composition computing of Internetware is realized. The model has the calculus ability with the qualitative and quantitative aspects. A simplified calculating method is presented in this paper,it is proved that the model and the method,which is constructed based on formalization analysis of Internetware,is right and available,and they will be applied to Internet design,development,testing,maintenance and so on.