检索结果-维普期刊中文期刊服务平台

反射式软件体系结构一致性研究被引量：1: 1; 作者罗巨波应时《计算机科学》 CSCD 北大核心 2010年第9期157-160,233,共5页; 给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程。; 关键词软件体系结构重用反射式软件体系结构一致性; 在线阅读下载PDF 职称材料

支持设计时重用软件的反射式软件体系结构及PMB协议研究: 2; 作者罗巨波应时《计算机科学》 CSCD 北大核心 2010年第10期156-160,共5页; 给出了支持软件体系结构设计时重用的反射式软件体系结构,描述了反射式软件体系结构的元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,基于软件规格语言Object-Z对PMB协议进行了形式化描述。; 关键词软件体系结构重用反射式软件体系结构元级基级 PMB协议; 在线阅读下载PDF 职称材料

一种支持设计时软件重用的反射式软件体系结构及其形式化研究被引量：3: 3; 作者罗巨波应时刘天时《计算机工程与科学》 CSCD 北大核心 2019年第8期1434-1443,共10页; 软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持... 展开更多; 关键词软件体系结构重用反射式软件体系结构具体化 Object-Z形式化描述; 在线阅读下载PDF 职称材料

基于Object-Z的ReflectiveArchitecture形式化研究被引量：1: 4; 作者罗巨波应时《计算机科学》 CSCD 北大核心 2010年第11期126-130,共5页; 将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMR-SA。描绘了基于反射机制RM... 展开更多; 关键词软件体系结构重用反射式软件体系结构元级体系结构模型形式化; 在线阅读下载PDF 职称材料

题名反射式软件体系结构一致性研究被引量：1: 1; 作者罗巨波应时; 机构重庆理工大学计算机科学与工程学院武汉大学软件工程国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2010年第9期157-160,233,共5页; 基金国家自然科学基金项目(60473066)资助; 文摘给出了支持软件体系结构设计时重用的反射式软件体系结构。基于Object-Z形式化描述了支持软件重用的操作。给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程。; 关键词软件体系结构重用反射式软件体系结构一致性; Keywords Reuse of software architecture Reflective software architecture Consistency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名支持设计时重用软件的反射式软件体系结构及PMB协议研究: 2; 作者罗巨波应时; 机构重庆理工大学计算机科学与工程学院武汉大学软件工程国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2010年第10期156-160,共5页; 基金国家自然科学基金项目(60473066)资助; 文摘给出了支持软件体系结构设计时重用的反射式软件体系结构,描述了反射式软件体系结构的元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,基于软件规格语言Object-Z对PMB协议进行了形式化描述。; 关键词软件体系结构重用反射式软件体系结构元级基级 PMB协议; Keywords Reuse of software architecture Reflective software architecture Meta-level Base-level PMB protocols; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种支持设计时软件重用的反射式软件体系结构及其形式化研究被引量：3: 3; 作者罗巨波应时刘天时; 机构西安石油大学计算机学院武汉大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2019年第8期1434-1443,共10页; 基金陕西省教育厅科研计划项目资助(项目编号:18JK0621) 国家自然科学基金(61672392,61373038); 文摘软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。; 关键词软件体系结构重用反射式软件体系结构具体化 Object-Z形式化描述; Keywords software architecture reusing reflective software architecture reification Object-Z formalization description; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于Object-Z的ReflectiveArchitecture形式化研究被引量：1: 4; 作者罗巨波应时; 机构扬州大学新闻与传媒学院武汉大学软件工程国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2010年第11期126-130,共5页; 基金国家自然科学基金项目(60473066) 教育部人文社会科学研究项目(09YJC870024)资助; 文摘将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMR-SA。描绘了基于反射机制RMRSA的反射式软件体系结构Reflective Architecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。; 关键词软件体系结构重用反射式软件体系结构元级体系结构模型形式化; Keywords Reuse of software architecture Reflective software architecture Meta-level architecture model Formalization; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	反射式软件体系结构一致性研究	罗巨波应时	《计算机科学》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
2	支持设计时重用软件的反射式软件体系结构及PMB协议研究	罗巨波应时	《计算机科学》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
3	一种支持设计时软件重用的反射式软件体系结构及其形式化研究	罗巨波应时刘天时	《计算机工程与科学》 CSCD 北大核心	2019	3	在线阅读下载PDF 职称材料
4	基于Object-Z的ReflectiveArchitecture形式化研究	罗巨波应时	《计算机科学》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料