基于接口自动机的列车通信设备测试用例生成

列车通信设备是一种嵌入式系统。有效地测试这类设备是列车运行系统质量保证的重要手段。嵌入式系统测试的重要任务之一是有效地生成测试用例。文中提出基于接口自动机(Interface Automata)技术自动生成列车通信设备的测试用例。现有的接口自动机技术只支持同步消息的发送与接收,而列车通信设备还需要处理异步消息的发送与接收。为此,文中对接口自动机理论进行了扩展,以便支持列车通信设备异步消息通信的需求。依据列车通信网络的规范,文中使用扩展了的接口自动机对列车通信模块及通信模块的组合作了形式化建模,依据测试覆盖准则,自动生成测试序列,并利用模型驱动技术自动生成测试脚本。文中比较了手工生成测试用例方法及所提出的自动生成测试用例技术,展示后者从测试覆盖、时间节约方面的有效性。     

决策表的属性约减算法综述

介绍决策表的基本概念,分析决策表冲突条件以及判定条件组合爆炸的问题,明确决策表冲突检测属性约减的必要性。从本质描述、算法分类、算法效率等几个方面,对决策表冲突检测算法和属性约减算法进行了系统的综述和比较。最后,探讨了决策表的构建、效率、应用规模等6个属性约减研究的热点问题。     

对等模式下语义Web服务发布与发现技术综述

在面向服务的计算中,服务发现是关键。服务发现是在因特网范围内Web服务自动组合、应用即时构造的基础,近年来被学术和工业界广泛关注,相关技术层出不穷。针对Web服务发布发现技术当前研究成果,进行了系统的归纳分类。重点从关键字匹配和语义特征发布两个角度,对对等环境下W cb服务发布发现技术的主要研究工作进行了论述。最后归纳出对等环境下语义Wcb服务发布的一般特征,以及未来对等环境下Wcb服务发布发现的主要研究目标、研究问题和挑战。     

基于情境感知的服务系统

The paper gives an overview of a recently started research project addressing the question: Can context be exploited to add value to IT-services? Beyond today's way-finding services based on GPS and maps, we believe there is a new class of context-aware pervasive services making good use of a broad range of context information (e.g. identity, time of day, temperature, history as well as relative location of friends and belongings). Last but not least we believe one can find ways of adding value to IT-services by using disembodied conversational agents based on voice, sounds and visual signals integrated into the environment, instead of being guided by explicit directions shown on a display. The project aims at giving both new fundamental insight about the theory behind IT-services, their architecture and user interfaces and at building a number of prototypes demonstrating innovative context-aware pervasive IT-services.     

基于区块链的应用系统开发方法研究

本文从区块链的技术层面及应用层面分析其特征,并给出区块链的分类。挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析。对区块链的应用系统开发方法及区块链建模进行研究,提出了账户区块链（account blockchain,简称ABC）和交易区块链（trading blockchain,简称TBC）的双链设计模型。对智能合约进行深入剖析,提出了链上代码并行执行模型应用原则。最后对区块链应用技术进行总结和展望。