SFCDSL:一种服务功能链领域专用语言

1

作者 阮宏玮 李华 王显荣 《小型微型计算机系统》 CSCD 北大核心 2022年第5期1114-1120,共7页

为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软... 为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软件定义SF和面向对象的SFC形式化定义,在此基础上重点分析了SFCDSL的对象关系设计和风格设计,之后以实现的北向扩展ETSI NFV环境的Intent和南向基于Floodlight SDN的SFC框架原型,结合典型需求实例说明了SFCDSL语言可用性、可演化性和可扩展性优势,最后与其它SFC技术进行了分析对比. 展开更多

关键词 服务功能链 领域专用语言 形式化

在线阅读 下载PDF 职称材料

基于领域专用语言的应用软件自动生成 被引量：6

2

作者 周艳明 《计算机工程与应用》 CSCD 北大核心 2003年第10期124-127,共4页

在领域专用语言、领域专用库和应用产生器的基础上,提出一种自动生成应用软件的设计框架,详细论述了该设计框架的设计原理和具体的实现过程。该设计框架由三级组成:首先设计一种该应用领域的领域专用语言,它将该应用领域的应用系统作为... 在领域专用语言、领域专用库和应用产生器的基础上,提出一种自动生成应用软件的设计框架,详细论述了该设计框架的设计原理和具体的实现过程。该设计框架由三级组成:首先设计一种该应用领域的领域专用语言,它将该应用领域的应用系统作为领域分析的对象,语言上集数据、功能和界面于一体;其次实现该应用领域的一个领域专用库,它提供应用系统级的复用;在这两者的基础上,最后实现一个集工具、语言和库于一体的可视化应用产生器,用它可以快速地开发完整的应用软件。已成功地将该设计框架运用于GIS应用系统领域。用应用产生器开发应用软件,不仅加强了应用系统开发过程的集成,提高了软件的开发效率,实现了软件过程的复用,而且达到了系统级的软件复用。 展开更多

关键词 领域专用语言 应用软件 自动生成 软件设计 计算机 领域专用库 软件复用 地理信息系统

在线阅读 下载PDF 职称材料

一种基于DSL的服务组合语言 被引量：3

3

作者 胡海涛 刘颖 《计算机工程》 CAS CSCD 北大核心 2011年第9期107-109,共3页

针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web... 针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。 展开更多

关键词 面向服务架构 领域专用语言 企业服务总线 组合引擎

在线阅读 下载PDF 职称材料

基于DSL的装备保障领域建模 被引量：3

4

作者 王金全 郑宇军 王侃 《计算机工程》 CAS CSCD 北大核心 2008年第2期66-68,71,共4页

基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。

关键词 需求工程 领域专用语言 装备保障 模型转换

在线阅读 下载PDF 职称材料

领域专用低延迟高带宽TCP/IP卸载引擎设计与实现 被引量：11

5

作者 冯一飞 丁楠 +1 位作者 叶钧超 柴志雷 《计算机工程》 CAS CSCD 北大核心 2022年第9期162-170,共9页

针对量化高频交易应用场景对数据传输低延迟高带宽的需求,定制一种领域专用的TCP/IP协议栈,并将其卸载到专用硬件加速模块上。采用模块化设计实现专用硬件逻辑,并与FAST协议硬件加速模块共同构成完整的低延迟高带宽高频交易系统。通过... 针对量化高频交易应用场景对数据传输低延迟高带宽的需求,定制一种领域专用的TCP/IP协议栈,并将其卸载到专用硬件加速模块上。采用模块化设计实现专用硬件逻辑,并与FAST协议硬件加速模块共同构成完整的低延迟高带宽高频交易系统。通过调整最大报文长度,实现64 Byte数据对齐,提升内核与高带宽内存(HBM)间的读写速率,并对内存结构进行优化,实现主机端与HBM间的4通道并行读写管理。对各功能模块进行数据流优化,最终构建全流水线架构。模块间统一使用AXI4-Stream接口连接,并绕过内存进行数据传输,实现传输性能的提升。实验结果表明,TCP/IP卸载引擎在Xilinx Alevo U50数据中心加速卡上可获得38.28 Gb/s的网络吞吐率,基础网络通信穿刺延迟最低为468.4 ns,在叠加FAST解码协议后延迟为677.9 ns,与传统软件处理网络堆栈(Intel i9-9900x+9802BF)的方式相比,TCP/IP引擎的吞吐率提升1倍,延迟降低为1/12,且延迟稳定,波动范围在10 ns左右,在满足量化高频交易场景需要的同时,有效减轻了CPU的负载。 展开更多

