【摘要】 为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法.实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面.更多还原

【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.更多还原