题名 基于领域专用语言的应用软件自动生成
被引量：6
1
作者
周艳明
机构
北京工业大学计算机学院
出处
《计算机工程与应用》
CSCD
北大核心
2003年第10期124-127,共4页
基金
国务院9202工程 北京市教委科技发展计划资助
文摘
在领域专用语言、领域专用库和应用产生器的基础上,提出一种自动生成应用软件的设计框架,详细论述了该设计框架的设计原理和具体的实现过程。该设计框架由三级组成:首先设计一种该应用领域的领域专用语言,它将该应用领域的应用系统作为领域分析的对象,语言上集数据、功能和界面于一体;其次实现该应用领域的一个领域专用库,它提供应用系统级的复用;在这两者的基础上,最后实现一个集工具、语言和库于一体的可视化应用产生器,用它可以快速地开发完整的应用软件。已成功地将该设计框架运用于GIS应用系统领域。用应用产生器开发应用软件,不仅加强了应用系统开发过程的集成,提高了软件的开发效率,实现了软件过程的复用,而且达到了系统级的软件复用。
关键词
领域专用语言 应用软件 自动生成 软件设计 计算机 领域 专用 库软件复用 地理信息系统
Keywords
Domain Specific Language,Application Generator,Domain Specific Library,Software Reuse,GIS
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
P208
[天文地球—地图制图学与地理信息工程]
题名 SFCDSL:一种服务功能链领域专用语言
2
作者
阮宏玮 李华 王显荣
机构
内蒙古大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第5期1114-1120,共7页
基金
国家自然科学基金项目(61862047)资助 内蒙古科技计划项目(201802028,2020GG0186)资助 内蒙自然科学基金项目(2018BS06001)资助。
文摘
为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软件定义SF和面向对象的SFC形式化定义,在此基础上重点分析了SFCDSL的对象关系设计和风格设计,之后以实现的北向扩展ETSI NFV环境的Intent和南向基于Floodlight SDN的SFC框架原型,结合典型需求实例说明了SFCDSL语言可用性、可演化性和可扩展性优势,最后与其它SFC技术进行了分析对比.
关键词
服务功能链 领域专用语言 形式化
Keywords
SFC DSL formalization
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 面向分组密码算法的程序设计语言研究
被引量：4
3
作者
李凤华 阎军智 谢绒娜 马建峰 欧海文
机构
北京电子科技学院研究生处 西安电子科技大学计算机网络与信息安全教育部重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第12期2705-2710,共6页
基金
国家863高技术研究发展计划(No.2007AA012472 2007AA012429 +7 种基金 2007AA012482) 国家自然科学基金(No.60633020 60702059) 教育部重点项目(No.209156) 北京市自然科学基金(No.4082028 4102056) 天津科技攻关计划项目(No.06YFGZGXl7500) 北京电子科技学院信息安全重点实验室基金(No.YZDJ0807)
文摘
本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.
关键词
领域专用语言 分组密码算法程序设计语言 DES密码算法
Keywords
domain specific language programming language for the block cipher algorithm DES
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
题名 面向代理重加密算法的程序设计语言研究
被引量：2
4
作者
苏铓 俞研 吴槟 付安民
机构
南京理工大学计算机科学与工程学院 中国科学院信息工程研究所信息安全国家重点实验室 中国科学院大学网络空间安全学院
出处
《通信学报》
EI
CSCD
北大核心
2018年第6期89-97,共9页
基金
国家自然科学基金资助项目(No.61702266 No.U1536202 +6 种基金 No.61572255) 江苏省自然科学基金资助项目(No.BK20150787 No.BK20141404) 北京市自然科学基金资助项目(No.4152048) 中国科学院信息工程研究所基础前沿基金资助项目(No.Y7Z0391102) 中国科学院关键技术人才基金资助项目 信息安全国家重点实验室重点布署基金资助项目(No.Y7D0061102)~~
文摘
通过结合领域专用语言(DSL),提出一种面向代理重加密的程序设计语言(PLPRE),PLPRE支持代理重加密算法结构明确、类似数学语言的描述,算法设计人员通过PLPRE能够实现重加密算法快捷、方便的描述,并通过解析工具最终产生与之对应的计算机编程语言代码。首先介绍了PLPRE的语法规范,给出了关键字、程序逻辑的定义,并以ACC-PRE算法为基础,给出了PLPRE的描述示例,其次描述了基于ANTLR工具的PLPRE的解析与实现流程,最后通过与相关工作的对比,阐述了PLPRE的优势。PLPRE的描述不需要关注数据结构、内存管理等问题,适用于不熟悉计算机编程的密码学家的描述算法,从而降低代理重加密算法研究中的设计与实现偏差。
关键词
代理重加密 领域专用语言 ANTLR 算法描述 密码算法实现
Keywords
proxy re-encryption domain specific language ANTLR description of algorithm implement of cryptography
分类号
TP302
[自动化与计算机技术—计算机系统结构]
题名 一种基于DSL的服务组合语言
被引量：3
5
作者
胡海涛 刘颖
机构
华北电力大学控制与计算机工程学院 清华大学中国语言文学系
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第9期107-109,共3页
基金
华北电力大学博士基金资助项目(200722018) 清华大学亚洲研究基金资助项目(2005C-2)
文摘
针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。
关键词
面向服务架构 领域专用语言 企业服务总线 组合引擎
Keywords
Service Oriented Architecture（SOA） Domain Specific Language（DSL） Enterprise Service Bus（ESB） composition engine
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于DSL的装备保障领域建模
被引量：3
6
作者
王金全 郑宇军 王侃
机构
工程装备系统工程研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第2期66-68,71,共4页
文摘
基于领域专用语言构建了装备保障领域的元模型,描述了实体、关系、行为、约束、流程等基本要素,在该模型中,二次开发人员能够方便地对该领域的各类软件系统进行建模,并通过模型精化来自动生成最终的可执行系统。实验证明,该模型是有效的。
关键词
需求工程 领域专用语言 装备保障 模型转换
Keywords
requirement engineering Domain-Specific Language（DSL） materiel support model transformation
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 一种包解析器硬件配置描述语言及其编译结构
被引量：1
7
作者
李璜华 李凌 赵宇 王生原 李翔宇
机构
清华大学计算机科学与技术系 北京信息科技大学理学院 清华大学微电子学研究所
出处
《软件学报》
EI
CSCD
北大核心
2020年第8期2285-2308,共24页
基金
核高基国家科技重大专项(2017ZX01030-301-003)。
文摘
设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此,实现P3C的可信编译结构将对SDN的安全性具有重大意义.期待P3C项目的开展能够促进网络与形式化领域相关工作的进一步研究.
关键词
领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络
Keywords
domain-specific language reconfigurable packet parser formal semantics trustworthy compiler software-defined networking
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 基于模型驱动的密码算法可视化开发平台研究
被引量：1
8
作者
肖超恩 刘昌俊 董秀则 王建新 张磊
机构
北京电子科技学院
出处
《密码学报（中英文）》
CSCD
北大核心
2024年第2期357-370,共14页
基金
中央高校基本科研业务费(328202205) 北京电子科技学院基本科研业务费优硕培养类课题(328202271)。
文摘
针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性.
关键词
密码算法实现 模型驱动 领域专用语言 (DSL)代码生成技术
Keywords
cryptography algorithm model driven domain specific language code generation technology
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
题名 模板运算代码的自动生成与调优框架
9
作者
刘金硕 文尧
机构
武汉大学国家网络安全学院空天信息安全与可信计算教育部重点实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2024年第6期35-47,共13页
基金
国家重点研发计划(2020YFA0607900)。
文摘
针对现有模板代码生成方法不支持多图形处理器(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扩展。
关键词
模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优
Keywords
stencil operation Compute Unified Device Architecture(CUDA) computational graph Domain Specific Language(DSL) code generation automatic tuning
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 地理信息软件自动生成系统
被引量：3
10
作者
周艳明 廖湖声 王晋强 郑玉明
机构
北京工业大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第11期46-48,共3页
基金
国务院9202工程资助项目 北京市教委科技发展计划资助项目
文摘
为了加强GIS应用系统开发过程的集成,提供一致的数据表示和统一的界面描述, 文章提出了一种新型的地理信息软件自动生成系统GBuilder?用GBuilder可以快速开发一个 完整的GIS应用系统,加强了GIS应用系统开发过程的集成,提高了开发效率,加强了软件过 程的复用,为GIS软件开发提供了新的方法与工具?
关键词
应用生成器 地理信息系统 领域专用语言 可视化编程 软件复用
Keywords
Application generator GIS Domain specific language Visual prog ramming Software reuse
分类号
P208
[天文地球—地图制图学与地理信息工程]
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 面向深度学习算子的循环不变式外提算法
被引量：1
11
作者
梁佳利 华保健 吕雅帅 苏振宇
机构
中国科学技术大学软件学院 中科寒武纪科技股份有限公司
出处
《计算机科学与探索》
CSCD
北大核心
2023年第1期127-139,共13页
基金
中国科学技术大学研究生教育创新计划项目(2020ycjc41)。
文摘
TVM是一个深度学习编译器,支持将TVM的领域专用语言即张量表达式定义的算子编译生成目标平台的代码,并在高级中间表示TVM IR上进行一系列优化。张量表达式对算子执行循环变换,产生与循环迭代变量相关的复杂表达式的计算,在多层嵌套循环内这些计算包含了大量的循环不变式。然而,传统的循环不变量外提技术不能判断不变量外提是否能带来额外收益,无法发现操作数顺序不同的循环不变表达式,不能处理嵌套的条件表达式,并且与目标平台编译器优化存在冲突等。由于这些挑战,传统的循环不变量外提算法无法直接用于深度学习编译器的优化,提出了一种融合深度学习代价函数和启发式策略的循环不变量外提算法。该算法基于深度学习编译器的高层中间表示,通过调整操作数顺序和简化嵌套条件表达式等方法规范化表达式。为了衡量优化的收益,在结合TVM IR和目标平台的特点的基础上,提出了一个新的面向深度学习的不变式外提代价指标函数。在开源编译器TVM 0.7版本上,通过新增优化遍的形式,具体实现了所介绍的算法以及代价函数。为评测算法的有效性,在Tesla P4的图形处理器(GPU)平台上对TVM TOPI的测试算子集中27个典型算子不同输入规模的511个测例进行了测试。实验结果表明47.6%的算子性能得到提升,最大加速比大于40.0%。
关键词
深度学习编译器 领域专用语言 循环不变量外提 中间表示
Keywords
deep learning compiler domain specific language loop invariant code motion intermediate representation
分类号
TP331
[自动化与计算机技术—计算机系统结构]
题名 FPGA加速系统开发工具设计:综述与实践
被引量：6
12
作者
刘焰强 戚正伟 管海兵
机构
上海交通大学软件学院
出处
《软件学报》
EI
CSCD
北大核心
2020年第10期3087-3099,共13页
基金
国家自然科学基金(61672344,61525204,61732010) 国家重点研发计划(2016YFB1000502)。
文摘
近年来,现场可编程逻辑门阵列(FPGA)在异构计算领域因其优异的可定制性和可重配置特点吸引了工业界和学术界的广泛关注.基于FPGA的硬件加速系统设计涉及到深度的软硬件协同开发,利用软硬件各自开发工具分别开发再集成的传统开发方式具有学习门槛高,集成、测试、部署耗时长等缺陷,开发人员难以利用FPGA可快速重配置的特点来实现系统开发过程中的快速原型和快速迭代.如何让硬件加速系统的开发利用到现代软件工程和程序语言领域的成果,研究者们经历了长期的探索,首先根据相关研究总结了硬件及硬件加速系统开发工具设计的历史教训和成功经验,然后介绍设计实践,最后进行总结并提出对未来的展望.
关键词
FPGA 领域 专用 编程语言 软/硬件协同开发 硬件描述语言 高层次综合
Keywords
FPGA DSL software/hardware co-design HDL HLS
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
