Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

Web信息抽取及知识表示系统的研究与实现

研究了从数据密集型Web页面中自动提取结构化数据并形成知识表示系统的问题。基于知识数据库实现动态页面获取,进行预处理后转换为XML文档,采用基于PAT-array的模式发现算法自动发现重复模式,结合基于本体的关键词库自动识别页面数据显示结构模型,利用XML的对象-关系映射技术将数据存入知识数据库,由此实现Web数据自动抽取。同时,利用知识数据库已有知识从互联网抽取新知识,达到知识数据库的自扩展。以交通信息自动抽取及混合交通出行方案生成与表示系统进行的实验表明该系统具有高抽取准确率和良好的适应性。     

一种基于服务覆盖网络的业务运行平台

针对分布式业务的动态性和可扩展性需求,设计并实现了业务运行平台BEPSON（Business Execution Platform Based On Service Overlay Network）。该平台基于服务覆盖网络,采用分层架构,提出并实现了具有QoS保证的动态服务发现算法以及分布式的执行策略。最后,通过实例验证了平台的有效性和灵活性。     

Web服务搜索引擎的WSRank方法研究

Web服务检索的困难阻碍了其应用和发展的速度。在实现了一个Web服务搜索引擎WSSE后,服务的排序成为需要解决的问题。通过Web服务爬虫的爬行特点分析Web服务的分布结构和相互关系,借鉴著名的网页排序算法PageRank及其改进算法的研究成果,创新地提出WSRank算法。迭代计算各服务的排序值,按值进行非递增排序。实验表明,本算法能提高Web服务检索的准确性。     

网站信息管理系统功能完善与安全性分析

重点探索分析了网站信息管理系统总体框架由现行技术（原型法）开发完成后,运行中各环节存在的安全和功能漏洞,以及各种不安全性产生的原因和解决方案,以期尽可能提高系统完整性和安全性。     

服务Agent的设计与实现

将Web服务与Agent相结合代表了Web技术的发展方向之一。服务Agent能够管理一组密切相关的Web服务,并智能化地向外界提供综合的、集成的服务功能。服务Agent的能力建立在内部定义的一组规划基础上。在BDIAgent的基础上,本文提出了一种服务Agent的结构定义;提出了基于目标规划的语义模型和基于ECA规则规划的语法模型,用以进行基于事件驱动的规划选择和执行;实现了支持服务Agent建模的可视化工具;最后介绍一个应用实例。     

化学和化工深层网信息挖掘技术的研究与应用

针对化学和化工领域深层网信息量大、专业性强,但是难于检索的问题,本文研究了深层网信息挖掘的相关技术及化学和化工深层网的特点,并将其综合应用于对化学和化工深层网信息资源的挖掘系统中。该系统通过提取表单标签并结合化工物性词典种子合成绝对URL地址的方式,实现了对深层网入口表单的自动填写和提交功能,采用结合了XPath文档定位语言和XSLT数据逻辑处理模式初步实现了对返回的结果页面中化学和化工数据的提取。     

基于SOA的科技项目管理系统平台的研究

为了实现可动态重构、能快速适应业务需求变化的科技项目管理系统,论文在分析面向服务架构(SOA)的思想和科技项目管理领域需求的基础上,提出了基于面向服务架构的科技项目管理系统平台的设计框架,该框架主要包含了可重用的服务仓库和业务流程服务集成引擎。论文详细阐述框架中主要构件模块和业务流程服务引擎。通过项目实践表明,在该框架指导下能有效解决目前科技项目管理系统中存在的问题。     

Informal learning with PDAs and smartphones

Abstract There has been increasing interest in informal learning in recent years alongside interest in how such learning can be supported by technology. However, relatively little is known about the extent to which adults make use of their own mobile devices to support informal learning. In this study, a survey was used to investigate whether, and to what extent, experienced users of mobile devices use their mobile devices to support intentional informal learning. If so, do they make use of mobile device connectivity to support opportunistic informal learning and does such connectivity support or encourage collaborative informal learning? Experienced mobile device users were recruited from web forums and business, and asked whether they used their devices to support informal learning. A pattern of learning uses emerged, some of which deployed the mobile device capabilities relatively unchanged, others triggered adaptations to typical learning activities to provide a better fit to the needs of the learner. These informal learning activities provided the basis for the design of a flexible mobile learning framework that can be extended to support developments in mobile technology, and increasing use of Web 2.0 technologies by informal learners.     

一种Web服务可信度测试方法

在深入分析Web服务不确定性的基础上,提出一种Web服务测试方法.通过引入可信度阈值进行检验,该方法对异常候选服务具有较强的抗干扰性,能够有效测试出候选服务的可信度、每个测试用例的期望标准输出及其测试能力.该方法根据可信度对候选服务进行排序,为服务使用者选择合理的Web服务提供了重要参考依据.该方法不仅可以测试单个Web服务,还能够对组合Web服务进行测试.最后,通过测试实验验证了该方法的可行性和有效性.