【摘 要】
：
在Java软件结构中,诠释是一种新的编程语言成分,目前得到广泛关注.但从诠释的可视化建模来看,UML2元模型并不支持诠释建模,而且已有的Java元模型存在若干突出问题:关系混淆、语义二义性、不能完整支持面向Aspect建模.本文尝试对已有的Java元模型进行改进,采用了模型重构方法,借鉴了UML2元模型设计.并根据MOF规范重建元模型.改进后的元模型能够正确反映诠释语义而避免二义性,也能更全面地支
【机 构】
：
南京理工大学计算机科学与技术学院,江苏 南京 210094
【出 处】
：
2008年中国计算机学会体系结构专委会学术年会(ACA08)
论文部分内容阅读
在Java软件结构中,诠释是一种新的编程语言成分,目前得到广泛关注.但从诠释的可视化建模来看,UML2元模型并不支持诠释建模,而且已有的Java元模型存在若干突出问题:关系混淆、语义二义性、不能完整支持面向Aspect建模.本文尝试对已有的Java元模型进行改进,采用了模型重构方法,借鉴了UML2元模型设计.并根据MOF规范重建元模型.改进后的元模型能够正确反映诠释语义而避免二义性,也能更全面地支持面向Aspect建模.
其他文献
本文针对网络安全内涵发生的根本变化就网络的安全性及其实现方法以及在实现的过程中需要注意的若干问题进行了较为深入的探讨.
本文介绍了计算机核心软件系统BIOS的基本概念,总结了BIOS系统目前的发展状况和今后的发展趋势,并对计算机BIOS系统的安全问题进行了讨论.
根据中国互联网络信息中心(CNNIC)在京发布"第十七次中国互联网络发展状况统计报告",我国上网人数到2006年初已经超过1.11亿,其中上网计算机达4950万,随着宽带技术的推广和宽带费用的降低,越来越多的个人计算机接入互联网;虽然在个人电脑安装了杀毒软件以及防火墙,但个人银行帐号、游戏账号、电子邮箱账号等被盗,资料丢失,个人计算机感染病毒木马也越来越多,使用户蒙受了巨大经济损失.本文就计算机网
可信计算是信息安全领域的一个新分支,越来越受到人们的重视,本文分析了可信计算技术当前的发展状况和关键技术,分析可信计算领域当前存在的问题,并指出了与国外存在的差距.
通过对计算机病毒的分析,通过对病毒的分析,提出解决方案,计算机病毒是指编制或者在计算机程序中插入的破坏计算机功能或者毁坏数据,影响计算机使用,并能自我复制的一组计算机指令或者程序代码.计算机病毒可以分为系统病毒、蠕虫病毒、木马病毒、黑客病毒、脚本病毒、宏病毒、后门病毒、病毒种植程序病毒、破坏性程序病毒、玩笑病毒和捆绑机病毒等.只有正确认识和区分各种病毒的组成特征和破坏性才能有效地进行反病毒技术的更
加强政府网站建设,是推进政府管理方式创新,建设服务型政府的重要举措,对于促进政务公开,改进公共服务,提高行政效能,便于公众知情、参与和监督都具有重要意义.但是目前政府网站系统安全策略的配置、补丁的及时更新、网络安全产品的部署、防病毒软件的升级方面还存在一些问题,网站数据备份意识薄弱等,必将给网站运行带来很大的安全隐患.因此,政府网站安全防护体的建设就是摆在我们面前必须要解决的难题.
本文主要对电子政务系统中信息防护评估存在的问题,提出一种新的评估方法,该方法通过证据理论的应用,较为准确的得出防护的重点,能够对政务系统的信息防护针对性地提出防护策略.另外本文结合政务系统的网络结构特点,提出不同网络结构下的信息防护策略.证据理论的方法和防护策略的结合能够有效解决政务系统中存在的信息防护问题.
HPL(High Performance LINPACK)是一种用来测试计算机浮点性能的基准测试程序,通过求解稠密线性方程组来评估计算机的浮点性能.本文分析了HPL的核心算法,并对HPL的计时系统进行改进,提出了一种新的基于计时系统的测试方法,以达到快速完成LINPACK测试的目的,实验证明这种新的测试方法很有效.
总结了相关标准对软件可信属性的定义,在现有软件可信性定义的基础上给出了军用关键软件的可信性定义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的测评技术进行了总结,综述了软件可信性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述,指出了实施军用软件可
提出一种便携式地面移动机器人综合实验平台体系结构,介绍了其软、硬件组成,并通过两个实验说明实验平台适用于相关研究人员进行算法实验,测试实际算法效果,具有通用性强、便于二次开发、模块化强等特点.