一种支持软件体系结构重用的反射机制RMRSA

软件实现阶段的重用技术,特别是组件重用技术已经取得了巨大的进展。然而,对于软件开发早期阶段的软件资源的重用却进展缓慢。软件体系结构在软件重用中有着特殊的意义。反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用。提出了一种支持软件体系结构设计时重用的反射机制,概述了基于反射机制的软件体系结构重用方法。详细说明了反射机制RMRSA的元级体系结构模型和基级体系结构模型,描述了元级软件体系结构和基级软件体系结构之间进行交互和互操作的协议PMB,以及反射机制RMRSA支持软件体系结构重用的过程。利用所提出的基于反射机制的重用方法,设计人员在软件设计阶段,通过重用体系结构及其组成元素来高效地完成软件计任务。     

一种支持软件体系结构重用的元信息模型

软件体系结构元信息组织和管理是利用反射机制实现软件体系结构重用的一个重要问题.提出了一种体系结构元信息模型,以有效地组织和管理支持体系结构重用的元信息.同时,基于XML设计了一种体系结构元信息描述语言,以充分地描述这个模型中定义的各种元信息,达到体系结构设计人员可以在软件设计阶段通过操作这些元信息高效地重用软件体系结构的目的.     

基于反射机制的软件体系结构重用方法及工具

针对软件开发早期阶段软件资源重用进展缓慢,反射机制在代码重用方面取得成功但还没有用于软件体系结构及其组成元素的重用等问题,提出一种支持软件体系结构设计时重用的反射机制,概述基于反射机制的软件体系结构重用方法。给出基于反射机制的软件体系结构重用的支撑工具ArchBean Studio的设计和实施过程。利用该方法,设计人员通过重用软件体系结构及其组成元素能高效地完成软件设计任务。     

一种支持设计时软件重用的反射式软件体系结构及其形式化研究

软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。     

一种支持设计时软件重用的方法ArchBean

目前,在设计阶段重用软件体系结构所面临的主要问题是:虽然存在大量的具有重用价值的体系结构制品,但是这些制品却难以得到成功的重用.提出了一种支持软件体系结构设计时重用的ArchBean方法.该方法基于反射机制将支持重用的元信息和体系结构制品本身封装成自包含、自描述的大粒度可重用资.源.给出了支持这种方法的反射机制RMRSA和反射式软件体系结构.基于Object-Z形式化描述了PMB协议.详细给出了基于ArchBean方法的支撑工具ArchBean Studio的设计和实施过程.     

算法形式化推导及其在软件重用中的应用

将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地特有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。     

基于反射的连接器组合重用方法

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

并行程序开发平台体系结构的形式化研究

用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述,指出这种描述的优点以及软件体系结构形式化研究的重要性。     

关于软件体系结构的形式化描述

软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言。     

面向服务的软件体系结构的形式化

用形式规格说明语言Z对面向服务这样一种新出现的分布式软件体系结构进行形式化，克服了原先面向服务体系结构的非形式化描述中的限制，为更好地进行面向服务的分布式软件开发提供了指导模型。     

Z语言与软件体系结构风格的形式化

软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式.形式化则是一种基于数学的严谨的描述方式和方法.形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一.文中通过Z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁.     

软件体系结构模型的形式化研究

用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述，指出这种描述的优点以及软件体系结构模型形式化研究的重要性。     

软件体系结构模型的形式化研究

本文用软件体系结构描述语言WRIGHT对三层C／S模型进行形式化描述，指出这种描述的优点以及软件体系结构模型形式化研究的重要性。     

基于Web Service开放系统结构的软件重用

提出了基于时间,空间与应用域三维软件重用行为特征空间的概念,指出软件重用 需解决3个原则性问题,并提出RSRPM面向开放系统的Web Service重用技术体重结构模型。在对RSRPM软件重用模式与实例的分析表明,它不仅重用了Web服务,同时还重用了服务提供系统的数据库结构与数据内容,使得开发周期从4人/月降低到了16人/天,开发效率提高了近10倍。     

基于SOA反射工厂的软件体系架构

在现代企业级应用开发领域中,SOA以其能提供粗粒度服务接口、组件服务具有"松散耦合"性、编码灵活、更高的可用性等优点,越来越多地被应用到企业级开发中,反射工厂模式也以其能提供和用户的高交互性而被广泛应用.为了解决软件平台中间件之间的实时交互问题,在分析现有体系架构基础上,将中间件技术、反射模式中的工厂模式以及SOA服务性架构进行整合,并且应用了改进的反射协议栈技术,提出基于SOA和反射工厂的组合软件体系架构,并通过Pammchema二次开发平台系统验证,软件开发实验证明,本架构在交互实时性上优于其他的架构体系.文中的运行环境为.Net环境.     

一种生产线架构中的工作流过程定义复用方法

针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法.该方法建立在领域业务本体和工作流模板这两类可复用资产之上,尝试建立特定领域工作流过程定义的复用机制,以提高过程定义的效率.着重探讨了可复用资产的构建、描述和检索等问题.介绍了基于复用的工作流过程定义方法,并开发了相应的实用工具以验证该方法的有效性.     

管道-过滤器模式的软件体系结构及其设计

软件体系结构设计给出了大规模软件复用,特别是领域复用的重要设计模式。体系结构描述了软件系统的整体组织结构与风格,对软件的性能和质量有直接的影响。管道-过滤器模式是一种面向数据流的软件体系结构。该文对这种体系结构做了深入的讨论,并结合一个具体应用给出了设计原型。