何啸
- 作品数：17 被引量：66H指数：4
- 供职机构：北京科技大学计算机与通信工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术政治法律经济管理更多>>
- 模型转换的构造方法与运行机制研究
- 模型驱动体系结构强调以模型为核心进行软件开发。模型转换是模型驱动体系结构的关键技术。模型转换是一种操作,能将前一个阶段产生的模型自动或半自动地转换成后续阶段所需的制品,从而更高效地推进整个开发过程。 模型转换程序是一种...
- 何啸
- 关键词：模型驱动体系结构执行引擎
- 一种面向图形化建模语言表示法的元模型被引量：20
- 2008年
- 对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.
- 何啸麻志毅邵维忠
- 关键词：元模型元建模表示法DRIVEN
- 扩展QVT Relations实现业务流程模型的转换被引量：1
- 2011年
- QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的QVT Relations可以解决流程模型转换的问题.
- 何啸麻志毅张岩邵维忠
- 关键词：模型驱动体系结构QVT
- 合同文本置标语言CTML:一种面向智能法律合约的法律信息规范化提取方法
- 2024年
- 智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法、结构、词汇的内容进行标注,实现合同要素的提取与转化.首先,构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则,基于元模型设计面向合同文本的置标语言语法规则,通过CTML完成法律信息规范化提取,形成标注合同;其次,通过递归抽象语法树(AST)并建立映射关系,设计由标注合同到智能法律合约的转换规则,完善法律合同到智能合约可执行代码的转化链条.进而,以保理合同为例,演示了合同文本置标语言的语义提取和代码生成的实际效果,为普通法律合同转化成为智能合约提供了一种技术方法.
- 范雨晴王迪林鸿杰陈娥何啸朱岩
- 关键词：置标语言代码生成
- 一种Android应用程序隐私数据泄露检测方法被引量：4
- 2020年
- 提出一种基于扩展权限组合的Android应用程序隐私数据泄露检测方法。首先扩展Kirin安全规则集,然后从源代码层和字节码层分别提取Android应用程序申请的危险权限组合,最后动态检测是否存在隐私数据泄露的情形,并开发了支持工具DroidProtector。采用一组Android应用程序进行实验评估,结果表明,该方法能检测出更多类型的隐私数据泄露问题,DroidProtector在大幅度提高隐私数据泄露检测有效性的前提下仅引入了较小的性能开销。
- 孙昌爱朱维忠李伟芳何啸
- 建模语言图形表示法的生成方法和装置
- 本发明涉及一种建模语言图形表示法的生成方法和装置，统计图形化建模语言中的图形符号中的形状出现的频率和数量信息，得到基本图元信息；对所述基本图元信息通过布局策略处理得到建模元素的图形符号信息；将所述图形符号信息和图形符号之...
- 麻志毅何啸刘辉谢冰梅宏
- 文献传递
- 一种支持多种模型转换技术的组合方法被引量：2
- 2012年
- 模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.
- 何啸麻志毅冯超邵维忠
- 关键词：模型驱动开发
- 一种随机化的软件模型生成方法被引量：3
- 2017年
- 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法,该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明:该方法与其他方法相比,具有更好的生成效率,从而更适合支持模型转换的性能测试.
- 何啸李文峰张天麻志毅邵维忠胡长军
- 一种针对模型转换的图形化建模语言被引量：5
- 2015年
- 模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.
- 何啸麻志毅邵维忠胡长军
- 关键词：可视化建模语言模型驱动开发
- 一种从UML模型到可靠性分析模型的转换方法被引量：22
- 2010年
- 以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.
- 柳毅麻志毅何啸邵维忠
- 关键词：UMLMARKOV链
