麻志毅
- 作品数：67 被引量：548H指数：12
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信自然科学总论更多>>
- 一种面向图形化建模语言表示法的元模型被引量：20
- 2008年
- 对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.
- 何啸麻志毅邵维忠
- 关键词：元模型元建模表示法DRIVEN
- 元建模技术研究进展被引量：61
- 2008年
- 随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.
- 刘辉麻志毅邵维忠
- 关键词：元建模DRIVEN
- 一种文本理解的知识表示方法被引量：14
- 1997年
- 对自然语言文本的理解，应该把它与一定的情境联系起来。本文正是基于这样的思想，讨论了一个文本所描述的事物及其有关情境是如何在机内表示的。
- 麻志毅姚天顺
- 关键词：情境理论知识表示自然语言理解文本理解
- 一种支持多种模型转换技术的组合方法被引量：2
- 2012年
- 模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.
- 何啸麻志毅冯超邵维忠
- 关键词：模型驱动开发
- 一种随机化的软件模型生成方法被引量：3
- 2017年
- 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法,该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明:该方法与其他方法相比,具有更好的生成效率,从而更适合支持模型转换的性能测试.
- 何啸李文峰张天麻志毅邵维忠胡长军
- 演绎数据库及其实现方法的分析
- 1989年
- 演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了不少成果。本文首先讨论一下演绎数据库的理论,然后,对各种实现方法进行分类分析,并作相应的评价。
- 麻志毅
- 关键词：演绎数据库人工智能数据库
- 面向对象方法与UML被引量：8
- 2003年
- 在计算机软件产业界,目前流行使用面向对象方法和UML开发软件系统。阐述面向对象方法的现状以及UML在面向对象方法中的地位。
- 麻志毅
- 关键词：面向对象UML软件工程OMG建模语言
- 一种针对模型转换的图形化建模语言被引量：5
- 2015年
- 模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.
- 何啸麻志毅邵维忠胡长军
- 关键词：可视化建模语言模型驱动开发
- 基于UML的JBOO的研制
- 本文讨论了面向对象软件建模工具JBOO的设计和实现.本文首先介绍JBOO所支持的概念与模型,然后对JBOO的系统结构与功能进行了详细地阐述,并给出了一套具有通用性的具体实现方法.
- 麻志毅蒋严冰李劲宇戴耀飞
- 关键词：面向对象建模语言
- 文献传递
- 跨平台应用界面建模方法及装置
- 本发明实施例提供一种跨平台应用界面建模方法及装置。该方法包括：应用界面开发工具接收应用界面建模请求，依据界面建模元模型，以及第一外廓进行建模生成与目标平台标识对应的目标平台的应用界面模型；依据所述目标平台的应用界面模型生...
- 陈泓婕张崴麻志毅