关键词 领域专用 传输控制协议/互联网协议卸载引擎 高带宽低延迟 可编程逻辑门阵列 开放运算语言

在线阅读 下载PDF 职称材料

图形化PDDL语言编译系统的设计与应用

6

作者 张忠坤 林泓宇 +2 位作者 谭智元 邢明杰 武延军 《计算机工程与设计》 北大核心 2024年第2期626-632,共7页

针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不... 针对当前PDDL开发存在的编辑复杂和文本可读性差等问题,设计一个图形化PDDL在线编辑工具和相应的编译系统Graph Compiler。Graph Compiler结合领域专用编译技术和ChatGPT模型,实现从自然语言到图形化PDDL的自动化生成。系统支持编译不同版本的PDDL语言,提供相应版本的语法分析,将PDDL规划结果转换为ROS的话题消息,为机器人行动提供具体的动作指令。实验结果表明,Graph Compiler在多届IPC的多版本PDDL测试用例上,编译成功率达到100%;也可以应用在ROS项目中,通过具体的动作序列指导机器人行动。 展开更多

关键词 规划领域定义语言 编译系统 领域专用编译技术 自然语言 自动化生成 语法分析 机器人操作系统

在线阅读 下载PDF 职称材料

基于元建模的雷达电子战仿真语言研究与应用 被引量：8

7

作者 张鸿喜 张静瑜 +1 位作者 张志勇 何浩 《系统仿真学报》 CAS CSCD 北大核心 2012年第2期269-274,共6页

基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制... 基于元建模技术的领域建模语言(DSL)及其支撑环境可以大幅度提高软件的开发效率和可维护性。基于面向领域的设计思想,提出了雷达电子战仿真语言的技术架构,包括服务层、工具层、模型层和应用层;设计了支持模型开发全过程的六级建模机制和相应的模型功能体系。结合应用实例介绍了雷达电子战建模语言的实现方法,开发了支持多类型代码自动生成的模型解析器;采用信息总线和计算总线相结合的方法,实现了模型驱动平台。最后对该仿真语言的应用特征作了介绍。 展开更多

关键词 元建模 元模型 雷达电子战 领域建模语言(dsl) 模型驱动架构(MDA)

在线阅读 下载PDF 职称材料

面向分组密码算法的程序设计语言研究 被引量：4

8

作者 李凤华 阎军智 +2 位作者 谢绒娜 马建峰 欧海文 《电子学报》 EI CAS CSCD 北大核心 2009年第12期2705-2710,共6页

本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说... 本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具. 展开更多

关键词 领域专用语言 分组密码算法程序设计语言 DES密码算法

在线阅读 下载PDF 职称材料

面向代理重加密算法的程序设计语言研究 被引量：2

9

作者 苏铓 俞研 +1 位作者 吴槟 付安民 《通信学报》 EI CSCD 北大核心 2018年第6期89-97,共9页

通过结合领域专用语言(DSL),提出一种面向代理重加密的程序设计语言(PLPRE),PLPRE支持代理重加密算法结构明确、类似数学语言的描述,算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述,并通过解析工具最终产生与之对应的计算机... 通过结合领域专用语言(DSL),提出一种面向代理重加密的程序设计语言(PLPRE),PLPRE支持代理重加密算法结构明确、类似数学语言的描述,算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述,并通过解析工具最终产生与之对应的计算机编程语言代码。首先介绍了PLPRE的语法规范,给出了关键字、程序逻辑的定义,并以ACC-PRE算法为基础,给出了PLPRE的描述示例,其次描述了基于ANTLR工具的PLPRE的解析与实现流程,最后通过与相关工作的对比,阐述了PLPRE的优势。PLPRE的描述不需要关注数据结构、内存管理等问题,适用于不熟悉计算机编程的密码学家的描述算法,从而降低代理重加密算法研究中的设计与实现偏差。 展开更多

关键词 代理重加密 领域专用语言 ANTLR 算法描述 密码算法实现

在线阅读 下载PDF 职称材料

基于DSL优化脑瘫康复智能训练系统 被引量：1

10

作者 卢振利 王红 +9 位作者 马志鹏 沈玄霖 Marko Pencic 刘燕 单长考 赵宇 Roumiana Ilieva Tomaz Kosar Marjan Horvat Marjan Mernik 《高技术通讯》 CAS 2021年第7期773-780,共8页

