基于Web服务的会话模型及其比较和应用研究

Web服务的基础规范仅支持具有简单交互协议的服务调用，不能支持需要交换一系列消息交换的复杂的电子商务交互。文中首先提出了基于Web服务的会话和会话模型的概念，试图用它们来解决双方或多方之间复杂的多步骤的长运行期的交互问题，然后从新兴的描述Web服务的会话性的各种标准归纳出两种会话模型，并对它们进行了详细的分析、应用和比较，最后给出基于会话的企业问应用集成模型，综合应用了基于这两种会话模型的标准。     

基于J2EE与Web服务的第三方物流动态整合设计与实现*

Web服务为第三方物流的动态电子商务业务流程提供了一致的信息交换与集成框架,从而支持着企业交易伙伴之间更为复杂的Web交互与商务协作.为了阐述基于J2EE的Web服务动态集成化第三方物流解决方案,首先在阐述了Web服务集成概念与理论的基础上,以物流订单处理的过程为例,研究了基于Web 服务的第三方物流业务集成方法.     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。     

基于.NET的Web Services安全技术实现

为解决在Web应用中应用程序调用Web服务的安全性,采用一种基于.NET身份验证和授权的Web服务安全技术策略,通过将会话标识进行传递,实现Web服务的安全调用,实现了Web服务安全性的一般要求。该策略不仅易于编程而且增强了Web服务的安全性,保护了业务应用程序之间交换消息的完整性和机密性。     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于RPC和基于REST的Web服务交互模型比较分析

传统Web服务采用基于RPC的交互模型，这种模型很难达到Web级的规模可伸缩性，因此制约了Web服务的普遍应用和进一步发展。在对传统Web服务交互模型的特点与不足进行分析、以及传统交互模型与基于REST交互模型进行比较的基础上，该文探讨了Web服务交互模型的发展方向。     

Web应用中单点登录系统体系结构研究

随着Web的广泛应用,为了加强系统安全和简化管理,需要一个安全和基于标准的规范机制来实现跨安全域的身份认证信息交换以确保用户仅登录一次,便可以享用安全域中提供的服务.文章分析了Web应用环境下两种单点登录体系结构,并分别说明了它们的实现流程.最后对它们作了一些比较.     

基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。     

一个基于服务请求语言的统一Web服务框架

提出一种基于服务请求语言的统一Web服务框架UWSF。该框架通过统一的服务发布构件对外提供Web服务,并以服务项为单位进行组织,客户端通过对服务项的灵活组合获得各种定制的服务。引入服务请求语言作为客户端服务请求以及交互策略的描述手段。服务请求在服务端解释执行,使得双方的交互过程能够在会话环境中进行,并且减少了由于中间结果传榆造成的带宽占用。服务端执行基于状态图的流程级交互控制以及基于权限检查接口的服务项级权限控制,保证了会话过程的合法性与完整性。     

智能Web服务及其元模型驱动的开发环境

当前的Web服务尚没有充分的语义支持,无法支持动态的面向服务组合与协同.提出了智能Web服务的参考元模型,强化其语义支持的交互与推理能力,并仔细探讨了服务的内部结构及其实现.基于这一模型,开发了一套集成开发环境,并以此来验证模型的可行性.     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.