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.