本文针对脑瘫患儿差异化康复训练方案难于定制的问题,基于领域特定语言(DSL)优化了脑瘫康复系统架构。根据专家给出的脑瘫患儿训练计划,在Eclipse平台的Xtext构建了控制机械手完成手势动作所需要的领域模型,并且完成了对该领域模型的实... 本文针对脑瘫患儿差异化康复训练方案难于定制的问题,基于领域特定语言(DSL)优化了脑瘫康复系统架构。根据专家给出的脑瘫患儿训练计划,在Eclipse平台的Xtext构建了控制机械手完成手势动作所需要的领域模型,并且完成了对该领域模型的实现,将其成功用于机械手辅助脑瘫康复动作训练系统中,使得理疗师等非编程技术人员能够为脑瘫患儿康复定制训练方案。 展开更多

关键词 脑瘫 康复训练 领域特定语言(dsl) 智能系统

在线阅读 下载PDF 职称材料

一种包解析器硬件配置描述语言及其编译结构 被引量：1

11

作者 李璜华 李凌 +2 位作者 赵宇 王生原 李翔宇 《软件学报》 EI CSCD 北大核心 2020年第8期2285-2308,共24页

设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本... 设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此,实现P3C的可信编译结构将对SDN的安全性具有重大意义.期待P3C项目的开展能够促进网络与形式化领域相关工作的进一步研究. 展开更多

关键词 领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络

在线阅读 下载PDF 职称材料

基于模型驱动的密码算法可视化开发平台研究 被引量：1

12

作者 肖超恩 刘昌俊 +2 位作者 董秀则 王建新 张磊 《密码学报（中英文）》 CSCD 北大核心 2024年第2期357-370,共14页

针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码... 针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性. 展开更多

关键词 密码算法实现 模型驱动 领域专用语言(dsl) 代码生成技术

在线阅读 下载PDF 职称材料

模板运算代码的自动生成与调优框架 被引量：1

13

作者 刘金硕 文尧 《计算机工程》 CAS CSCD 北大核心 2024年第6期35-47,共13页

针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统... 针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统一计算设备架构(CUDA)核函数,同时根据单GPU或多GPU环境生成不同的主机端代码。在代码调优阶段,根据不同的GPU型号确定候选参数范围,动态调用生成的CUDA核函数以确定最优参数。在多GPU的情况下,自动生成的主机端代码能够使用计算与通信重叠的方法进行边界数据交换。在4种不同的GPU与7、13、19、27点模板运算中,该框架能找到最优的参数配置。实验结果表明,对于Tesla V100-SXM2,以调优过的参数进行模板运算,该框架在单精度4种模板运算下的每秒万亿次浮点运算数(TFLOPs)分别为1.230、1.680、1.120、1.480,在双精度下分别为0.690、1.010、0.480、1.470,平均性能达到手工优化代码的98%,并且描述更简单,支持多GPU扩展。 展开更多

关键词 模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优

在线阅读 下载PDF 职称材料

地理信息软件自动生成系统 被引量：3

14

作者 周艳明 廖湖声 +1 位作者 王晋强 郑玉明 《计算机工程》 CAS CSCD 北大核心 2003年第11期46-48,共3页

为了加强GIS应用系统开发过程的集成,提供一致的数据表示和统一的界面描述, 文章提出了一种新型的地理信息软件自动生成系统GBuilder?用GBuilder可以快速开发一个 完整的GIS应用系统,加强了GIS应用系统开发过程的集成,提高了开发效率,... 为了加强GIS应用系统开发过程的集成,提供一致的数据表示和统一的界面描述, 文章提出了一种新型的地理信息软件自动生成系统GBuilder?用GBuilder可以快速开发一个 完整的GIS应用系统,加强了GIS应用系统开发过程的集成,提高了开发效率,加强了软件过 程的复用,为GIS软件开发提供了新的方法与工具? 展开更多

关键词 应用生成器 地理信息系统 领域专用语言 可视化编程 软件复用

在线阅读 下载PDF 职称材料

基于P4的可编程数据平面研究及其应用 被引量：36

15

作者 林耘森箫 毕军 +4 位作者 周禹 张程 吴建平 刘争争 张乙然 《计算机学报》 EI CSCD 北大核心 2019年第11期2539-2560,共22页

