胡燕京. 构件可信性验证研究[J]. 微电子学与计算机, 2011, 28(5): 87-92.
引用本文: 胡燕京. 构件可信性验证研究[J]. 微电子学与计算机, 2011, 28(5): 87-92.
HU Yan-Jing. Research on Verification Trustworthiness of Software Component[J]. Microelectronics & Computer, 2011, 28(5): 87-92.
Citation: HU Yan-Jing. Research on Verification Trustworthiness of Software Component[J]. Microelectronics & Computer, 2011, 28(5): 87-92.

构件可信性验证研究

Research on Verification Trustworthiness of Software Component

  • 摘要: 基于构件“开发与应用”两者相分离的特点,提出了一种面向用户的构件服务承诺机制.为创建该机制,从构件提供者角度,定义了面向方法序列的构件服务,给出了构件服务遵循的完备性质,并提出一种符合完备性质的构件服务产生方法.这种产生方法给出一种清晰的构件服务形式化描述即提供构件服务的“承诺”机制,并且这种描述是第三方可验证的.相关性质的证明以及示例分析验证了该机制的可行性.

     

    Abstract: Based on the characteristics of “Development and Application′s separation ”, a user-oriented component services commitment mechanism is proposed. To create the mechanism, this paper defines the approach sequence oriented component services from the component provider′s point of view, gives the comprehensive nature of component services, proposed a method for generating the component services which meet the comprehensive nature. The generating method gives a clear formal description of component services, means provide the component services commitment mechanism, and this description is a third-party verifiable. Proof of the related natures and cases study verifies the feasibility of the mechanism.

     

/

返回文章
返回