摘要：要素操纵引擎(Feature Manipulate Engine,FME)平台是数据信息转换工具,以研究FME语义映射文件的组成和执行过程为基础,通过修改FME语义映射的方法,对OSM标签信息提取转换到MySQL数据库的过程进行了研究,实现OSM数据标签信息的快速、高效的提取转换。根据OSM的数据结构特征,设计数据库结构,在转换结果中充分体现出OSM数据键值对标签信息的特征。研究结果表明,MySQL数据库格式存储OSM属性数据信息,推动了语义特征分析的发展。

摘要：针对基于内容的发布/订阅系统中消息异构导致匹配准确率降低的问题,本文通过定义事件和订阅属性间的语义关系,利用语义转换模块,提出一种支持语义的发布/订阅系统的设计方法,并将其应用于SINEA发布订阅系统中。实验结果表明,该方法可在一定程度上支持语义异构,提高匹配的准确度。

摘要：规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的建模。使用模型检验技术对SDL进行分析和验证可以检测出模型中的逻辑错误,大大提高SDL建模结果的精确性。论文研究了SDL的形式化语义SDL/PR中常用部分与模型检验工具SPIN的输入语言Promela之间的语义映射规则,并以此为基础开发了一个基于SPIN内核的SDL模型检验器SSMC Tool。