可编程协议无关报文处理(Programming Protocol-Independent Packet Processors,P4)使网络管理员能够定制交换机的数据包转发行为,提升了数据平面的可编程能力与报文处理的灵活性,从而很容易实现新功能、支持新协议,减少了开发周期与开... 可编程协议无关报文处理(Programming Protocol-Independent Packet Processors,P4)使网络管理员能够定制交换机的数据包转发行为,提升了数据平面的可编程能力与报文处理的灵活性,从而很容易实现新功能、支持新协议,减少了开发周期与开发成本,为解决当前网络体系结构中长期存在的挑战以及设计新型数据平面功能提供了一种新的解决方案.并且,将一些原本由中间件实现的网络功能、端服务器实现的应用卸载到可编程数据平面上,还能获得可观的性能收益,提升网络与应用的整体表现.本文首先概述了可编程数据平面的发展历史与P4的研究背景.接着,本文介绍了P4语言及其架构,包括P4语言的设计目标、P4抽象转发模型、工作流程、P4语法要素.然后,本文总结了目前P4语言在语法、功能、标准规范等方面存在的问题,并将P4语言与其他数据平面编程语言进行了简要对比.之后,本文介绍了基于P4的可编程数据平面的最新研究进展,包括对异构平台的兼容、编译器的设计和优化、开发工具的设计和实现等方面.此外,本文从负载均衡、网络测量、网络安全等方面展现了学术界与工业界基于P4与可编程数据平面作出的应用成果.紧接着,本文探讨了满足什么条件的网络功能与终端应用才应该被卸载到数据平面上执行,为读者今后的研究提供参考.最后,本文探讨了未来P4研究工作的趋势与亟待解决的若干问题. 展开更多

关键词 软件定义网络(SDN) 可编程协议无关报文处理(P4) 可编程数据平面 领域特定语言(dsl) 编译器

在线阅读 下载PDF 职称材料

FPGA加速系统开发工具设计:综述与实践 被引量：6

16

作者 刘焰强 戚正伟 管海兵 《软件学报》 EI CSCD 北大核心 2020年第10期3087-3099,共13页

近年来,现场可编程逻辑门阵列(FPGA)在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发,利用软硬件各自开发工具分别开发再集成的传统开发方式具... 近年来,现场可编程逻辑门阵列(FPGA)在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发,利用软硬件各自开发工具分别开发再集成的传统开发方式具有学习门槛高,集成、测试、部署耗时长等缺陷,开发人员难以利用FPGA可快速重配置的特点来实现系统开发过程中的快速原型和快速迭代.如何让硬件加速系统的开发利用到现代软件工程和程序语言领域的成果,研究者们经历了长期的探索,首先根据相关研究总结了硬件及硬件加速系统开发工具设计的历史教训和成功经验,然后介绍设计实践,最后进行总结并提出对未来的展望. 展开更多

关键词 FPGA 领域专用编程语言 软/硬件协同开发 硬件描述语言 高层次综合

在线阅读 下载PDF 职称材料

面向深度学习算子的循环不变式外提算法 被引量：1

17

作者 梁佳利 华保健 +1 位作者 吕雅帅 苏振宇 《计算机科学与探索》 CSCD 北大核心 2023年第1期127-139,共13页

TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环... TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环内这些计算包含了大量的循环不变式。然而,传统的循环不变量外提技术不能判断不变量外提是否能带来额外收益,无法发现操作数顺序不同的循环不变表达式,不能处理嵌套的条件表达式,并且与目标平台编译器优化存在冲突等。由于这些挑战,传统的循环不变量外提算法无法直接用于深度学习编译器的优化,提出了一种融合深度学习代价函数和启发式策略的循环不变量外提算法。该算法基于深度学习编译器的高层中间表示,通过调整操作数顺序和简化嵌套条件表达式等方法规范化表达式。为了衡量优化的收益,在结合TVM IR和目标平台的特点的基础上,提出了一个新的面向深度学习的不变式外提代价指标函数。在开源编译器TVM 0.7版本上,通过新增优化遍的形式,具体实现了所介绍的算法以及代价函数。为评测算法的有效性,在Tesla P4的图形处理器(GPU)平台上对TVM TOPI的测试算子集中27个典型算子不同输入规模的511个测例进行了测试。实验结果表明47.6%的算子性能得到提升,最大加速比大于40.0%。 展开更多

关键词 深度学习编译器 领域专用语言 循环不变量外提 中间表示

在线阅读 下载PDF 职称材料