论文部分内容阅读
本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.
软件体系结构模型的范畴表示
【摘 要】
：
本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础
【机 构】
：
海军工程大学电子工程学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年z2期
【基金项目】
：
国家自然科学基金资助项目(60473066)
其他文献
针对"互联网+"时代"互联网+教育"的发展趋势,分析了"互联网+教育"的特点,阐述了传统教育方式的改革势在必行;结合应用型本科实际,联系传统《机械CAD/CAM技术》教学方式存在的
目的:探讨加味身痛逐瘀汤防治去卵巢大鼠骨质疏松症(OP)的疗效及其可能作用机制。方法:将60只SD大鼠,体重(245±25)g,随机分为假手术组、模型组、戊酸雌二醇组、加味身痛
歌唱是一种特殊的语言表达方式,绘声绘色的朗诵可以帮助学生熟悉和理解歌词。抑扬顿挫的朗诵可以帮助学生体会气息,有气息支撑和控制的演唱;字正腔圆的朗诵能够帮助学生准确
冯诺曼机器以提高处理器频率增强性能，多处理器环境当中的系统性能决定于使更多处理器协同工作。通信带宽是高性能计算系统的首要瓶颈。本文提出一种芯片间通信的神经脊，把数以
制造业在我国市场经济中占据重要地位,但我国制造业表现出“大而不强”的特点,激烈的竞争环境挤占了我国制造业的利润空间。通过技术领先达到产品质量的高端,以及不断追求产
在现今这个大数据的时代,对数据的收集以及整理变得十分重要。而财会专业的学生也是在大数据时代成为重要的人才。但是在现在这个社会中,高职财会专业的实训课程有着明显的不
本文分析了分布对象系统的开放特性,以及由此而产生的分布式应用中服务对象的访问与管理问题;介绍了分布对象管理结构OMA和CorbaScript脚本语言.在此基础之上,详述了如何采用
信息交流是信息社会中普遍的现象,信息交流技术目前已有许多.现有的数据库信息网上发布和集成方法还存在许多缺点,本文针对这些缺点提出了新的发布模型,很好地解决了异构数据
近些年来，随着信息、科学技术的飞速发展，民办高校大学生的综合素质有了明显的提高，但人文素质的很多方面仍有待于加强．因此，作为高等院校重要组成部分的民办高校在大学生人文素质