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

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

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

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

基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述

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

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。     

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

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

基于XYZ/E的CA系统体系结构描述

XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例.     

一个描述机器人团队形成的动态演化模型

目前在多机器人领域，对组织、团队和群体概念比较混乱，团队形成的研究大都停留在定性分析阶段。借鉴Markov过程和进化计算，从协作主体层和能力层研究了机器人团队和组织的区别及团队的形成机制。提出并全面描述了一个机器人团队形成的动态演化模型，目前国内外尚无类似模型。该模型不仅能对机器人团队有一个整体描述，而且能定量描述团队形成时的动态演化过程。     

分布式应用体系结构模式的数据完整性研究

作者在早期的分布式应用程序体系结构语言研究工作中[1-3]，对数据的完整性约束仅限于关系约束和域约束上的一些特殊情形，并为此建立的专家领域模型只是对域值的主关键字是否为空值进行检查，并给出域的缺省值定义[4，5]。文章基于关系数据模型理论对数据完整性进行了深入的研究，并对分布式应用程序体系结构语言（distribute applying program architectonic language，简称dapal）做了扩展、设计，对数据完整性进行形式化描述，使之能根据实际应用领域对关系模式的数据完整性约束进行描述。     

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

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

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

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

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

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

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

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

面向可靠性评估的软件架构描述语言图形化研究

为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件,连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析.     

可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。     

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

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

基于统一建模语言的分布式企业信息系统软件体系结构模型

讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 Web的销售系统开发实例辅证