首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 125 毫秒
1.
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.  相似文献   

2.
基于行为效果的服务可替换性分析   总被引:1,自引:0,他引:1  
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.  相似文献   

3.
面向服务计算已在各类电子商务、B2B、旅游等领域得到了应用.它通常通过一个标准化的 Web 服务模型去快速设计、实现、部署和发送各类应用功能,但实现业务的功能最终是体现在服务组合上.因此,针对在服务组合过程中所出现的语义识别、信息抽取方面的问题,文中提出一种基于遗传算法的 WSMO 服务组合方法.该方法通过使用基于 Ontology的 WSMO 进行服务的语义性描述,采用服务组合过程的语法检测和语义验证来实现模型;在语法检测中,是通过定义语法依赖对齐来完成,而在语义验证中,是通过各种衔接模式来实现的;并通过带有精英策略的小生境遗传算法进行求解最优的服务组合去满足业务逻辑需求.最后通过应用表明:服务组合效率比传统方法更优越,完成的业务功能更精确.  相似文献   

4.
服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例...  相似文献   

5.
P2P环境下基于语义的Web服务组合研究   总被引:1,自引:0,他引:1  
利用OWL-S语言描述Web服务,在组合操作中加入语义信息,实现了Web服务组合的自动化。为了提高Web服务的搜索速度,采用Chord路由算法。构建了一个P2P环境下基于Chord网络的Web服务组合模型,在其上实现了基于语义的Web服务组合,最后通过实例给出了语义Web服务自动组合过程。  相似文献   

6.
针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。  相似文献   

7.
语义Web服务组合的形式化描述与验证研究   总被引:1,自引:0,他引:1  
Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.  相似文献   

8.
提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.  相似文献   

9.
针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架.该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定.通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合.该框架增强了Web服务组合的灵活性和动态性.  相似文献   

10.
Petri 网的步问题研究   总被引:4,自引:0,他引:4  
在基于Petri 网的模型验证方法中,步被广泛用于减少变迁实施产生的语义交织.为了研究基于步的构造算法的计算复杂性,提出步的判定问题,并证明该问题是NP 完全的.进一步给出了极大步问题的多项式时间算法和最大步问题的NP 等价性证明.最后分析两类特殊子问题是P 问题.  相似文献   

11.
普适环境具有高移动、极端异构、高自治和开放性的特点,普适环境下的服务组合因其突出的动态性问题,为保证对整个服务运行结果的可靠性和一致性,引入事务处理的机制来进行管理。提出一种在普适环境下面向服务的事务处理模型,在服务的发现、组合及运行中引入事务机制来协调管理,保证了服务组合的可靠一致性,并讨论了模型的系统架构和各模块组成,及应用场景。  相似文献   

12.
事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性,提供了一个通用规则——放宽的完全性准则,以适应现实运行中事务管理的需要,以一个网上电子书店工作流应用为例来阐明这种思路。  相似文献   

13.
An application-semantics-based relaxed transaction model for internetware   总被引:4,自引:0,他引:4  
An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service (TCS) depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach cannot handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomicity criterion, static checking algorithm and dynamic enforcement algorithm. Users are able to define different relaxed atomicity constraint for different TCS according to application-specific require- ments, including acceptable configurations and the preference order. The checking algo- rithm determines whether the constraint can be guaranteed to be satisfied. The enforce- ment algorithm monitors the execution and performs transaction management work ac- cording to the constraint. Compared to the existing work, our approach can handle com- plex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.  相似文献   

14.
Composite Web services need transactional support to guarantee their consistent and reliable execution.Due to the long running and inter-organizational characteristics of Web services,current approaches for transactional Web services composition adopt compensation mechanism to maintain atomicity.A common assumption is that a compensation operation can be applied at any time with no cost.However,compensation operations are typically associated with temporal and cost constraints,which make compensation mec...  相似文献   

