共查询到18条相似文献，搜索用时 934 毫秒
1.
为了形式化地推理和验证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服务组合进行推理和验证的. 相似文献
2.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
3.
4.
基于MAS系统的动态web服务组合形式化建模研究 总被引：1，自引：0，他引：1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献
5.
6.
为了提高基于智能规划的web服务组合的效率,提出了一个面向业务领域的web服务组合的智能规划算法.该算法通过所提出的包含资源间关系、资源动作间关系以及动作和动作间关系的业务关联关系模型缩小规划问题的搜索空间,将所提出的目标距离作为启发式规则以提高规划的效率.与其他的基于智能规划的web服务组合算法相比,该算法不仅解决了web服务组合问题向智能规划问题的转换,同时也解决了如何将web服务组合的业务特点应用于智能规划中以提高规划效率的问题.最后,实验证明了所提出算法的有效性. 相似文献
7.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
8.
随着Internet信息的迅速增长,快速而有效地查找网络信息成为获取网络信息的基础.为了实现高效查找web服务,提出一种基于语义的三阶段匹配算法,首先对web服务进行基于关键字的分类筛选,然后实现web服务基于语义的功能匹配,最后实现web服务的非功能匹配.实践证明,该算法能够提高web服务匹配效率. 相似文献
9.
服务质量（Qos）在Web服务技术中越来越受到人们的重视，Qos的好坏是web服务在商业应用中是否能够取得成功的关键。现有web服务并不支持Qos，对现有的Web服务模型进行了扩展，支持带有Qos约束的服务描述，对服务提供者报告的Qos和服务使用者需求的Qos进行认证处理，从而提高了服务的质量。 相似文献
10.
为了提高web应用回归测试的效率,采用了控制流图和贪心算法.以页面为基本单位,通过构造web应用的控制流图,提出了一种基于控制流图的web应用回归测试的测试用例选择方法,该方法是一种安全的测试用例选择方法.在web应用回归测试的测试用例执行中,根据web应用中请求序列的特点,采用了最小化技术并考虑测试用例的优先级,提出了一种改进的贪心算法对测试执行进行了优化.实验结果表明,该方法有效地减少了需要重测的用例数并且提高了测试执行的效率. 相似文献
11.
12.
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. 相似文献
13.
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. 相似文献
14.
15.
利用语义服务构件和组合模式支持web服务重用 总被引：1，自引：0，他引：1
由于目前的web服务描述方法不能有效地解决不同粒度的服务重用问题,引入“语义服务构件”的概念封装多个服务以及它们的协调规则(choreography),为不同抽象层次的服务提供统一的描述框架.为了提高服务的可重用性,提出了“组合模式”的思想描述构件之间的关系,并定义了构件关系的语义.组合模式可以有效地支持不同粒度的服务重用和设计阶段的测试.开发经验表明:由于比较容易地进行构件的理解、选择和重用,组合模式能够有效地支持应用组装. 相似文献
16.
陆静平 《重庆大学学报(英文版)》2003,2(1)
1. Introduction Product data management (PDM) is a technology helping workgroup, department, division, or enterprise manage product data and development process throughout the product life cycle, from inception, through development and production to dispatch and beyond. As an integration tool connecting many different areas, PDM manages product data throughout the enterprise, ensuring that right information is available to the right person at the right time and in the right form. Web-based … 相似文献
17.
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... 相似文献
18.
With the advances of electronic information technology and computer network, especially the embedded technology, smart home
is no more just a vision but being practical. The interoperability of heterogeneous devices and flexibility of devices’ usage
are two key problems that challenge the implementation of smart home. To deal with these two issues, this paper proposes an
event-driven service oriented architecture using device profile for web services (DPWS). DPWS inherits the advantages of the
traditional web services in achieving interoperability without dependence on platform, while improving service discovery and
security as well as being optimized for deploying on resource constrained devices. By providing a visual interface for describing
a service workflow (SW), the user can easily customize the actions of devices by services composition. Devices automatically
cooperate without user’s intervention to complete required business logic. This is achieved by fully exploiting the eventing
capabilities on DPWS enabled home devices. Finally, a home theater scenario is given to illustrate the event driven mechanism
for the SW in the proposed smart home framework. 相似文献