基于原子动作的BML动作语义标注方法研究

作战管理语言(Battle Management Language,BML)是一种实现指控与仿真系统间无歧义通信的标准语言规范,其目标是从根本上解决指控与仿真系统之间的互操作问题。针对当前作战管理语言命令缺乏语义信息,不能被仿真模型有效理解和执行的问题,提出了动作映射、原子动作标签的概念,设计了一种基于原子动作的动作语义标注方法。实验表明,该方法有效地实现了仿真模型对命令中动作语义的理解。

一种基于校准的模型问题域识别方法

以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。

Web服务组合可适配性自动判定研究

Web服务的异构性导致Web服务组合经常出现失配现象,Web服务适配是解决失配的问题的可行方法,而可适配性是能够进行适配的前提,本文提出基于动作映射的Web服务组合自动化可适配分析方法.首先,构造包含语法、语义和行为协议的SxSTS模型来全面刻画Web服务;其次,基于参数本体概念兼容建立参数映射并依据参数映射结果建立动作映射关系;再次,通过检查所有请求动作都有对应接收动作并且接收动作中不存在缺失的参数判定可适配性;最后,通过实例说明了方法的有效性.