应用于Web服务合成的一种有效的Web服务发现策略

随着Web服务的流行，如何发现Web服务为研究者们提出了挑战．文中将描述Web服务的信息分为服务操作信息（OWSDL）、服务功能信息（一般属性）和服务约束信息（实例属性）．基于描述服务的三部分信息，分三步实现服务查找．第一步，基于领域本体商业规范OWSDL实现服务操作同构；第二步，基于服务概要描述的一般属性，满足服务的功能需求；第三步，应用服务匹配度模型，基于概要描述的实例属性，按需为消费者提供恰当的服务．最后，通过实例证明了该方法是一种有效的Web服务发现策略．     

基于情景演算的Web服务语义描述

Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。     

基于XML多层分布式组件系统模型及其语义演算

提出了基于XML的多层分布式组件系统模型，通过XML语言从组件总体信息、标准信息、外部信息以及性能信息4个方面对组件进行了标准化描述，并针对多层分布式信息系统中的逻辑构成、层次化映射及其语义演算进行了详细研究。     

基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道．最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．     

XML技术在网络教育中的应用

介绍了XML产生的背景、基本概念和XML在网络教育中的应用，得出了XML比HTML和数据库更适合于作为网络信息标准的结论。同时，提出了利用XML技术解决网络教育服务快速发现的思路：将RDF作为网络教育服务WSDL规范的描述工具。     

一种基于XML技术的异构数据库访问中间件的设计与实现

本文描述了一种基于XML中间件技术实现异构数据库系统之间信息交换的模型。该模型在客户端(或浏览器方)和数据库服务器间利用XML技术构建了一中间件，在此模型中，中间件和数据库服务器之间的通讯是建立在XML信息和JDBC接口之上的。通过JDBC．可以透明地访问异构数据库：借助于基于文本的结构化的XML信息，可以更精确地以一种通用的语言来描述数据库信息。同时，为了更精确地描述XML文件自身结构信息．实现了从DTD到XML Schema的转换。     

一种针对单元测试框架的测试脚本重用方法

单元测试框架下的软件测试将产生大量的测试脚本, 在软件测试过程中如何有效利用现有的测试脚本, 实现软件测试脚本（代码）的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架时, 如何重用开发人员在原单元测试框架下积累的测试脚本。针对这一问题, 提出了基于测试脚本移植的重用方案。通过对单元测试脚本的分析和自动翻译方法, 将原测试脚本中包含的信息提取出来, 解析为基于XML的中间脚本, 然后再利用XSLT技术, 依据XML记录的信息, 自动生成目标框架的单元测试脚本, 从而解决单元测试脚本的重用问题。最后实验验证了方案的可行性。     

OSC:一个开放式情景演算系统的研究

在经典情景演算系统的基础上引入了广义信念修正理论，构建了一个开放式情景演算系统OSC(open situation calculus)，克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷．OSC系统保留了经典情景演算系统中的情景流result-of(a，s)，用以刻画行动的影响；同时又引入了新的情景流bel-rev(φ，s)，用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动．OSC系统采用了离线规划与在线执行相结合的运行方式，为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径．     

故障信息标准化描述及网络传输方法研究

为满足网络故障诊断中跨平台故障信息标准描述和网络传输的需要,基于LabVIEW的跨平台和XML的标准语言描述能力,开展相应的详细设计与实现方法研究,给出典型故障的XML描述方法。通过TCP协议,借助局域网中中的客户机/服务器模式来实现故障信息的网络传输。在服务器端,采用VI脚本技术动态创建和运行软件模块,以满足不同故障信息传输和处理的需要。在客户端,供应商和客户模式被用于增强安全性以避免数据丢失。构建的仿真系统验证了设计的可行性,研究成果对今后进一步实现实用的网络化故障诊断系统具有一定的参考价值。     

XML技术在网络教育中的应用

介绍了XML产生的背景、基本概念和XML在网络教育中的应用,得出了XML比HTML和数据库更适合于作为网络信息标准的结论.同时,提出了利用XML技术解决网络教育服务快速发现的思路:将RDF作为网络教育服务WSDL规范的描述工具.     

Distributed Reactive XML

XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype implementation of an open XML-centric coordination middleware called Distributed Reactive XML. The middleware has as theoretical foundation a general distributed extensible process calculus inspired by the theory of Bigraphical Reactive Systems. The calculus is extensible just as XML is extensible, in that its signature and reaction rules are not fixed. It is distributed by allowing both the state of processes as well as the set of reaction rules to be distributed (or partly shared) between different clients. The calculus is implemented by representing process terms as XML documents stored in a value-oriented, peer-to-peer XML Store and reaction rules as XML transformations performed by the clients. The formalism does not require that only process terms are stored—inside process terms one may store application specific data as well. XML Store provides transparent sharing of process terms between all participating peers. Conflicts between concurrent reaction rules are handled by an optimistic concurrency control. The implementation thus provides an open XML-based coordination middleware with a formal foundation that encompasses both the shared data, processes and reaction rules.     

