基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

面向Web Services的工作流管理系统设计

文章通过Web Services技术与工作流技术的结合,提供了Web Services对工作流系统建模和执行阶段的支持,设计了一个面向Web Services的工作流管理系统。利用以Web Services为基础的WS-BPEL工作流技术解决了当前工作流技术在不同企业间协作的互操作问题,从而实现了基于Internet的业务流程管理,为跨企业间的流程协作提出了一种新的解决方案。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于Petri网的工作流模型时间性能分析

利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程。首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性。     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析,首先说明了在工作流中运用Petri网的优点,然后将Petri网与工作流相结合,建立了电子政务系统的工作流网模型,最后运用Petri网理论对所建模型的正确性进行了定性分析,并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

工作流管理系统的Web Services协议分析

工作流管理系统是实现业务过程管理的重要工具。工作流系统以Web Services方式运行，需要有语义清晰的Web Services协议支持。文中从分析Web Services的技术屡次人手，详细讨论了Wf-XML协议的技术基础及其特点。最后总结了Wf-XML作为工作流系统的Web Services协议的优势和不足之处。     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

基于语义描述的Web服务工作流集成

Web服务是可以由其它软件在Internet上访问的一种软件接口。Web服务工作流则是一组按一定顺序执行的Web服务的集合。如何集成一个Web服务工作流,特别是如何运用对Web服务的语义描述来为一个工作流来自动寻找和匹配Web服务,这是目前所急需解决的问题。介绍如何用语义Web服务本体论来集成工作流,同时提出一个基于语义Web服务工作流集成的模型。     

基于禁忌搜索算法的Web服务组合优化

为有效集成网络中的Web服务,组成满足用户需求的服务链,提出了基于禁忌搜索算法的Web服务组合优化方法.建立了基于QoS感知的Web服务组合优化模型,该模型从全局限制了用户的QoS约束.简述了禁忌搜索算法求解的基本框架,在此基础之上分析了应用禁忌搜索算法求解过程中的关键设计步骤.实例仿真计算结果表明,该算法求解具有比线性规划算法更好的时间性能,并具有与遗传算法相仿的表现.     

基于时间Petri网的Web服务建模技术研究

Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Intemet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程.商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的.因此IBM为解决该问题,提出了Web服务流程语言（web services flow language,WSFL）.但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的.     

基于颜色Petri网的服务组合建模与验证

Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.     

Reaching consensus: A moderated fuzzy web services discovery method

Web services are used for developing and integrating highly distributed and heterogeneous systems in different domains such as e-business, grid services, and e-government systems. Web services discovery is a key to dynamically locating desired web services across the Internet. Prevailing research trend is to dynamically discover and compose web services in order to develop composite services that provide enhanced functionality. Existing discovery techniques do not take into account the diverse preferences and expectations of service consumers and providers which are generally used for searching or advertising web services. This paper presents a moderated fuzzy web service discovery approach to model subjective and fuzzy opinions, and to assist service consumers and providers in reaching a consensus. The method achieves a common consensus on the distinct opinions and expectations of service consumers and providers. This process is iterative such that further fuzzy opinions and preferences can be added to improve the precision of web service discovery. The proposed method is implemented as a prototype system and is tested through various experiments. Experimental results demonstrate the effectiveness of the proposed method.     

Petri网格构建探讨

介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。     

Functionality Aware Dynamic Composition of Web Services

The composition of the web service is a common technique to attain the best results of complex web tasks. The selection of appropriate web services, linking those services in the action flow and attaining the actual functionality of the task are the important factors to be considered. Even though different frameworks and methods have been proposed to dynamically compose web services, each method has its advantage and disadvantage over the other. Most of the methods give much importance to the Quality of Service (QoS) but fail to achieve the actual functionality after composition. This paper proposes a functionality-oriented composition technique for composing web services. Moreover, this method helps reach the extreme functionality of each web service in the composition towards customer satisfaction. Apart from considering the overall QoS of every single service, the non-functional parameters associated with these services are also considered for achieving the expected functionality. Each of these non-functional parameters has a vital role in the functional performance of the web service. The web services that satisfy the non-functional requirements are chosen to form the composition to attain the best performance. The list of services in the proposed composition method is different from the conventional one, which is composed based on the overall QoS. The non-functional parametric values, the QoS of each web service and the overall QoS after composition are evaluated for the proposed method and experimentally analyzed to prove their advantage over the others.     

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

The competency to compose web services from available services is one of the most crucial problems in the paradigm of service-oriented computing. Conventional software engineering approaches and even standard languages compose web services as workflow models that control the business logic required to coordinate data over participating services. Such models would not apply to the design of multi-agent based web services, which offer high-level abstractions that support autonomy, business-level compliance, and flexible dynamic changes. In this article, we model interactions among multi-agent based web services by commitment modalities in the form of contractual obligations and devote multi-agent commitment protocols to regulate such interactions and engineer services composition. We develop and fully implement an automatic verifier by enriching the MCMAS model checker with certain symbolic algorithms to verify the correctness of protocols, given properties expressed in a temporal commitment logic, suitably extended with actions. We analyze the time and space complexity of the verifier. Finally, we present the experimental results of two case studies, adopted to check the verifier’s efficiency and scalability.     

多输出Web Services合成方案向BPELWS转换的研究

针对巨大数量的、多输出的Web Services,找到合适的解决方案。使用产生式建模,避免对合成方案的再优化;利用高效率的参数级本体消除合成语义冲突,然后使用无回溯反向链算法进行合成;再通过WSTC自动转换算法,把合成方案转换为BPEL4WS,最终得到一个满足需求的新Web Services。     

基于移动Agent的个性化数字学习模型研究

在开放、动态的学习资源网络环境中,个性化服务支持对在线学习者尤其重要.讲述了在基于web服务技术的分布式学习环境中如何构造一个分布式的个性化数宁学习环境.在建立服务代理的功能模型的基础上,构造了一种基于多移动Agent的个性化数字学习(E-Learning)框架模型,阐述了其工作流程并进行了结构分析;引入Petri网模型,设计了基于移动Agent的联邦组建与动态服务合成算法;说明了系统实现的技术手段与方法.从对系统模型雏形的应用与性能监测来看,系统模型实现切实可行且运行性能良好.