排序方式: 共有25条查询结果,搜索用时 0 毫秒
1.
2.
3.
基于模糊逻辑的群体信任模型 总被引:1,自引:0,他引:1
从信任的主观性和模糊性角度出发,提出了一种基于模糊逻辑的群体信任模型,抽象出顺序模式、选择模式、循环模式和并行模式4种群体构成的基本约束模式及其嵌套复合来刻画群体中个体之间的约束关系,并分别给出了信任度的度量方法.群体信任模型对群体信任关系和特别软件群体的信任关系提供了很好的支持. 相似文献
4.
基于并发事务逻辑的Web服务编制验证 总被引:2,自引:1,他引:1
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性. 相似文献
5.
6.
7.
8.
9.
10.
随着物联网中基于异构接入技术的物品信息进一步集成的需求日益强烈,需要上层的接入技术无关的协议来屏蔽异构接入技术所带来的差异性.物品管理协议就是一种接入技术无关的上层协议,用来交换物品信息.探讨了物联网的体系结构与物品管理协议的必要性,基于SOAP设计并实现了该物品管理协议,包括协议支持的操作、协议操作的接口定义以及协议的实现结构和处理流程. 相似文献