检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

JBOO软件开发过程

计算机科学 2002年第7期29卷 133-135,110页

作者：麻志毅北京大学计算机科学与技术系北京100871

1前言JBOO软件开发过程是青鸟工程中的一项重要成果,遵循青鸟面向对象软件开发规范.该规范包括了面向对象的软件开发概念与表示法、软件开发过程指导和软件开发文档编制三部分[1].该规范也是青鸟面向对象软件开发工具JBOO2.0所支持的规... 详细信息

1前言JBOO软件开发过程是青鸟工程中的一项重要成果,遵循青鸟面向对象软件开发规范.该规范包括了面向对象的软件开发概念与表示法、软件开发过程指导和软件开发文档编制三部分[1].该规范也是青鸟面向对象软件开发工具JBOO2.0所支持的规范之一.

关键词：面向对象 JBOO 软件开发过程软件系统集成化

在线全文

学校读者我要写书评

暂无评论

统一软件开发过程述评

计算机科学 2002年第1期29卷 82-86页

作者：麻志毅北京大学计算机科学与技术系北京100871

1 引言统一软件开发过程[1](Unified Software Development Process,USDP)是由统一建模语言[2.3](Unified ModeIing Languang,UML)的缔造者们提出来的,并为对象管理组织(Object Management Group,OMG)所推荐.

关键词：统一软件开发过程统一建模语言软件系统软件开发计算机

在线全文

学校读者我要写书评

暂无评论

演绎数据库及其实现方法的分析

计算机工程与应用 1989年第10期25卷 44-47页

作者：麻志毅东北工学院计算机系

演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了不少成果。本文首先讨论一下演绎数据库的理论,然后,对各种实... 详细信息

演绎数据库是人工智能技术与数据库技术相结合的产物,是数据库研究领域中引人瞩目的一个新的研究方向。我国对演绎数据库的研究始于八十年代初,至今在理论上与实现上都取得了不少成果。本文首先讨论一下演绎数据库的理论,然后,对各种实现方法进行分类分析,并作相应的评价。

关键词：演绎数据库人工智能数据库

在线全文

学校读者我要写书评

暂无评论

基于UML的分布式服务合约库系统建模

电子学报 2007年第8期35卷 1425-1431页

作者：麻志毅邹艳珍北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室北京100871

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述... 详细信息

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.

关键词：分布式服务合约库系统元模型 UML建模

在线全文

学校读者我要写书评

暂无评论

一种面向服务的体系结构参考模型

计算机学报 2006年第7期29卷 1011-1019页

作者：麻志毅陈泓婕北京大学信息科学技术学院软件工程研究所北京100871

在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参... 详细信息

在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．

关键词：面向服务的体系结构体系结构参考模型成熟度模型

在线全文

学校读者我要写书评

暂无评论

UML系统模型的组织

计算机工程 2002年第4期28卷 287-288,F003页

作者：麻志毅北京大学计算机科学与技术系北京100871

用UML对系统建模,可能要产生大量的描述系统模型的制品。说明了如何从系统的观点组织模型,并阐述了系统、子系统、视图和模型间的关系。

关键词：统一建模语言组织视图 UML语言系统模型

在线全文

学校读者我要写书评

暂无评论

一种面向图形化建模语言表示法的元模型

软件学报 2008年第8期19卷 1867-1880页

作者：何啸麻志毅邵维忠北京大学信息科学技术学院

对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表... 详细信息

对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.

关键词：元模型元建模表示法图形建模语言 MDA(model driven architecture)

在线全文

学校读者我要写书评

暂无评论

元建模技术研究进展

软件学报 2008年第6期19卷 1317-1327页

作者：刘辉麻志毅邵维忠北京大学信息科学技术学院软件研究所

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多... 详细信息

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.

关键词：元建模元模型 UML(unified modeling language) MDA(model driven architecture)

在线全文

学校读者我要写书评

暂无评论

模型转换中特性保持的描述与验证

软件学报 2007年第10期18卷 2369-2379页

作者：刘辉麻志毅邵维忠北京大学信息科学技术学院软件研究所

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这... 详细信息

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.

关键词：模型转换特性保持行为保持重构演化 MDA