通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

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

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

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

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

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

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

一种自适应软件体系结构建模及其实施方法

综合软件体系结构相关领域的研究成果,为实现软件系统的自适应,提出了一种基于软件体系结构的方法,即自适应软件体系结构方法（SASA）。该方法利用基于质量属性场景的软件体系结构分析方法来获得适应性变化的原因和时机,通过质量属性驱动的软件体系结构设计方法决定适应性变化的内容,使用支持变化性描述的软件体系结构描述语言记录上述信息,借助于支持运行时刻软件体系结构的中间件在运行时刻实施指定的适应性变化,以达到面向质量属性的软件自适应目标。该方法通过J2EE平台的一个应用进行了实例研究。     

软件结构级上的需求变化处理

为处理需求变化,提出一种基于软件结构引入技术的变化处理机制（Variant Handing Based on Software Architecture Introduction,VHBSAI）和它的4个具体的与软件开发相关的实施步骤（需求变化的分析和识别,变化对象的转化,软件结构的引入,软件结构的调整）,以达到对其他变化处理技术进行指导,以及以模块上的操作手段,有效地进行软件系统维护,VHBSAI为软件系统生命周期、开发效益等问题提供了新的解决方法,最后以成功的实例验证说明了VHBSAI的有效性。     

一种基于插件的软件体系结构

插件体系结构模式可以基于一些松散耦合的部分来构建一个应用。文章分析了这种软件体系结构模式各组成部分的角色以及相互间的协作,它们都存在Eclipse平台的具体实例之中。目的是提供对这种软件体系结构的理解,从而将它应用于软件开发之中。     

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

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

基于UML的软件结构规范与精化(英文)

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

需求驱动的软件体系结构设计

利用目标逻辑机制组织软件需求 ,在需求驱动下 ,只考虑体系结构设计方案是否满足相应目标 ,然后使用场景评价体系结构设计方案。研究表明 ,这种设计思想扩大了软件体系结构的选择空间和抽象层次 ,有助于提高软件系统设计质量、可靠性及适应环境变化的能力。     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

一个ERP软件系统架构及软件平台的开发与应用

结合企业计算机管理系统的体系结构,介绍了一套实用的TDERP平台软件系统,并详细给出了软件系统的体系结构、系统配置以及网络设计,同时以文档数据库 关系数据库的模式,给出了构筑企事业单位信息系统的实施方案     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

C/S模式应用开发中软件复用的研究

结合实际开发中的经验,对C/S模式应用程序开发中的软件复用进行了一定的研究。利用面向对象语言所具有的特性,根据高耦合低聚合的思想,提出了通讯网关的体系模型结构,并对网关中可以复用的功能模块进行了分析。通过复用这一体系结构和其中的功能模块,可以达到以后开发类似系统时提高开发效率和质量的目的。     

Groundwork for True XML-based Security Pattern Languages

A pattern is used to describe best practices and principles. Patterns have been used successfully in architecture and in software design. We propose to apply the pattern method to XML-based security engineering. Organized collections of interrelated patterns (called pattern languages) can embody whole bodies of knowledge on specific topics. We will discuss patterns and security pattern, pattern languages and the requirements of the pattern languages proposing its essential requirement (the template), and lays the groundwork for our future development of a true XML-based security pattern language.     

建筑三维动画技术

在建筑方案设计阶段和工程完成后，三维动画为筛选、优化设计方案、评估城市景观、协调工程与环境的关系，都创造了有利条件。它要求图像快速产生，具有高精度和高分辨率。文中分析如何在现有的软硬件设备条件下，用不同方式加以实现的具体要求。它包括优化每个建筑模型、采用多页面技术来提高动画质量等，并阐述将动画技术应用于建筑中的设计思路。     

C/S模式应用开发中软件复用的研究

结合实际开发中的经验,对C/S模式应用程序开发中的软件复用进行了一定的研究。利用面向对象语言所具有的特性,根据高耦合低聚合的思想,提出了通讯网关的体系模型结构,并对网关中可以复用的功能模块进行了分析。通过复用这一体系结构和其中的功能模块,可以达到以后开发类似系统时提高开发效率和质量的目的。     

基于Struts框架的短信办公平台软件设计与实现

Apache Struts是开源的通用Web应用开发框架．电信产业的发展进入到增值服务的时代，在高等教育中应用电信增值服务产品提高教育服务的能力和水平成为趋势．首先结合高等教育的特殊应用需求简单介绍MVC设计模式和Struts框架的基本概念；然后重点分析了短信办公平台软件的整体设计架构，并给出该架构的特点和原理；最后详细阐述了软件架构中各模块的实现技术．基于Struts的应用开发充分利用开源项目的优势，大大缩短软件的开发周期．软件已经广泛应用于日常办公，取得明显的经济和社会效益．     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

信息时代建筑学变化的思考

从建筑领域的拓宽、建筑理论的多元、建筑观的深化与演进、建筑技术的发展以及建筑创作方法的革新等方面阐述了信息时代传统建筑学引发变化的思考