基于连接件的软件体系结构动态演化

针对基于中间件的软件体系结构（SA）动态演化存在的缺陷,对连接件进行了扩展,使连接件能够对其所连接的实体进行监视和操作;提出了一种支持动态演化的SA风格,使得演化信息可以通过SA自身进行传播．如果连接件之间没有连接通路,则增加一个或多个连接件对SA进行改造．设计了从运行系统中获得SA的算法,使SA成为运行系统的一个可控组成部分．提出了直接对连接件进行操作的SA动态演化框架,消除了SA动态演化的不一致性,提高了演化效率,并具有很好的可跟踪性．     

基于构件的分布式软件构架求精

目的消除在软件构架（SA）指导的基于构件的开发（CBD）中软件构架和面向对象设计与实现间存在的断层。方法根据软件开发各阶段的特点，采用规则映射方法对构架描述语言（ADL）ADEAG描述的SA进行求精，将其转换为UML描述的OOD层次。结果制定了一组ADEAG—UML的转换规则，并实现了一个工具支持转换的完成。结论所提出的SA求精方法和实现工具的使用有助于发挥SA在CBD中的指导作用，从而实现软件的规模化、工程化生产。     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

动态软件体系结构建模方法研究

针对用现有方法对动态体系结构建模的不足，提出了一种软件体系结构抽象模型（SAAM）．sAAM以两种互为补充的形式化方法——面向对象Petri网OPN和π演算为语义基础，其中OPN可以形象地描述软件体系结构的初始化模型和动态行为，π演算可以描述软件体系结构的动态演化．这两种形式化方法通过SAAM集成在一起，并通过相应的支持工具对模型进行分析．在体系结构演化过程中，SAAM利用π演算的相关分析方法，对组件的演化策略和软件体系结构的一致性进行分析，从而可以在系统开发早期发现体系结构级的错误，提高软件质量．利用SAAM对经典实例自动加油站系统进行的建模与分析表明，SAAM直观、易懂，可以有效地刻画系统动态体系结构．     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

一种支持多领域构件描述的分类描述模型

软件构件库是支持基于构件的软件开发的基础设施.在软件构件库中,构件的分类描述是复用者检索和理解构件的基础.随着构件技术的发展,构件库在不同领域的得到了应用,构件分类描述机制也面临着扩展性和变化性的挑战.提出了支持多领域构件描述的分类描述模型ECDM,并基于该模型,实现了青鸟构件库管理系统中多种分类模式的定制以及对构件描述属性扩展的支持.     

具有时间约束的软构件的时间消耗表示和评价

提出了构件性能参数中的时间消耗表示和构件动态组装时的时间消耗约束的判断方法．提出一种时间消耗约束求和模型和两种时间消耗的评价方法,基于一个类3C的构件模型,并采用XML实现构件描述,通过时间评价的使用实例,显示本方法在动态组装中检验时间消耗约束的可行性．     

基于软件体系结构的应用原型开发

软件体系结构的正确设计和选择是软件系统最终成功的最关键因素．介绍了基于体系结构应用开发．描述了在实际项目中基于体系结构的开发过程：需求分析、系统的高层设计框架，业务构件的设计及在java平台上的实现．它体现了软件开发过程中复用高层设计和复用构件的思想．     

刻面和规约描述相结合的构件检索

通过分析基于刻面分类和构件规约语法的检索方法,发现刻面分类及其检索方法侧重于构件的静态特征描述,没有考虑构件的行为描述等,而构件规约语法描述部分偏重于构件的行为描述,构件规约对构件中每个功能的语法描述具有独立性.设计一种基于字符串匹配的软构件刻面检索算法,同时考虑到刻面检索没有支持组装这一需求,提出在检索过程中,插入基于构件规约的语法匹配过程,以提供较准确的构件组装信息和提高复用效率.     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

体系结构描述语言——WRIGHT

软件体系结构设计已成为软件工程的一部分,为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ,它注重连接器的定义（即协议）,提供了形式化推理和体系结构一致性检查的工具。实现了体系结构设计的要求。     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

用设计模式表示面向对象软件体系的结构

针对当前软件体系结构描述语言和工具普遍存在的通用性较差，对软件系统运行时的动态特性描述能力不足的缺陷，提出使用设计模式来表示软件系统的体系结构，并提出了体系结构模式和风格概念，通过实际例子验证了设计模式表示体系结构的可行性。讨论了使用设计模式表示体系结构的一些原则。     

浪控滨岸相储层构型要素分析

 储层构型分析是开发中后期油藏研究的核心之一,是剩余油表征的重要手段。以塔里木盆地小海子野外露头及油藏覆盖区钻井取心资料为基础,采用Miall构型要素分析方法,揭示了浪控滨岸相储层构型要素类型及特征。根据地层单元沉积构造、岩性、粒度成分等特征的差异性,将浪控滨岸相储层构型界面划分为七个级次,而不同级次构型界面控制着相应级次的构型单元。二级构型单元表现为单一岩相类型,根据储层的岩性及层理特征,结合不同岩相对油气开发的控制作用,将二级构型单元划分为13种类型。根据二级构型单元时空关系,以三级构型界面为约束条件,参考储层内部渗流屏障产状,将三级构型单元划分为板状、槽状、楔状和千层饼状四种类型。浪控滨岸相储层构型要素的厘定,为储层精细刻画提供了理论依据,对高含水期油藏开发和综合调整具有重要的指导意义。     

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

一种基于交互的网络服务体系结构描述语言

在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础.