张鹏
- 作品数:13 被引量:16H指数:2
- 供职机构:吉林大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金吉林省自然科学基金中国博士后科学基金更多>>
- 相关领域:自动化与计算机技术自然科学总论更多>>
- 一种服务消息交互行为的元建模方法
- 2017年
- 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
- 周文博刘洪佳刘磊张鹏张鹏
- 关键词:元建模工作流模型形式语义
- 智能规划的逻辑编码求解性能分析
- 2012年
- 将SAT问题的编码和求解过程联合起来进行研究,提出了逻辑编码求解性能分析模型,利用该模型对国际标准规划域Logistic域和Blocks World域中的问题进行实验研究,并对实验结果中大量数据进行分析,进而分析逻辑编码的特性与求解效率的关系.实验结果表明逻辑编码的编码方式、编码规模以及规划图的扩展程度影响逻辑编码的求解效率.
- 陈爱华吕帅刘磊张鹏
- 关键词:命题逻辑
- 基于ECPMR的编译器测试方法
- 2017年
- 提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。
- 刘磊刘利娟吴新维张鹏
- 关键词:计算机系统结构程序切片
- Tabular表达式中正规函数表操作的形式语义
- 2019年
- 正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.
- 周文博刘磊张鹏张鹏
- 关键词:操作语义软件文档
- 块结构的程序切片方法
- 2012年
- 为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.
- 张鹏王智学吕帅张睿刘磊
- 关键词:程序切片程序块控制流分析数据流分析
- Tabular表达式的指称语义研究被引量:2
- 2014年
- Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
- 张鹏刘磊刘华虓金英
- 关键词:指称语义
- 基于演化传播模型的本体内聚程度分析
- 2011年
- 本体演化是本体工程领域的研究热点之一,当前研究大多侧重于演化策略或演化过程中使用的技术的研究,对于如何量化本体适应变化的能力至今没有明确结论,本文从一个全新的角度来解决这一问题,通过计算给定本体的内聚程度来量化本体适应变化的能力.本文提出了一种包含本体变更影响信息的演化传播模型;定义了能使该模型形式化表示的编码ETMC;基于演化传播模型和ETMC分析了影响本体内聚程度的指标,并给出了使用本体内聚度衡量本体适应变化能力的分析方法;在描述能力等价的本体上做了本体演化适应能力的判别实验,实验表明,本文提出的方法有较好的效果和实用性,可以为如何构建适应变化能力较强的本体提供理论指导.
- 刘磊张鹏吕帅张睿
- 关键词:本体演化内聚度
- 一种面向方面需求模型的分析与验证方法被引量:5
- 2013年
- 建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点模型验证的相关方法,并通过一个实例说明了文中方法的有效性.
- 金英刘华虓张鹏
- 关键词:本体
- 适用于演化过程建模的通信膜演算被引量:1
- 2018年
- 针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。
- 任俊绮刘磊张鹏
- 关键词:形式化方法通信机制形式化建模自动机软件产品线
- 基于聚类的本体块匹配方法被引量:1
- 2011年
- 提出一种新的处理n∶m映射的方法,该方法将n∶m映射问题转化为聚类问题,利用Hownet中的资源使本体中的实体基于语义关系聚合,并重新给出了查全率和查准率的计算公式.使用Hownet及其相关工具对OAEI组织给出的一组本体对进行实验,实验结果表明,该方法对块匹配问题效果较好.
- 张鹏杨峰吕帅刘磊
- 关键词:本体映射块匹配聚类