期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Web服务相容性的形式化描述与分析 被引量:3
1
作者 辜希武 卢正鼎 《计算机工程与应用》 CSCD 北大核心 2007年第27期28-33,共6页
Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务... Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义。 展开更多
关键词 Web服务相容性 WEB服务 PI-演算
下载PDF
一种考虑消息类型的服务可替换性验证方法
2
作者 刘伟 杨勇 张亮 《计算机工程》 CAS CSCD 2012年第13期40-43,共4页
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换... 针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。 展开更多
关键词 WEB服务描述语言 服务契约 形式化 服务相容性 服务可替换
下载PDF
一种基于业务流程执行描述语言的分布式Web服务发现方法 被引量:4
3
作者 胡建强 廖桂平 《计算机科学》 CSCD 北大核心 2007年第7期90-95,共6页
现有的Web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了业务流程执行相关信息,无法保证Web服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和... 现有的Web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了业务流程执行相关信息,无法保证Web服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法,引入标识确定性有限状态机ADFSA(Annotated Deterministic Finite State Automata),将服务业务流程执行语言用于服务匹配,从而避免了潜在的Web服务组合不相容和有利于服务组合的自动化。 展开更多
关键词 服务组合的相容 标识确定有限状态机ADFSA 服务匹配
下载PDF
Self-Organizing Mechanism for Cloud Services and Performance Analysis 被引量:1
4
作者 Zhang Changyou Shao Lixiang +2 位作者 Li Wenqing Li Hangtong Chen Sicong 《China Communications》 SCIE CSCD 2012年第6期135-144,共10页
To improve the performance and robustness in service discovery, a self-organizing mechanism for service alliances of Service Providers (SPs) is proposed in this paper. According to the similarity of service content, a... To improve the performance and robustness in service discovery, a self-organizing mechanism for service alliances of Service Providers (SPs) is proposed in this paper. According to the similarity of service content, an SP publishes its services in a partition of SPs to construct connections between highly similar SPs. These SPs constitute a self-organized distributed environment. A self-organizing protocol is designed to ensure the correctness of the construction of the alliances. The protocol consists of four stages - initiating stage, developing stage, developed stage and degradation stage. The experimental results demonstrate that this protocol ensures the self-property. The visualization of alliance developing stages illustrates that sub-alliances are sp lit in balance and self-connected. Compared with the Random Walker algorithm, the time cost and the number of forwarded messages in alliance-based mechanism is lower in service discovery. On three typical topologies (Grid, Random-Graph, Power-Law), the success rate of service discovery is much higher, which shows that self-organized alliances are helpful to enhance the discovery performance. 展开更多
关键词 Kecloud service SELF-ORGANIZING alliance-based PERFORMANCE
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部