排序方式: 共有9条查询结果,搜索用时 31 毫秒
1
1.
2.
3.
将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。 相似文献
4.
给出了支持软件体系结构设计时重用的反射式软件体系结构.基于Object-Z形式化描述了支持软件重用的操作.给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程. 相似文献
5.
软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。 相似文献
6.
给出了支持软件体系结构设计时重用的反射式软件体系结构,描述了反射式软件体系结构的元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,基于软件规格语言Object-Z对PMB协议进行了形式化描述。 相似文献
7.
8.
目前,在设计阶段重用软件体系结构所面临的主要问题是:虽然存在大量的具有重用价值的体系结构制品,但是这些制品却难以得到成功的重用.提出了一种支持软件体系结构设计时重用的ArchBean方法.该方法基于反射机制将支持重用的元信息和体系结构制品本身封装成自包含、自描述的大粒度可重用资.源.给出了支持这种方法的反射机制RMRSA和反射式软件体系结构.基于Object-Z形式化描述了PMB协议.详细给出了基于ArchBean方法的支撑工具ArchBean Studio的设计和实施过程. 相似文献
9.
软件实现阶段的重用技术,特别是组件重用技术已经取得了巨大的进展。然而,对于软件开发早期阶段的软件资源的重用却进展缓慢。软件体系结构在软件重用中有着特殊的意义。反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用。提出了一种支持软件体系结构设计时重用的反射机制,概述了基于反射机制的软件体系结构重用方法。详细说明了反射机制RMRSA的元级体系结构模型和基级体系结构模型,描述了元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,以及反射机制RMRSA支持软件体系结构重用的过程。利用所提出的基于反射机制的重用方法,设计人员在软件设计阶段,通过重用体系结构及其组成元素来高效地完成软件计任务。 相似文献
1