共查询到17条相似文献,搜索用时 140 毫秒
1.
2.
3.
语义Web服务组合的形式化描述与验证研究 总被引:1,自引:0,他引:1
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模. 相似文献
4.
针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提. 相似文献
5.
随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。 相似文献
6.
7.
为了解决动态服务组合过程中功能执行时序与工作流的关系问题,提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响,以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式,利用时变函数表示服务的时间消耗,进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题,使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法,用于时变Petri网系统下服务组合策略的构建和验证.为了说明该方法的有效性,以一个实际电厂信息调度平台系统提供的Web服务为研究对象,通过两组仿真实验,分别说明该方法具有良好的组合成功率及使用相同候选服务集构建组合策略的有效性.实验数据和结果分析表明,该建模方法能够达到特定用户对服务功能的使用需求. 相似文献
8.
介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。 相似文献
9.
Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。 相似文献
10.
分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势. 相似文献
11.
为了合理、高效、动态地评估Web服务组合的可靠性,为服务请求者提供高质量的组合服务,提出了一个Web服务组合的可靠性动态评估模型。该模型对服务提供者发布至UDDI注册中心的Web服务进行语义预先处理,根据语义Web服务间的逻辑组合关系,基于预推理技术构造Web服务的自动组合框架,提出了Web服务的自动组合算法,建立Web服务组合方案的路径结构;利用随机Petri网对满足服务请求者需求的服务组合路径结构进行可靠性建模,结合在线获取的Web服务可靠性信息,对Web服务组合的可靠性进行动态评估。实验示例结果分析表明,提出的模型能确保Web服务组合方案的有效性和提高服务组合的效率,对Web服务组合的可靠性评估具有较强动态性和灵活适应性。 相似文献
12.
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型. 相似文献
13.
提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成. 相似文献
14.
15.
16.