反射式软件体系结构一致性研究

给出了支持软件体系结构设计时重用的反射式软件体系结构.基于Object-Z形式化描述了支持软件重用的操作.给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程.     

基于进程组构件模型的软件体系结构设计方法

软件工程的有效性在于进行体系化或系统化的设计,软件体系结构的好坏对系统的成败起着举足轻重的作用。本文针对并发系统,结合面向对象、构件以及软件复用的思想,提出了一种基于进程组构件模型的软件体系结构设计方法。最后介绍了采用该方法设计的iCALL系统。     

基于软件体系结构的可复用构件模型

在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用.     

基于CORBA构件的软件体系结构模型

软件体系结构使超大规模软件设计的简化成为可能，提出了基于CORBA构件模型的软件体系结构并给出了一种软件体系结构的模型，通过给出ADL的BNF语法以及扩充CIDL编译器和CORBA的服务来实现此     

正交软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADb),但ADb在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点。文章用代数理论对正交软件体系结构的属性和行为特征进行抽象,提出了正交软件体系结构的概念和框架结构,抽象出了正交软件体系结构的核心模型。提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。给出了正交软件体系结构的一个应用实例。     

层次式软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADLs),但ADLs在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。层次结构作为一种对事物体系的描述方法,被广泛应用于计算机软件领域中。但目前对层次式软件体系结构的描述通常都是非形式化的,文献认为很难找到一个合适的、正确的层次抽象方法。文章用代数理论对层次式软件体系结构的属性和行为特征进行抽象,讨论了层次式软件体系结构的基本思想和结构框架。研究了层次式软件体系结构抽象模型,提出了“层”的抽象概念及相关性质。给出了层次式软件体系结构的一个应用实例。     

网状软件体系结构模型

文章用代数理论对网状软件体系结构的属性和行为特征进行抽象,提出了网状软件体系结构的概念,框架结构及构件的重用度概念,抽象出了网状软件体系结果的抽象模型及相关性质。给出了网状软件体系结构的相关应用。     

一种软件体系结构复杂性的评价方法

为了满足软件体系结构复杂性的预测和评价需求,通过抽取构件之间的连接,提出了基于复合关系的分层式软件体系结构,从而能够清晰、准确地表达构件之间的关系。在该结构基础上,提出了基于加权图的复杂性评价模型,并结合实例分析了模型的使用效果。模型能够准确地刻画系统结构及构件关系,而且能够较为客观地定量评估系统结构复杂性。它具有实现过程简单、通用性强等特点。     

UML模型一致性问题研究

在定义模型一致性问题的基础上,以软件体系结构建模为例对模型一致性问题进行了分类,分析并总结出出现模型一致性问题的根本原因,最后,给出解决该问题的方法、步骤以及规则。     

基于软件体系结构的实时配置系统的方法

当今社会对软件密集型系统的依赖性越来越强，这使得寻求可靠的、健壮的、持续可用的系统成为必要。实时地根据应用需求对系统进行配置（如在系统中加入或删除某一模块，用新的功能模块替换原有的功能模块等等）是达到持续可用目标的一个方面。文章重点阐述了软件体系结构风格在实时变动系统时的若干优点，并在此基础上提出了一种基于软件体系结构的实时配置系统的方法。     

构件模型研究综述

基于构件的软件复用被认为是解决软件危机的重要手段,而描述构件本质特征及构件组合的构件模型是实现构件复用的关键技术。本文分析和研究了现有的构件模型,并根据构件接口和构件组合方式对各个构件模型进行了分类比较;结合已有的研究成果,展望了构件模型未来研究方向。     

Evolution Through Architectural Reconciliation

One of the possible scenarios in a system evolution cycle, is to translate an emergent set of new requirements into software architecture design and subsequently to update the system implementation. In this paper, we argue that this form of forward engineering, even though addresses the new system requirements, tends to overlook the implementation constraints. An architect must also reverse-engineer the system, in order to make these constraints explicit. Thus, we propose an approach where we reconcile two architectural models, one that is forward-engineered from the requirements and another that is reverse-engineered from the implementation. The final reconciled model is optimally adapted to the emergent set of requirements and to the actual system implementation. The contribution of this paper is twofold: the application of architectural reconciliation in the context of software evolution and an approach to formalize both the specification and transformation of the architectural models. The architectural modeling is based upon the UML 2.0 standard, while the formalization approach is based on set theory and first-order logic.     