XML Schema与DTD的比较及应用

XML是目前广泛应用的数据交换标准，而模式是应用XML进行数据交换的正确性的保证机制之一。模式详细描述了文档的结构，确保文档的元素和属性等的正确性。XML Schema和DTD是其中应用最广泛的模式。文中详细比较了两者的异同，并指出了各自的局限及最佳的应用，DTD非常适合于文本密集型XML文档，而XML Schema更适合于数据密集型XML文档。     

XML数字签名在电子政务中的应用

本文介绍了电子政务概念以及电子政务信息安全现状,重点探讨了XML数字签名技术及其与传统数字签名技术的不同之处,最后实现在电子政务中的具体应用.     

xmlTRAM :改进的软件需求和系统结构管理模型

介绍了将XML技术用于需求管理和系统结构相结合的一种研究方法。在系统的需求结构和外部接口的范畴开发了一个实用的管理工具 ,以满足系统的开发与演化。提供了一种将软件需求与系统结构的研究和XML相结合的研究思路与实现方法。介绍了系统结构管理模型在英国国家航空公司的服务系统中的应用     

Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction

This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in Human-Computer Interaction (HCI). The strategy to identify and reduce these hurdles is developed in the framework of a methodology based on a recently introduced model of HCI, and exploits the technological innovations of XML (Extensible Markup Language). HCI is modelled as a cyclic process in which the user and the interactive system communicate by materializing and interpreting a sequence of messages. The interaction process is formalized by specifying both the physical message appearance and the computational aspect of the interaction. This formalization allows the adoption of notation traditionally adopted by users in their workplaces as the starting point of the interactive system design. In this way, the human–system interaction language takes into account the users’ culture. Moreover, the methodology permits user representatives to build a hierarchy of systems progressively adapted to users’ situations, skills and habits, according to the work organization in the domain considered. The strategy is proved to be effective by describing how to implement it using BANCO (Browsing Adaptive Network for Changing user Operativity), a feasibility prototype based on XML, which allows the hierarchy implementation and system adaptations. Several examples from an environmental case under study are used throughout the paper to illustrate the methodology and the effectiveness of the technology adopted. Published online: 4 June 2002     

基于Web services的XML引擎安全模型研究*

Web services提供软件接口,实现Internet上服务的调用。它以XML为基础,使用了基于XML语言的协议来描述要执行的操作或要与另一个Web服务交换的数据。SOAP是Web services的传输层协议,所有的SOAP消息均使用XML编码。XML engine是建立在Web service上的一种技术。在整个Web服务应用中,XML处于消息层的位置,而XML engine则针对Web服务应用中的XML进行操作,所以称做消息层网关。在XML engine平台上,通过动态共享对象(DSO)机制,将     

基于XML的STEP数据安全机制的研究

为了实现STEP格式的数据在网络上发布,引入了XML技术和密码技术。首先,建立了STEP与XML之间的一一映射关系,将STEP数据转换为XML文档,然后研究了XML文档的加密和签名机制,并给出了具体的应用实例。     

一种基于操作集计算生成有效XML文档的方法

目前XML工具的编辑能力不足以保证生成有效的XML文档,缺乏对文档模式的合理利用。而由XMLSchema定义的文档模式,不仅提供了有效性验证标准,同时蕴含了生成有效XML文档的准则。本文提出了一种生成有效XML文档的方法。该方法基于XML文档模式图定义不同节点的操作集合,以及该操作集合上的计算和相应操作语义,并分析论证了该方法本身的有效性。     

基于XML的可配置IP库的设计与实现

当前SOC（System-On-Chip）设计中IP重用面临很多难题：可重用IP的表述及如何提高IP的可重用性等。针对上述的问题，给出一种基于XML描述的IP库设计和实现方法。分析了RTL级IP（Intellectual Property）和IP库的特点，提出了基于XML可配置IP库的层次结构，给出了基于XMLIP库的形式化描述。结合一个软处理器核（OpenRISC嵌入式处理器）给出了基于XMLIP库的框架及实例，总结了基于XML可配置IP库的特点，介绍了基于XMLIP库在实验室项目中的应用：一个基于CSCWD（计算机协同工作设计）的SOC开发设计平台。