15.
This article presents an architecture to automatically create ad-hoc processes for complex value-added services and to execute them in a reliable way. The uniqueness of ad-hoc processes is to support users not only in standardized situations like traditional workflows do, but also in unique non-recurring situations. Based on user requirements, a service composition engine generates such ad-hoc processes, which integrate individual services in order to provide the desired functionality. Our infrastructure executes ad-hoc processes by transactional agents in a peer-to-peer style. The process execution is thereby performed under transactional guarantees. Moreover, the service composition engine is used to re-plan in the case of execution failures. The work presented in this article was supported by the Swiss National Science Foundation as part of the project MAGIC (FNRS-68155), as well as by the Swiss National Funding Agency OFES as part of the European projects KnowledgeWeb (FP6-507482) and DIP (FP6-507483). Authors in alphabetic order  相似文献   

16.
锁斌  孙东阳  曾超  张保强 《控制与决策》2020,35(8):1923-1928
模型确认试验是一种新的试验,其目的在于度量仿真模型的可信度.为了得到低成本、高可信度的模型确认试验方案,提出一种随机不确定性模型确认试验设计方法.首先,基于面积确认度量指标提出一种新的无量纲的模型确认度量指标(面积确认度量指标因子),并且在其基础上发展了基于专家系统的仿真模型准确性定性评判准则;然后,建立随机不确定性模型确认试验优化设计模型,提出该优化模型的求解方法;最后,通过两个数值算例对提出的模型确认试验设计方法进行验证.结果表明,小样本情况下,试验方案的随机性会影响模型评判结果的可信度;面积度量指标因子随试验样本数量的增加而收敛;随机不确定性模型确认试验设计方法能够避免试验方案对模型确认结果的影响.  相似文献   

17.
事务工作流的建模和分析   总被引:20,自引:0,他引:20  
丁柯  金蓓弘  冯玉琳 《计算机学报》2003,26(10):1304-1311
事务工作流由若干个事务组成,其执行满足松弛原子性.只有良构的事务工作流才能保证所有执行均满足松弛原子性.事务具有不同的可补偿特性和可重复特性,在包含多种控制结构的复杂事务工作流中,事务之间组合失配问题可能造成事务工作流的非良构性.该文给出了事务工作流模型及良构性的形式化定义,提出了一个良构性判断定理,通过一种构造性的方法来有效地验证事务工作流的良构性,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器.  相似文献   

18.
通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL(Business Process Execution Language,业务流程执行语言)的流程设计与WS—C/T(Web Services Coordination/Transaction, Web服务协调/事务)规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。  相似文献   

19.
动态Web服务组合研究   总被引:7,自引:0,他引:7  
Web服务作为一种崭新的分布式计算模型,是Web上数据和信息集成的有效机制。动态Web服务组合作为一种灵活、快速集成信息的重要方法,成为开放异构环境中复杂分布应用的新的研究热点。本文首先分析了几种Web服务描述方式并给出了动态Web服务组合定义及模式;其次,结合目前存在的一些组合平台和框架,重点分析了基于工作流和基于AI规划的动态Web服务组合原理与典型应用,并分析了其它相关的一些动态Web服务组合策略;最后提出了动态Web服务组合面临的挑战和进一步的研究方向。  相似文献   

20.
The theory of network coordination presents an effective approach to improve the business processes within supply networks. The automation of the negotiation process among buyers and suppliers has become an important policy in the transactional networks. This leads to assessing the roles of both quantifiable and non-quantifiable parameters in coordination mechanisms with the aim of achieving higher performance. Here, we develop an e-based supply chain multi-agent model for the design of mass-customized on-line services. The model addresses the bullwhip effect in multi-stage supply chain and also clarifies the evaluation of inventory policies in various supply and demand uncertainties. To illustrate the feasibility of the approach, we implement a prototype system and evaluate its performance by simulation using Colored Petri Nets (CPNs). The validation results reveal the model efficiency in providing a more realistic optimization process that takes the dynamic information flow in uncertainty environments into consideration.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号