Application of Deadlock Risk Evaluation of Architectural Models

Software architectural evaluation is a key discipline used to identify, at early stages of a real‐time system (RTS) development, the problems that may arise during its operation. Typical mechanisms supporting concurrency, such as semaphores, mutexes or monitors, usually lead to concurrency problems in execution time that are difficult to be identified, reproduced and solved. For this reason, it is crucial to understand the root causes of these problems and to provide support to identify and mitigate them at early stages of the system lifecycle. This paper aims to present the results of a research work oriented to the development of the tool called ‘Deadlock Risk Evaluation of Architectural Models’ (DREAM) to assess deadlock risk in architectural models of an RTS. A particular architectural style, Pipelines of Processes in Object‐Oriented Architectures–UML (PPOOA) was used to represent platform‐independent models of an RTS architecture supported by the PPOOA –Visio tool. We validated the technique presented here by using several case studies related to RTS development and comparing our results with those from other deadlock detection approaches, supported by different tools. Here we present two of these case studies, one related to avionics and the other to planetary exploration robotics. Copyright © 2011 John Wiley & Sons, Ltd.     

复杂陈述式仿真模型的相容性分析

模型的相容性分析是复杂产品多领域建模面临的一个关键问题.研究了陈述式基于方程仿真模型的方程系统过约束或欠约束判定、检测与修正策略.首先,将方程系统表示为二部图,通过二部图分解判定模型的相容性,并分离出方程系统的过约束和欠约束部分.然后,通过检测、判定与缩减过程,自动判别出过约束或欠约束发生的大致范围,并给出修正方案.所提出的策略与算法能够显著地提高用户发现与排除过约束或欠约束问题的效率,已在多领域物理系统混合建模与仿真平台MWorks中实现.     

Hierarchical message bus-based software architectural style

As the size and complexity of software systems increase, the design and specification of overall system structure become more significant issues than the choice of algorithms and data structures of computation. An appropriate architecture for a system is a key element of its success. Based on the practice of Jadebird software production line, this paper proposes a software architectural style based on hierarchical message buses, named JB/HMB. In this style, the component model consists of external interfaces, static structure and dynamic behavior, which depicts a component from different aspects. Supported by message buses, components interact with one another by messages, which can be used to describe distributed and concurrent systems well. JB/HMB style supports stepwise decomposition and refinement, and runtime system evolution. Finally, characteristics of JB/HMB style are summarized as a conclusion, and future research directions are specified.     

DSM系统中内存一致性模型的研究

文章首先回顾了分布式共享存储器（ＤＳＭ）系统中主要的内存一致性协议,重点分析了释放一致性（ＲＣ）模型。在此模型的基础上对其进行了改进,提出了基于动态减少无效副本集的ＲＣ模型。     

探索分布仿真应用中广义时空域层级一致性

时空一致(time-space consistency,简称TSC)是面向服务分布仿真应用(service-oriented distributedsimulation application,简称SODSA)中关键的基础性问题,目前的研究侧重于考虑狭义的时间和空间概念,难以实现建模与仿真全过程的整体一致性.通过分析SODSA的广义时空一致性需求及其不一致的影响因素,引入了系统的全局时空一致性轴概念.在此基础上,提出了广义时空层级一致性构想,包括形式化定义、一致性四域模型、一致性时空成熟度和一致性层级框架.该研究成果深化了对SODSA全局一致性时空需求的理解,有助于解决整个仿真系统的不一致问题,为分布仿真应用全局TSC量化评价奠定了基础.     

一个基于构件的分布式软件构架开发环境

针对分布式软件和软件构架日益复杂的特点，本文首先提出并建立了一个基于构件的分布式软件构架描述语言DSADL，然后介绍了基于DSADL的分布式软件构架开发集成环境EDAD．实践证明，EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计，从而提高系统的开发效率．     

实时协同中的一致性维护关键技术

实时协同广泛采用数据复制技术来隐藏网络延迟、提高响应速度和改善交互体验。在复制式结构中,用户可以无约束地在不同数据副本上进行操作,这必然会引发一致性维护问题。针对上述问题,根据实时协同应用的特点和需求,总结一致性维护研究面临的技术挑战,通过研究实时协同中操作转换、地址空间转换和WOOT一致性维护的关键技术,讨论Undo和String转换等难点问题,分析这些关键技术在单用户软件向多用户协同软件透明转换、Web2.0环境和移动协同环境中的应用情况。