Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability

ZHANG Jing,LEI Hang
DOI: https://doi.org/10.19304/j.cnki.issn1000-7180.2013.07.007
2013-01-01
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.
What problem does this paper attempt to address?