A colored Petri net-based model for web service composition

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.

Web Service Automatic Composition Model Based on Colored Petri Nets

As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.

Web服务过程建模及其逻辑正确性验证

为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。

基于二维QoS模型的Web服务组合

在实际应用中,单个Web服务通常无法满足复杂应用的需求,如何组合已有的服务,从而提供更强大更完整的商业功能已成为此领域的研究热点。然而现行的SOA架构中,Web服务组合方法中很少考虑Web服务质量(QoS)问题,或者对QoS考虑得不够全面,这样,组合出的服务不能确保能够满足用户的QoS需求。针对这一问题,提出了Web服务的二维QoS模型,并使用了改进的UDDI规范,在此基础上给出了基于QoS的Web服务组合的有色Petri网组合策略。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。

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

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

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.

语义Web服务自动组合的有色网验证模型(英文)

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。

浅析色彩在网页设计中的应用研究

在网页设计中,色彩的运用是不可或缺的,它是网页设计创作过程中至关重要的视觉表达元素。不论是用于网页文字的识别、信息的分区,还是画面的统一,色彩都扮演着关键的角色。当色彩在网页设计中得到合理运用时,不仅能够丰富页面的视觉效果,而且能够唤起观众的情感共鸣,为他们提供更加愉悦的视觉观赏体验。深入研究色彩设计对于设计师今后从事网页设计创作具有积极的影响。这不仅有助于他们更好地理解色彩在设计中的作用,还能够提升其设计技能和创造力。因此,加强对色彩设计的研究,将为设计师在未来的网页设计实践中提供有力的支持。

基于颜色Petri网的Web服务组合建模及应用

给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。

基于Web的彩色管理解决方案

彩色管理是近几年新发展起来的颜色复制与传送技术，广泛应用于桌面电子出版系统（ＤＴＰ）．随着Ｉｎｔｅｒｎｅｔ的发展，该技术被逐渐引入Ｗｅｂ应用领域． 该文在表明了目前在电子商务中存在的色彩问题之后，阐述了基于Ｗｅｂ的彩色管理解决方案．

一种基于有色Petri网的语义Web服务组合验证机制

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。

基于Web页面结构和主色调的聚类算法

针对目前Web聚类准确率不高的问题,提出一种基于Web页面链接结构和页面中图片主色调特征的聚类算法。通过分析Web页面中的链接结构和Web页面中所显示图片的主色调来比较页面之间的相似度,对Web站点中的Web页面进行聚类。聚类过程兼顾Web页面结构和页面的主要色彩特征。系统实验结果表明,该算法能有效提高聚类的准确性。

视觉色彩在网页界面设计中的应用研究

在媒体时代,网页设计已成为传达信息、展示品牌和用户体验的重要手段,已成为人们获得信息、了解品牌和确立活动的重要平台。在网页界面设计中,视觉色彩作为最直观、最具有感受性的设计元素之一。本文旨在探讨界面设计中色彩的功能、色彩心理学的应用以及色彩搭配的原则和实践策略等,对于提升用户体验和增强网页的吸引力起着至关深远的作用。正确的色彩运用不仅能提升网页的美观度,还能有效地传达品牌形象,增强用户的浏览体验。因此,深入研究网页界面设计中视觉色彩的运用具有深远意义。

基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模。在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法。最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型。

棉网喷染无水色纺关键技术

对梳棉喷染无水色纺纱线关键技术的可行性进行分析并进行研发验证。实践证明:通过对梳棉/喷染装备的设计研发,配置合适的雾化装置、烘干装置和有机溶剂回收装置,并通过对纺纱工艺流程的再造,采用蒸纱方式对无水色纺纱线进行固色,同时对纺纱工艺参数、纺纱专件、专件清洁方式等进行优化调整,实现了棉网喷染无水色纺普梳全棉18.5 tex纱线的生产,并且成纱指标、产品色牢度均达到了预期的开发效果。棉网喷染无水色纺纱线可满足客户对浅色系、花式风格产品的应用需求。

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。

着色Petri网模型检测工具的扩展及其在Web服务组合中的应用

Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具——CPNTools——中使用ML(metalanguage)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的.

基于有色Petri网的Web服务协商

针对Web网络端到端会话的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间自动地协商QoS信息,并采用有色Petri网模型对该协议进行了形式化描述。将Web服务的QoS划分为r个一级对象、ni个二级对象,根据不同应用中QoS对象关注程度确定权重,采用加权模糊推理模型构造应用函数,作为协商的依据。分析表明,该模型对服务发现与服务集成中自治实体间达到共识是有效的。

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性。该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构。给出了Web服务基于有色Petri网的形式化定义。定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成。定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成。

Web服务组合的层次颜色Petri网描述模型

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。