共查询到20条相似文献，搜索用时 218 毫秒
1.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
2.
《蒙自师范高等专科学校学报》2016,(2)
近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。 相似文献
3.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
4.
Web服务动态组合技术是基于互联网的信息集成研究的重要内容.在对Web服务组合定义基础上,给出了Web服务动态组合的基本模式,并采用Petri网的图形化方式对这些基本模式进行了建模与分析.Web服务动态组合基本模式的研究对于构建服务组合引擎、分析与仿真组合过程具有重要的意义. 相似文献
5.
6.
基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。 相似文献
7.
周如旗 《广东教育学院学报》2005,25(5):99-102
在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性. 相似文献
8.
9.
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。 相似文献
10.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性. 相似文献
11.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证. 相似文献
12.
张广平 《钦州师范高等专科学校学报》2013,(5):34-37
在分析地质灾害气象预警预报的业务基础上,考虑到提供地质灾害预警预报功能服务的共享,提出了一种云计算平台上的GIS服务动态聚合的地质灾害气象预警预报系统的分布式体系架构,并将其应用于全国地质灾害预警预报平台中。应用实例表明该动态聚合服务实现了地质灾害气象预警预报分布式数据的服务功能共享。 相似文献
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.
为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法——ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力. 相似文献
16.
17.
李光师 《鞍山师范学院学报》2013,(4):50-53
分析了OGC Web服务规范在地理信息共享和互操作中的作用,并给出了一个典型的基于OGC Web服务规范的信息共享平台的模型.在此基础之上,本文基于开源平台Geoserver构建了一个信息共享的实验系统,并着重对系统中WPS服务的设计和实现方法进行了探讨. 相似文献
18.
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. 相似文献
19.
基于Web服务集成模型的设计与开发 总被引：1，自引：0，他引：1
孙素云 《广东轻工职业技术学院学报》2007,6(3):5-8
文章通过分析传统异构数据集成方法,利用Web Services技术,提出一个基于Web服务的异构数据源集成模型,服务提供者将异构数据源共享的数据封装为Web服务发布到服务注册中心,服务请求者在服务注册中心查找服务,使各分布异构数据源有机集成,最后给出了关键技术的具体实现. 相似文献
20.
陆静平 《重庆大学学报(英文版)》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 … 相似文献