【摘 要】
：
随着针对特定领域扩展UML研究的展开,有必要进行UML扩展机制的支持技术的研究与支持扩展机制的建模工具的研制.本文提出了一种基于规则的UML元模型语法表示方法,并在此基础上
【机 构】
：
北京大学计算机科学与技术系(北京)
论文部分内容阅读
随着针对特定领域扩展UML研究的展开,有必要进行UML扩展机制的支持技术的研究与支持扩展机制的建模工具的研制.本文提出了一种基于规则的UML元模型语法表示方法,并在此基础上全面研究了模型实例化的机制,包括抽象语法实例化的推导规则与策略以及到具体语法的映射方式,从而很好地解决了UML元模型语法扩展的表示与存储以及自动实例化的问题,并为支持UML扩展机制的建模工具的研制提供了可靠的理论基础.
其他文献
本文综述了国际上几家公司在微处理器设计中所采用的系统级验证方法,介绍了用于创建系统级模拟验证平台的新工具TestBuilder,及其在建立微处理器系统级模拟验证平台中的应用.
2001年,我国开启了第八轮国家基础教育课程改革.四川省广元市利州区教育人积极投身改革浪潮,不忘责任使命,勇于担当作为,以学生的发展为出发点和归宿,探寻将课改理念与本土实
本文通过对ROM、PLA的电路结构进行分析,总结了已有的在进行逻辑模拟时常用的几种ROM或PLA的电路的逻辑图生成方法,提出了一种针对ROM或PLA的电路逻辑图的快速高效生成方法.
第八轮基础教育课程改革经历十七年,笔者不止一次听到“课改能否成功”的疑问. 个人认为,从成功与否的角度去讨论课程改革,思维显得有些简单. 任何一场改革,都会有漫长的尝试
在当前的课改深化期,作为一名普通教师,回顾十多年课改历程,我感受到的是这轮课改给教育带来一场深刻的变革更新了教师的教育观念,改变了教师的教学行为,促进了教师的专业化
在GML空产信息集成中,由于GML数据可能来自不同的数据源,它们的模式也可能不同,模式匹配是GML空间信息集成面临的最严重的挑战.本文提出一个面向空间信息集成的GML模式匹配算
本轮基础教育课程改革推行十七年,它在带给实践层面教育教学观念与行为良性变化的同时,也曾引起种种质疑与争议.质疑与争议源于人们对课改高期待下不尽如人意的现状感受. 课
本文分析了信息集成的必要性、基本方法,提出了一种基于XQUERY的信息集成模式.介绍了该模式的特点、框架和实例应用性能,并对其在业务集成(EAI)等领域的应用进行了展望.
学习语言,最重要的是学以致用. 作为一所民族学校,学生多来自民族地区,汉语属于他们的第二语言. 跟母语藏语相比, 无论是汉语的语音、语汇,还是语法,对他们而言都比较陌生.大
本文详细地论述了一种嵌入式微处理器的模型建模及其模拟过程,并基于该种嵌入式微处理器逻辑网表,对模拟测试的流程进行了具体地分析,说明.