共查询到20条相似文献,搜索用时 158 毫秒
1.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。 相似文献
2.
3.
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。 相似文献
4.
语义Web服务组合的形式化描述与验证研究 总被引:1,自引:0,他引:1
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
5.
6.
为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。 相似文献
7.
基于Pi-演算的Web服务组合的描述和验证 总被引:55,自引:3,他引:52
形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于Pi-演算对Web服务及其组合进行形式化描述和建模.文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题.讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证. 相似文献
8.
9.
Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性。 相似文献
10.
如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。 相似文献
11.
Mohsen Rouached Walid Fdhila Claude Godart 《Information Systems and E-Business Management》2009,7(2):223-250
Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and
are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added
services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service
composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes
in Web service collaborations. However, these standards do not provide support for checking interesting properties related
to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes,
that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their
dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built. 相似文献
12.
13.
Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ/ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。 相似文献
14.
15.
16.
17.
Peisheng Zhao Liping Di Genong Yu Peng Yue Yaxing Wei Wenli Yang 《Computers & Geosciences》2009,35(4):798-808
Earth and space science research and applications typically involve collecting and analyzing large volumes of geospatial data much of which is derived from other existing data by applying a scientific workflow. Such a step-by-step process can be viewed as a process of geospatial knowledge transformation, which often involves hypotheses, inferences and integrations to derive user-specific data products from the knowledge of domain experts. Our research is focused on reducing the transformation effort by providing component inference and integration tools. The Semantic Web envisions a new standardized information infrastructure to enable interoperable machine-to-machine interactions and automatic or semi-automatic service chaining for deriving knowledge over networks. This paper describes a generic framework and implementation of how the Semantic Web proceeds through the life cycle of geospatial knowledge transformation, from geospatial modeling (knowledge formalization), through model instantiation (service chain) to model execution (data product). Our approach relies on semantic integrations. A number of ontologies used to capture domain knowledge are introduced in this paper as the basis of knowledge bases for describing and reasoning geospatial data and services. Also, a semantically enabled geospatial catalog service is described to enable more effective discovery, automation and integration of geospatial data and services. 相似文献
18.
Javier Cmara Carlos Canal Javier Cubo Antonio Vallecillo 《Electronic Notes in Theoretical Computer Science》2006,154(1):159
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds protocol information to the specifications of interacting Web Services, and uses a process algebra to model their dynamic behaviour — thus enabling their formal analysis and the inference of relevant properties of the systems being built. 相似文献
19.
20.
基于服务协作中间件的动态流程模型 总被引:17,自引:0,他引:17
新兴的面向服务体系结构正在加速软件的发展和变化,无法适应动态环境的应用将逐渐失去作用,尤其对那些面临着需求频繁变更的业务流程管理系统而言更是如此.为了响应这种现实需求,基于Web服务和业务流程管理技术,提出了服务协作中间件(service cooperation middleware,简称SCM)模型,探讨了其内部机理与协作流程元模型的形式化.通过引入模型转换,扩充流程状态空间,定义了动态流程模型,动态流程的结构重构和行为自适应可以借助SCM的反射能力得以实现.针对SCM模型,设计了流程虚拟机(prrocess virtual machine,简称PVM),流程在运行时由PVM控制执行.借助于模型驱动机制,业务流程可从设计到运行不断地进行模型变换.由此建立的业务流程能够更灵活、更广泛地适用于各种开放环境,提升企业分布计算. 相似文献