排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
2.
一种服务质量感知的网格工作流引擎 总被引:2,自引:0,他引:2
引入服务质量等非功能特性作为网格工作流的调度依据,可以使得网格工作流的执行和调度围绕服务质量的参数体系进行,能够更好地满足最终用户的要求.提出一种服务质量感知的网格工作流引擎QGWEngine,介绍QGWEngine支持的服务质量参数体系和所基于的网格工作流模型.给出QGWEngine的系统结构,并通过一个假想的网格工作流的例子验证了QGWEngine的有效性. 相似文献
3.
4.
基于模糊逻辑的群体信任模型 总被引:1,自引:0,他引:1
从信任的主观性和模糊性角度出发,提出了一种基于模糊逻辑的群体信任模型,抽象出顺序模式、选择模式、循环模式和并行模式4种群体构成的基本约束模式及其嵌套复合来刻画群体中个体之间的约束关系,并分别给出了信任度的度量方法.群体信任模型对群体信任关系和特别软件群体的信任关系提供了很好的支持. 相似文献
5.
UML活动图在工作流过程建模中的应用研究 总被引:15,自引:4,他引:11
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。 相似文献
6.
基于并发事务逻辑的Web服务编制验证 总被引:2,自引:1,他引:1
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性. 相似文献
7.
8.
旨在探讨一种电视机宽带接入技术,更具体地说,涉及一种利用电力线以及xDSL(Digital Subscriber Line,数字用户线)实现电视机宽带接入的调制解调装置和组网方法。该方法实现了网页浏览、视频会议、与个人电脑实现数据共享、电视机之间联机游戏、高清多媒体影音下载和播放等娱乐、商务功能。 相似文献
9.
10.