Web服务应用标准化研究

Web服务为软件系统间的互操作和应用系统集成提供了技术规范。分析Web服务的技术特性和目前的Web服务开发方式存在的不足,提出了用Web服务接口文档为依据开发标准化Web服务的思想,描述了Web服务接口文档模型的组成元素及其在提高Web服务质量特性上的作用。

基于嵌入式系统的Internet接口开发

针对目前大部分基于单片机、DSP和PLC等底层设备直接上网存在的困难,本文提出一种基于嵌入式系统的Internet接口实现方法,实现了低端设备与因特网的互连,为智能家电、智能大厦和远程监控等领域提供了一个经济快捷的通用接口,大大缩短了系统原有的开发周期。

Reachability analysis of web service compositions via NWA

In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.

开发基于WWW校园网信息服务系统的三项关键技术

本文主要介绍了基于WWW校园网信息服务系统的体系结构和开发此系统的信息服务界面设计。

基于SOA的测井解释平台中间层设计

CifWeb的目标是开发跨平台的新一代测井解释软件平台,并实现勘探开发一体化和网络单机一体化。将基于SOA的测井解释平台中间层作为CifWeb的网络化解决方案,依据广义测井曲线理论,采用开放的Java技术,基于SOA方式并结合最新的Glassfish、Spring及JAX-WS等技术,用消息传输优化机制进行优化。实现了高性能、与平台和语言无关的面向服务接口,为Cif-Web提供了强大的网络化功能。

面向PLM的数据集成技术研究

产品全生命周期管理系统的目的是建立一个管理、跟踪和控制产品全生命周期信息的协同环境,通过网络创建和共享产品的规划、设计、制造的信息。文章结合当前比较流行的数据集成模式,在此基础上设计了基于XML的数据集成模型框架,阐述了其设计过程,为开发PLM系统提供了方法。