共查询到17条相似文献，搜索用时 197 毫秒
1.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
2.
为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的. 相似文献
3.
为了提高基于智能规划的web服务组合的效率,提出了一个面向业务领域的web服务组合的智能规划算法.该算法通过所提出的包含资源间关系、资源动作间关系以及动作和动作间关系的业务关联关系模型缩小规划问题的搜索空间,将所提出的目标距离作为启发式规则以提高规划的效率.与其他的基于智能规划的web服务组合算法相比,该算法不仅解决了web服务组合问题向智能规划问题的转换,同时也解决了如何将web服务组合的业务特点应用于智能规划中以提高规划效率的问题.最后,实验证明了所提出算法的有效性. 相似文献
4.
随着信息技术的不断发展和语义web技术的日渐兴起,充分发挥语义web技术用于延伸web服务在语义注解方面的功能,通过多种语义web服务来消除单独语义web服务的局限性,同时为客户提供最佳的语义web服务,是语义web服务的主要研究方向.但是,在目前已有的语义web服务组合方法中,却并未较好的结合主体agent技术.为解决这一问题,应该利用一种基于主体的语义web服务的自动组合方法,通过利用主体之间的相互协作从而实现语义web服务自动组合的目标.本文主要通过分析主体技术及语义web服务的关系来说明两者结合的可行性,从而使计算机在能理解服务的基础上进行准确快速的查找服务及自动组合. 相似文献
5.
6.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
7.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
8.
9.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
10.
服务质量（Qos）在Web服务技术中越来越受到人们的重视，Qos的好坏是web服务在商业应用中是否能够取得成功的关键。现有web服务并不支持Qos，对现有的Web服务模型进行了扩展，支持带有Qos约束的服务描述，对服务提供者报告的Qos和服务使用者需求的Qos进行认证处理，从而提高了服务的质量。 相似文献
11.
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN. 相似文献
12.
Formal models for service composition have been proposed with the variation of the requirements of service developers. Some
famous models have provided checking and verification techniques and tools for the behavior of service composition. These
models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages
among services, which restrict the application range of these models and also the web service techniques. As new kind of services
with different protocols and communication methods have appeared, it is needed to model service composition from a new view
which is adapted to the new development in service area. In this paper we offer a function oriented model of service composition
which treats the composite service as a software system and specify the function of services which can be directly used to
the realization by service providers. 相似文献
13.
14.
针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义web服务组合问题进行分类和形式化定义,并归纳出语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。 相似文献
15.
16.
Formal models for service composition have been proposed with the variation of the requirements of service developers.Some famous models have provided checking and verification techniques and tools for the behavior of service composition.These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services,which restrict the application range of these models and also the web service techniques.As new kind of services with different p... 相似文献
17.
徐恩友 《武汉工程职业技术学院学报》2004,16(2):50-54
本文主要参照现代远程教育标准规范并结合Web Service技术，给出了一个远程教育的虚拟学习社区模型。该社区采用了基于Web Service的三层架构模式，有利于系统的模块化设计和开发。 相似文献