一种Web方式调用Tuxedo服务的方法及其应用

在用Tuxedo作为中间件的系统中,用V isual C++、V isual Basic及ASP语言结合实现了W eb方式调用Tuxedo服务,描述了这种方法的基本原理,详细讨论了方法的具体实现,并在湖南省长沙市商业银行财库行系统中得以应用。

Web服务组合技术的研究

Web服务组合旨在实现不同功能web服务的有机合成以形成功能更加强大的大粒度服务，成为当前服务计算领域的研究热点。本篇文章通过Web服务组合的概述，web服务组合语言和Web服务组合的实现方式来认识web服务组合技术。

基于移动应用接入平台的数据交互服务组件设计与实现

为了解决移动应用开发复用性低,开发过程缓慢,无法迅速适应变化业务的需求的问题,本文提出了移动应用接入平台这一解决方案,并着重介绍了数据交互服务组件这一移动应用接入平台这一核心功能,文章包括移动应用接入平台的需求分析和总体设计、数据交互服务组件设计和实现四部分阐述。

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.

基于Agent的电子商务供应链管理系统的设计

本文设计和实现了一个基于Agent的电子商务供应链管理系统AeSCM,并用Web服务方式实现了系统的集成。