共查询到10条相似文献,搜索用时 31 毫秒
1.
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性. 相似文献
2.
在当前Web服务动态组合研究的基础上,提出了一种基于Sub Web Service的混合Web服务组合方法。结合静态与动态服务组合方法,将动态生成的服务组合计划描述保存在缓冲池中,当用户使用该组合服务时,系统将会在缓冲池中搜寻此服务组合,并为请求调用它。在组合算法中提出了基于Sub Web Service的组合算法,将多输入多输出的Web服务分解为多输入单输出的Sub Web服务执行服务组合。在避免重复动态组合服务的基础上,减轻了Web服务在组合过程中对多输出接口的依赖性,提高了系统服务效率。 相似文献
3.
基于BPEL的Web服务组合仿真 总被引:1,自引:0,他引:1
介绍了Web服务组合实际应用中存在的问题,提出了基于工作流引擎的Web服务组合仿真思想.在分析BPEL的Web服务组合机制的基础上,利用开源的Active BPEL Designer工具建立BPEL流程, 实现了对智能卡注册过程业务中服务组合的仿真. 相似文献
4.
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性. 相似文献
5.
基于Petri网的Web服务注册方法的研究与实现 总被引:1,自引:0,他引:1
为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法.首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明. 相似文献
6.
本文在分析现有相关研究基础上,提出了基于参数相似度的信息类Web服务组合方法,详细描述了基于本体的方法得到词汇相似度和基于人工智能规划(AI Planning)的自动信息类Web服务组合方法.该方法可以根据用户需求直接生成服务组合序列,整个Web服务的组合和调用完全绑定在一起,直接将组合结果返回给用户,同时保证组合的效率和质量. 相似文献
7.
8.
目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性. 相似文献
9.
10.
业务流程管理系统BPMS能够协助移动运营商设计和实施流程,提升管理效率,为用户带来更优质的服务.本文引入了面向服务的体系架构(SoA)和Web服务(Web Services),并分析了业务流程执行语言(BPEL)在实现业务流程管理系统BPMS的重要性.在此基础上,提出了一种基于SOA架构和BPEL语言、结合了工作流技术的移动业务流程管理系统的建模与控制方案.结合一个具体的业务流程实例,介绍了通过Web服务描述语言WSDL实现业务流程与Web服务之间的通信,最后介绍了该系统目前的运营应用情况. 相似文献