一种基于对象序列图的组件交互协议设计方法

基于组件的软件开发(component-basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被广泛采用的思想是,分离组件的功能与交互特征,使用独立部件-交互协议来协调组件之间的交互.基于这种思想,探讨运用UML(unifiedmodelinglanguage)的对象序列图(objectsequencediagram,简称OSD)方法进行组件交互协议设计的多个方面的研究,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法,并为开发组件交互协议提出了一个集成OSD可视化建模和形式分析技术的软件工具框架.     

基于模型的图形用户界面事件交互图生成方法

用户界面(GUI)测试是一项很困难的工作,一个重要的原因是背景事件会影响测试结果,基于模型的图形用户界面测试技术可以解决这个问题。目前基于模型的图形用户界面测试技术有两种常用的GUI模型:事件流图(EFG)和事件交互图(EIG)。这两种模型可以表示GUI事件之间的交互关系,其中EIG是从EFG转换而来的。通过一个简单的GUI实例对GUI中的事件进行了明确的划分,并且为适应文中的划分事件改进了原有的MX算法。最后根据GUI的事件驱动性和对GUI事件的划分提出了一种由EFG转换成EIG的新方法:驱动算法。实例表明,此方法使EFG转换成EIG的过程更简单。     

基于事件交互图的算法与研究

图形用户界面的质量直接影响整个软件系统的有效性和实用性,一般采用提取模型的方法对图形用户界面进行测试,目前常用的模型为事件流图和事件交互图,但是事件流图转换成事件交互图的算法较为复杂,为此,提出一种转换算法,对图形用户界面事件进行明确划分,利用模态窗口事件的特殊性优化原有算法。测试实例结果表明,该算法可用于图形用户界面,且与Memon算法相比,能更高效地获得更准确的数据。     

基于消息的分布式控制程序构建

从消息的角度出发提出了一种构建分布式控制程序的新方法。分布式控制程序由通过消息协作的独立分布点程序构成,分布点的独立性使其可以独立设计,通过点间的消息传递,即消息体系,连接成完整应用;提出了基于规则的独立点设计方法、用消息流图表示的消息体系以及基于内容的消息传递机制。通过对汽车行驶监控系统的设计和模拟实现表明,该构建方法降低了设计和建造系统的复杂度,更好地保证了程序的正确性;同时,使用该方法构建的系统体系结构灵活,可扩展性好。     

基于MQTT协议的物联网消息推送系统构建

在物联网技术不断发展的背景下,消息推送系统愈发先进,通过有针对性为客户提供感兴趣的消息,可以提升软件的满意度,为客户提供更加便捷的服务。消息推送系统可以把各类消息及时推送给客户端,在客户端和服务器之间构建一个长连接,并一直保持畅通状态,可以为客户及时推送感兴趣的消息。目前,物联网消息推送系统的应用范围比较广泛,发展前景广阔,已经初步形成移动互联网软件开发的基础系统,也是全球范围内的热点话题。     

基于信念绑定的安全协议消息块设计方法

为解决安全协议设计中容易忽视的信念问题,分析了安全协议中密钥新鲜性、密钥共享性和公钥归属性等信念,定义了描述这些信念的参数,最后提出了一种基于信念绑定的安全协议消息块设计方法。利用该方法来设计安全协议,可提高安全协议抗攻击的能力。     

基于MQTT协议的综合消息推送

推送技术在移动开发中被广泛使用,然而目前推送体系过于依赖网络,在网络中断或故障的情况下,会给消息推送带来极大的困扰。对目前常用的推送方式进行分析和研究,通过补充和完善MQTT推送协议,综合网络、邮件、短信等多种通信方式,优化服务器传输机制,并加入消息过滤层过滤垃圾信息,组建更为智能、高效、安全的推送系统。     

基于交互事件流模型的GUI测试用例生成

根据GUI基于事件驱动的特点,对事件流思想在GUI测试中的应用进行研究。针对事件流模型对GUI事件之间的关系描述过于薄弱,生成大量冗余测试用例的问题,在事件流模型中加入用来描述事件间交互关系的信息。同时指出事件交互的本质是事件处理程序之间的变量共享和消息传递。最后给出生成有效交互测试用例的具体算法,并在实例中验证了其有效性。     

基于拟间接依赖的过程模型挖掘方法

过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮廓建立初始模型;然后基于增量日志和拟间接依赖关系调整模型;最后根据评价标准选出最优模型。此方法特别适用于挖掘含有间接依赖的过程模型。     

基于时序约束的构件交互协议描述

基于构件的软件系统要求构件能够被正确的理解和使用,构件交互协议的描述为此提供了有效的途径。本文给出了一种基于时序的构件交互协议描述方法,通过在构件标识部分引入基于时序的交互约束,能够有效的描述构件的交互协议。     

级连层次图的网络最大流算法研究

给出一种通过构造网络级连层次图的方法,来间接求出最大网络流的算法。对于给定的有n个顶点,e条边的网络N=G,s,t,C,该算法可在On2时间内快速求出流经网络N的最大网络流及达最大流时的网络流。     

面向方面级情感分析的交互关系图注意力网络

方面级别情感分析旨在分析网络评论每个方面的情感极性;是一种细粒度的情感分析技术。已经有许多相关研究把语法依赖树与图注意力网络结合应用到该任务;取得了较好的成绩。针对以往研究忽略关系类型信息;没有充分挖掘关系类型所包含的潜在语义信息;以及忽略了依赖关系和关系类型之间的联系等问题;提出了一种基于图注意力网络的交互关系图注意力网络模型（interactive relation graph attention network;IRGAT）。该模型提取关系类型的特征信息;使其与图注意力网络提取的上下文特征信息交互学习;使它们相互联系;强化各自的特征表示能力。通过方面注意力机制融合特征;再使用分类器捕获情感分类结果。该模型在四个公开数据集上进行了实验;实验结果表明;与现有的方面级情感分析模型相比;IRGAT模型的预测准确率和MF1值分别平均提升了1.52和1.56个百分点。     

恶意软件的时序对偶数据流图挖掘及其检测方法

基于数据流图的恶意软件检测方法通常仅关注API(application programming interface)调用过程中的数据流信息,而忽略API调用顺序信息。为解决此问题,所提方法在传统数据流图的基础上融入API调用的时序信息,提出恶意软件时序对偶数据流图的概念,并给出模型挖掘方法,最后提出一种基于优化的图卷积网络对时序对偶数据流图进行分类、进而用于恶意软件检测与分类的方法。实验结果表明,所提方法的恶意软件识别准确率较传统基于数据流图的恶意软件识别方法有更好的检测效果。     

P2P多数据库系统中的事务并发控制研究

P2P多数据库系统是一种分布式的数据库系统,它是P2P计算系统和传统数据库系统的结合体.P2P计算系统的动态性使得P2P多数据库系统的事务管理缺少全局控制机制.在事务传播过程不存在循环的前提下,文章提出了一种保证P2P多数据库系统中事务全局串行化的并发控制协议,它通过控制一系列全局事务传播过程中每个熟识关系的两级串行化来实现.     

基于图卷积网络融合依存信息的事件检测方法

句子级别细粒度的事件检测任务旨在对触发词进行识别与分类。针对现有事件检测方法中存在的过度平滑及缺乏依存类型信息的问题,提出了一种基于图卷积网络融合依存信息的事件检测方法。该模型首先使用双向长短期记忆网络对句子进行编码,同时根据依存分析构建多阶句法图和依存句法图;然后利用图卷积网络融合句子的依存信息,从而有效地利用多跳信息和依存标签信息。在自动文本抽取数据集上进行实验,在触发词识别和分类这两个子任务中分别取得了81.7%和78.6%的F1值。结果显示,提出的方法能更加有效地捕获句子中的事件信息,提升了事件检测的效果。     

基于BiGCN和IAM的方面级情感分类模型

目前基于神经网络的方面级情感分类模型很少会考虑上下文单词与方面词之间的句法依存关系,可能会错误地将与方面词语法无关的上下文单词作为方面词的情感特征;另一方面大多数方法也忽略了上下文与方面词之间的交互信息。针对这两个问题,提出了基于双向图卷积网络（BiGCN）和交互注意力机制（IAM）的方面级情感分类模型（BiGCN-IAM）,该模型在句法依存树上使用双向图卷积网络提取上下文单词和方面词之间的句法依存关系,然后使用掩码层得到特定的方面词表示;最后使用交互注意力机制学习上下文与方面词之间的交互信息,同时提取了上下文中的重要情感特征和方面词中对分类有贡献的特征。通过在五个公开数据集上的实验证明,该模型效果优于基线模型。     

基于知识图谱的协议转换方法研究

互联网＋政务大数据具有跨领域、多协议、难融合的特点。在大数据采集汇聚过程中,存在多种协议转换的需求,要求网关能够实现统一协议适配转换,为多源异构数据汇聚和数据融合提供数据支撑。传统的协议转换方法通常针对特定的协议转换需求设计的,可扩展性较差,不适用于多种协议转换。该文拟通过研究分析协议报文结构及协议转换特点,提出一种协议转换知识图谱的构建方法。通过构建图谱的模式层以及数据层,建立含有协议报文结构和报文字段映射关系的协议转换知识图谱。并在此基础上提出一种基于知识图谱的协议转换方法,以实现不同协议之间的报文转换。同时,通过协议转换应用实例以及与已有协议转换方法的对比实验,验证了该方法的有效性。