3020A逻辑测试仪简介

3020A逻辑测试仪(简称3020A)是美国FLUKE TRENDAR公司1976年的产品,用于测试各种逻辑插件(外形如图1)。  

动态Web服务行为适配方法初探

面向服务的计算是当前软件工程领域和软件产业界的研究热点之一。随着Web服务组合技术的广泛应用，服务间的行为交互日趋复杂，已存在的静态Web服务行为适配方法难以支持复杂Web服务间的行为适配。以此为背景，首先介绍Web服务适配的相关概念，然后分析现有的静态Web服务行为适配方法的研究现状和存在的主要问题，最后探讨动态Web服务行为适配的基本原理、一般方法和技术优势。  

基于规范流网的Web服务行为适配方法研究

Web服务适配是面向服务计算领域的重要研究内容.针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程.  

规范流网中OR-join任务的语义及使能判定算法

对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。