基于扩展自动机的服务组合静态与动态验证方法

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。     

一种可逆有限状态机的电路设计

不同以往通过重构电路行为实现可逆有限状态机方法,本文提出了一种可逆有限状态机的电路结构.该电路主要包括次态与输出计算电路以及状态预置与采样锁存电路两部分,且提出的可逆有限状态机电路中不存在独立的可逆触发器,但可以实现可逆JK,D,T等触发器功能.同时,文中也提出了基于该可逆有限状态机电路的可逆时序电路综合方法,并用实例进行了验证.相比于基于行为重构的可逆有限状态机的综合方法,本文提出的综合方法可以避免原始状态机的逆状态机的求解和增加额外的信号位,从而使得综合过程变得更加简单.     

基于抽象状态机的普适服务组合分析与验证

提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用 CoreASM 这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.     

可生存性控制系统的有限状态机的设计

文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。基于系统服务、节点功能和故障元素之间的布尔函数关系．给出可生存性控制系统的有限状态机的形式化规范，并自动满足受控系统的可生存性。     

基于图灵机的云服务组合方法研究

由于现有的云架构缺乏云服务组合的中间件层,所以本文提出基于图灵机的云服务组合模型,并实现了云服务组合(CMCD)原型,它包括云服务组合模块和图灵机构造模块.在云服务的组合上,使用有限状态机(FSM)规定其调用序列,并且创建云服务组合树.图灵机构造模块主要是从云服务提供商宏观层面进一步对云服务的部署进行控制.该方法在普通云服务功能方面有较好的性1能,并且部署成功率非常高.     

基于Verilog HDL的高效状态机设计

用Verilog HDL(硬件描述语言)进行有限状态机电路设计,由于设计方法不同,综合出来的电路结构、速度、面积和时延特性都会有很大的差别,甚至某些臃肿的电路还会产生难以预料的问题。因此,很有必要深入探讨在用Verilog HDL进行有限状态机设计中,如何简化电路结构、优化电路设计的问题。文中根据有限状态机的设计原理,描述了有限状态机设计的几种设计方法,分析了影响状态机设计时延、速度和电路综合面积问题,提出了一种高效状态机设计方法,并给出了基于Veril-og HDL程序综合得到的电路图,验证了方法的正确性。     

VHDL设计MOORE型有限状态机时速度问题的探讨

根据设计MOORE型有限状态机的原理,分析了影响有限状态机速度的原因,提出了提高速度的方法,并给出了根据VHDL程序综合得到的电路图,验证了方法的正确性.     

面向内容的有限状态网络服务模型

 提出了一个新的基于有限状态机的网络服务模型,该模型以一种有限状态移动主体(FS-Agent)作为服务的基本单元,分别用服务内容状态机(Content-FS)和服务计算状态机(MACM-FS,即移动主体计算模型)来定义网络服务中的服务内容和服务计算过程,从而构建了一种面向内容的网络服务模型.实验结果表明,该网络服务模型具有良好的可扩展性和较高的网络服务效率.     

BACnet应用层测试状态机自动生成研究

协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。     

动态环境视觉导航的有限状态粗集方法研究

为实现移动机器人在多目标动态环境下导航与控制,提出了有限状态机和粗糙集理论相结合的单PT(Pan-Tilt)视觉系统监控策略.首先定义了目标方位信息可信度估计模型及基于动态优先级的目标选定方法.然后确定了每个目标监控的有限状态机模型,并依据粗糙集理论对目标监控决策表进行了约简,引入了非值约简描述方法,得到了最小规则集.在多目标环境下的移动机器人实验,验证了所提出方法的有效性.     

自组织服务网络的形式化建模与分析

自组织技术在组网技术上,得到了广泛的应用,但是将自组织技术应用于服务组合中,国内外的研究却非常少。将自组织思想纳入服务组件的组合过程中,可形成具有一定智能的服务网络,增强服务网络的适应性,为服务组合提供一种新的思路。首先由自组织、自组织网络引出自组织服务网络,然后用抽象状态机(ASM)对自组织服务网络进行了建模,并对该模型的自组织、自愈合、自优化、自保护、自均衡等性质进行了分析。     

Effect of load distribution in path protection of MPLS

We analyse and compare a protection mechanism based on load distribution with a typical protection mechanism in an multiprotocol label switching (MPLS) network. The protection mechanism based on load distribution is modelled as a fully shared mechanism (FSM) and the typical protection mechanism is a partially shared mechanism (PSM). By comparing the FSM and the PSM, we numerically analyse the effect of load distribution in path protection of MPLS. The comparison is based on numerical equations representing the relationship between service reliability and resource utilization. From the equations, we show that both the FSM and the PSM have a tradeoff between service reliability and resource utilization. In addition, we provide solutions for the FSM and the PSM to determine the amount of bandwidth occupied according to the requested service reliability. The comparison of the FSM and the PSM shows that the PSM cannot provide greater service reliability than the FSM under the same utilization. In addition, the PSM is not capable of accommodating greater resource utilization than the FSM for the same level of service reliability. However, an appropriate choice of the number of protection paths allows the PSM to provide the same level of service reliability as the FSM. The choice is the maximum among the possible numbers of protection paths of the PSM. In short, the typical protection mechanism is as good as the FSM in terms of service reliability and resource utilization even though the FSM is an attractive alternative to the typical protection mechanism. Copyright © 2003 John Wiley & Sons, Ltd.     

