基于角色的构件合成

构件合成技术已成为软件复用研究的热点,本文给出了一种基于角色的构件合成方法,并讨论了基于该方法的构件的逻辑合成和物理合成两种合成方式。该方法通过引入角色有效地描述了各个子构件所提供的功能服务之间的交互关系,这种方法自身的特点使其既适用于进行本地构件的合成也适用于进行分布式的构件合成。     

基于合成仪器的可互换虚拟仪器软件研究

针对合成仪器中模块的可互换性,设计了合成仪器系统软件架构和仪器驱动的实现方法;文章阐述了可互换性的目的和方法,IVI-C仪器驱动程序架构和基于虚拟仪器的合成仪器系统软件体系架构,并针对合成仪器中频谱仪仪器的驱动设计、结构和实现流程进行了重点描述;通过设计频谱仪可互换性验证软件,实验证明,设计的合成仪器软件架构和仪器驱动可以实现不同厂商同类模块的可互换,包括NI PXIe-5673,北京航天测控技术有限公司4 GHz频谱仪和数字化仪等模块,满足合成仪器的可互换功能,提高了装备测试系统构建的灵活性。     

软件复用、软件合成与软件集成

软件复用被视为解决软件危机的一条现实可行的途径。在软件复用的科学研究与实践活动中,针对不同的应用领域,结合相关的计算机新兴技术,出现了许多解决软件危机的方法与途径,软件合成、软件集成就是软件复用的成功实践扩展和技术应用之一。简要地介绍了软件复用,分别给出了软件合成、软件集成的概念,归纳总结了二者实现所涉及的关键技术、适用领域和应用目的,详尽地对比了软件合成、软件集成的区别。     

面向嵌入式实时软件的需求规约语言及检测方法

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.     

组合Web服务访问控制策略合成研究

针对Web服务多域环境下组合服务的访问控制策略合成问题,首先提出基于属性的Web服务访问控制策略描述框架,并结合原子属性值限制的属性描述方法,对服务访问控制策略进行了形式化表达。然后,通过分析服务组合描述文档中的控制结构,并研究访问控制策略合成算子和访问控制策略规则的合成运算,提出组合Web服务访问控制策略合成方法,实现了组合服务访问控制策略的合成。最后,结合实例给出组合Web服务的访问控制策略合成流程,验证了合成方法的实用性。     

基于活动分解和ECA规则的软件过程建模

软件过程由多个活动组成,活动可以分解成子活动,活动间的关系包括静态关系和动态关系。提出基于活动分解和．ECA规则的过程建模。通过活动分解对软件过程的静态部分进行建模,描述活动与子活动之间的关系;通过ECA规则描述活动之间的动态时序关系,即描述触发活动的事件和内部条件,给过程的调整和动态变化带来了方便,增强了其适应变化的能力。     

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。     

面向对象建模集成环境AML-Tools的设计与实现

该文描述了一个新的面向对象建模集成环境AML-Tools。AML是一个基于Ada95的建模语言,它吸取了Ada95的基本原理和思想,利用支持面向对象建模的设施对其进行扩充和改造,使之适用于软件建模的各个阶段;引进了程序包、任务等程序单元的概念并使之成为AML的核心成份;吸取了多视点模型的思想,将描述同一实体不同侧面特征的信息分别封装在相应的程序单元声明、程序单元体和程序单元描述中;利用新的并发模型、同步设施和限制设施,有效地解决了系统并发性、不确定性等非功能特性的描述问题。     

浅析面向对象的高级科学可视化软件SciAn

浅析面向对象的高级科学可视化软件ＳｃｉＡｎ蔡志刚姚彦忠费月娥前言传统的科学计算通过计算模型产生出大量的数据场，并依此作出物理与数学上的分析，随时利用图形描述，物理模型的变化过程为科研人员提供理解与观察计算中所发生的一切。利用图形描述一个物理模型的变化...     

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。     

基于体系结构的模型转换语义描述框架

为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构。     

Runtime software architecture based on reflective middleware

Copyright by Science in China Press 2004 Since its first literate identification and discussion[1], software architecture (SA) has become an important subfield of software engineering, receiving increasing attention from both academic and industrial communities. SA describes the gross structure of a software system with a collection of components, connectors and constraints[2]. In gen-eral, SA acts as a bridge between requirements and implementation and provides a blue-print for system cons…     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.     

基于服务连接和消息连接软件构架的研究

软件构架是解决复杂大型软件开发面临的困难，提高软件质量和软件生产效率的有效方法，是软件复用和基于构件软件工程研究的重要领域，通过对软件构架风格特点的讨论和对构件之间交互方式的分析，论文提出了基于服务连接和消息连接的软件构架风格，开发了一个支持该构架风格的构件生产和组装平台，该构架风格具有以下特点，（1）支持多种可变性机制；（2）构件之间灵活和显式的服务连接和消息连接机制；（3）支持构件合成；（4）构件接口分组，成为端口。     

构件化领域框架设计与实现

文中介绍了由东北大学软件中心研究的构件化领域框架系统ＮＥＳＣ。它以构件技术、软件体系结构技术和应用软件开发技术为基础,采用了界面、规则和存储的层次化结构,实现了规则控制、时空关系描述、可视化信息表达、构件静态组合、功能动态组合、分布式构件管理等功能。框架体系结构设计通过应用－技术二维划分、功能提取、局部封闭和全局分层等技术实现,可望达到合理规划设计构件,简化依赖关系,提高运动效率,增强构件通用性以     

水利领域软件体系结构研究

水利软件体系结构是水利计算机应用软件系统中构件及构件间交互关系的描述。论文以领域构件技术为背景,在分析水利应用系统的基础上,围绕信息资源共享与软件复用,提出了由总体框架、主框架、框架、构件和规则集合构成的水利领域软件体系结构,并对这些成份的主要特征及其相互关系进行了论述,给出了一个框架级体系结构的具体构造及描述的例子。