作者：胡燕京可信构件构件服务可信性服务约束
摘要：基于构件＂开发与应用＂两者相分离的特点,提出了一种面向用户的构件服务承诺机制.为创建该机制,从构件提供者角度,定义了面向方法序列的构件服务,给出了构件服务遵循的完备性质,并提出一种符合完备性质的构件服务产生方法.这种产生方法给出一种清晰的构件服务形式化描述即提供构件服务的＂承诺＂机制,并且这种描述是第三方可验证的.相关性质的证明以及示例分析验证了该机制的可行性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《微电子学与计算机》（CN：61-1123/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微电子学与计算机》是中国计算机学会会刊，本刊的宗旨是，严谨认真，求实创新；以人为本，研以致用；弘扬科学，追求真理。本刊国内公开发行，面向科研院所，厂矿技术人员、院校师生和管理人员，及时提供国内微电子与计算机行业最新科研成果。
部级期刊
人气 230163 评论 65
人气 214642 评论 35
省级期刊
人气 213110 评论 71
北大期刊、统计源期刊
人气 193053 评论 73
