共查询到20条相似文献，搜索用时 31 毫秒
1.
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... 相似文献
2.
3.
4.
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. 相似文献
5.
为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法——ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力. 相似文献
6.
7.
自适应服务组合中基于语义相似度及面向任务的服务发现算法(英文) 总被引：1，自引：0，他引：1
为了实现自适应和高效的Web服务组合, 提出了一种面向任务的服务发现算法. 将传统的服务组合过程划分为语义上的发现和功能上的匹配, 并将任务作为操作对象, 利用语义相似度从候选服务中寻找与给定任务相匹配的服务, 并生成对应的TWC图, 同时针对新服务设计更新算法. 将该方法应用到服务组合模型中, 搜索TWC图以得到一条最优的路径作为服务组合结果输出, 并能在服务失效时做出实时的更新以完成服务请求. 实验结果证明了算法的可行性和有效性, 也表明当最大搜索半径取2时, 服务数量和质量之间可达到平衡. 相似文献
8.
利用语义服务构件和组合模式支持web服务重用 总被引：1，自引：0，他引：1
由于目前的web服务描述方法不能有效地解决不同粒度的服务重用问题,引入“语义服务构件”的概念封装多个服务以及它们的协调规则(choreography),为不同抽象层次的服务提供统一的描述框架.为了提高服务的可重用性,提出了“组合模式”的思想描述构件之间的关系,并定义了构件关系的语义.组合模式可以有效地支持不同粒度的服务重用和设计阶段的测试.开发经验表明:由于比较容易地进行构件的理解、选择和重用,组合模式能够有效地支持应用组装. 相似文献
9.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
10.
为了实现web服务的自动组合,提出了一种基于领域本体的启发式算法.该方法将领域本体与人工智能规划方法相结合,利用领域本体及其推理能力,推理出参数间的语义关系,在此基础上运用人工智能规划的启发式算法将web服务组合问题转化为规划问题加以解决.实验结果表明,该方法弥补了以往人工智能规划方法中缺乏语义的不足,综合考虑了服务语义、服务组合质量和服务组合效率等因素,能高效地自动生成满足用户需求的组合web服务. 相似文献
11.
陈莉萍 《南宁师范高等专科学校学报》2010,(5):58-61
根据用户对利用模糊免疫网络记忆分类器的Web服务Qos评价模型提出的功能需求、应用的领域及Qos约束,自动选择出能够反映该功能服务质量属性的评价因子。提出新的人工免疫分类算法—FAINMC,利用该算法对大量的Web服务实现准确、高效的分类。根据每类记忆细胞反应的特征得到和类型相对应服务等级,使用模糊隶属度和百分法得到了反应Web服务质量优劣评价值。 相似文献
12.
针对当前经济预警领域单一模型预测效果不理想,以及模型组合、管理和重用困难等问题,提出了采用面向服务的体系结构构建宏观经济预警平台,将单一预警模型发布为Web服务,并利用Petri网组合预警服务模型的方法,讨论了系统构建方法和服务组合的建模过程,验证了基于Petri网的组合服务模型能够保证组合服务的可达性、安全性、正确性和可终止性。 相似文献
13.
为解决基于服务质量的服务选择,提出了一个多属性群决策算法.该算法通过使用Borda社会选择函数集成了多种具有不同原理用于计算不断变化的服务质量方法的结果,从而增强了服务选择的可靠性.实验结果表明该方法具有较好的可扩展性,从而能适用于大规模的分布式服务计算环境;同时相比于随机和轮转服务选择策略,所提出的基于群决策的服务选择策略具有更优的性能,它能够有效地优化服务选择.该算法不仅仅是增加了一种用于获取不断变化的web服务质量的方法,而是建立一个具有多层知识的综合信息体,从而保障了服务选择的正确性. 相似文献
14.
主要阐述了将本系统的各类基础业务功能抽象成服务,通过SCA技术进行服务的封装,将SCA服务构件部署到Tomcat服务器并以WebService方式对外发布为可供调用的服务,从而实现了服务组件的共享。在web客户端服务器上,通过部署在web客户端服务器上的servlet程序来调用远程的SCA服务。 相似文献
15.
利用语义约束实现用户个性化的服务组合算法 总被引：1，自引：1，他引：0
为了提高服务组合的质量和效率,提出了一种基于语义约束的服务组合算法.算法中,首先利用2层语义匹配算法对用户需求和服务库中的服务进行比较,利用用户约束性个性化需求对符合匹配的服务进行筛选,从而在第一时间缩小了服务组合算法执行过程中服务的搜索空间,然后对候选的服务组合组件进行用户趋向性个性化需求计算,选择其中最符合用户个性化需求的服务构成最终的服务组合.通过仿真实验证明,该算法有效提高了服务组合算法的运行效率,并且保证了用户的个性化需求得到最大满足. 相似文献
16.
17.
陆静平 《重庆大学学报(英文版)》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 … 相似文献
18.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
19.
龚小勇 《重庆职业技术学院学报》2007,16(3):152-154
服务质量(QoS)描述了服务满足消费者需求的能力,提供有保证的QoS是Web服务在商业应用中获得成功的关键。本文利用UDDI的外部分类架构,建立了描述Web服务QoS的一组分类tModel,并给出了服务提供者QoS指标的量化定理和Web服务QoS的实现过程。该方法不改变UDDI内部结构,能更好地与Web服务标准协议兼容,并易于实现。 相似文献
20.
WEB服务匹配在服务自动组合及服务智能化动态组合中具有重要的意义.而服务匹配算法决定高效、快速服务匹配的的关键因素.本文在本体推理匹配算法以及相似度度量算法的基础上提出将两者结合起来的服务匹配思想.并通过实例说明服务匹配的实现过程.实践证明,该匹配算法能有效缩短服务匹配时间,提高服务匹配效率,为语义网环境下的服务匹配实现提供了良好的技术支持. 相似文献