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