基于服务计算的服务组合研究

通过分析现有Web服务组合系统的组合方式及特点,将服务计算引入到Web服务组合领域,提出了基于服务计算的Web服务组合系统方法,设计了基于服务计算的服务组合模型。通过松散耦合的服务组合模型来实现Web服务组合,可为服务消费者提供一个适当的、开放的、按需配置的安全的Web服务组合环境。     

移动自组织网络中一种基于新型节点模型的组合服务提供方法（英文）

Composite service provision in mobile ad hoc networks encounters great challenges and its success rate is not satisfactory because the nodes' locations are dynamic and the nodes maybe unavailable at any time.Composite service is built through the service composition.In mobile ad hoc networks,the factors influencing the success rate of service composition are mainly the number of nodes and the time spent for the composition.The node's failure probability is proportional to the length of time the node exist in the networks.In order to improve the success rate of service composition,we take several measures.First,we split the service requirement into several segments and cluster the nodes,so that the nodes' waiting time for service composition can be reduced.Second,we propose a new node model of "one node contains multiple services" in mobile ad hoc networks.Using this type of nodes model,the number of nodes required for service composition can be reduced.These means can increase the success rate of service composition.     

Web服务请求输入闭包与可满足性分析

大规模服务库的快速服务组合方法是当前研究的难点,研究快速的服务请求可满足性判定方法与服务集优化方法是解决该类问题的有益探索.通过引入Web服务请求输入闭包概念,论证了一种服务请求可满足性判定方法和Web服务集优化方法,并通过实验分析了领域属性总数与服务总数的比值对用户请求可满足性及服务集优化效果的影响.提出了最小用户代价输入集的概念,给出了一种近似求解最小代价输入集的贪心算法.     

Video-on-demand session management

A video-on-demand (VoD) system provides a service which enables a user of the system to request in real time the transmission of a video stream from a collection of available video material. This paper suggests a conceptual model that subclassifies the VoD control and management procedures into three management levels: session, call, and connection. The session management is represented by a finite state machine (FSM) that translates user commands into call layer activities. The states in the session FSM represent active calls between the set-top boxes (STBs) and other entities, whereas the arcs represent distributed protocols for set-up and take-down of calls. This model is used in order to analyze the relationship between the procedures in the various management levels and to discuss the options and trade-offs involved in the design of a VoD session     

网络功能虚拟化中的性能感知服务组合优化

服务功能链是网络功能虚拟化的重要支撑,为了构建满足功能和性能需求的服务功能链,需要建立服务的性能模型,从而产生基于性能的服务组合优化问题。一种基于性能模型的服务组合优化问题被建模,并针对复杂约束情况下的无效解干扰,提出了改进的模拟退火算法,该算法包含基于层次属性的产生函数和基于偏离度的目标函数。仿真结果表明,该算法提高了21%的服务组合成功率,同时降低了组合成本和时间消耗。仿真结果验证了所提算法的有效性。     

结合语义与模糊推理的两阶段服务组合

如何选择Web服务使组合服务的功能性属性与非功能性属性都能满足实际需求,是当前服务组合领域研究的一个重要问题.通过引入语义和服务质量,给出服务组合的形式化分析方法.该方法采用模糊Petri网建模,利用模糊Petri网的模糊推理能力,在语义层次上对服务组合进行功能性匹配.提出服务的服务质量QoS匹配度模型,对组合服务进行服务质量匹配.仿真结果表明,该方法可以解决综合考虑语义和服务质量的组合问题.     

基于QoS服务组合模型及应用研究

目前电信网络服务尚无服务质量控制机制,无法为用户提供区分服务和性能保证,使得特殊用户的网络服务质量受到严重影响。这就要求网络提供商对其服务组合的服务质量进行建模评估。文中主要讨论面向服务质量的服务组合方法和保证组合服务执行过程中业务功能和服务质量的方法。研究影响网络服务质量的相关参数。从用户的角度出发,建立服务组合的服务质量模型,并从用户和网络提供商两方面考虑,讨论改善服务质量的实际方法。     

Web service discovery utilizing logical reasoning and semantic similarity

Web service discovery facilitates the implementation of complex and reconfigurable applications in service‐oriented architecture, such as service selection, composition, and provision. This paper presents an approach for semantic and automated Web service discovery. Our approach to semantic Web service discovery consists of ontology‐based service preprocessor, reasoning‐based service filter, and parameter‐based service matcher. An important feature of this approach is that the relationship among concepts in ontology is quantified and considered as an important factor in the matching process, which results in high precision and recall. Additionally, we propose a filtering method based on logical reasoning to preprocess the large amount of Web services. Through the filtering method, Web services which are feasible in logic are selected to be matched with user requests. So there is a great improvement in the run‐time performance of service discovery approach. Experiments show that our approach is feasible and effective to discover the required Web services.