正交软件体系结构模型

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

层次式软件体系结构抽象模型研究

ADLs作为软件体系结构的描述语言,难以在动态、可进化和可扩充特征方面进行描述.层次式结构应用在软件体系结构中并得到一定的好评,但它难以表示层次之间(特别是跨层)是如何服务的,存在怎么样的联系.本文就是基于以上的缺点而进行探讨和解决的,本人通过参考文献并结合自己观点说明构件之间进化是如何表示,说明不同层次构件之间的联系...     

层次式软件体系结构的设计与实现

软件体系结构的研究已经成为当前的研究热点,软件体系结构设计已经成为软件生命周期中的一个重要环节。提出了层次式软件体系结构的概念,结合一个实例,论述了层次式软件体系结构的基本思想和结构框架,研究了层次式软件体系结构的设计与实现过程。     

面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.     

基于Wright的SA级测试路径生成方法

软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则.根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

网状软件体系结构模型

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

服务本体驱动的构件协同模型

设计构件协同的关键在于向构件提供一种可观测的交互模式,众多协同模型虽然对此问题有所考虑,但并未将其抽象到通用级别。采用描述逻辑对构件服务予以概念化而构成服务本体,并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述基本思路,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的构件协同模型。     

构件运算的完整性证明及性质

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。     

基于Petri Net软件体系结构模型的描述

软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。     

异构软件体系结构的设计

软件体系结构设计已经成为软件生命周期中的一个重要环节。提出了由层次式结构和正交结构组合的异构体系结构,论述了异构软件体系结构的基本思想和组合方式,并把这种思想运用于社会保险管理信息系统的设计中。实践证明,这种异构融合了层次式结构和正交结构的优点,使整个系统结构清晰,易于理解,具有可扩展性,提高了软件重用粒度和开发效率。     

基于领域的软件体系结构设计与实现

软件体系结构已经成为当今软件工程和软件开发中一个突出的研究领域。文章讨论了正交软件体系结构的基本思想和结构框架,将其运用到学校管理信息系统的设计和实现中。实践证明,正交软件体系结构具有结构清晰、易于理解、易修改、可维护性强、可移植性强、重用粒度大等优点。     

煤矿安全监控系统联网软件的架构设计研究

软件架构是降低成本,改进质量,按时交付产品和按需交付产品的关键因素。通过对软件分层架构技术的介绍及分析,结合煤矿安全监控系统联网软件的实际需求,选择了适合该系统的三层架构方案,并详细介绍了表示层、业务逻辑层、数据访问层在系统中的设计和实现过程。     

软件体系结构的广义视角研究

从广义视角出发,将一些独立发展的软件领域归结到软件体系结构(SA)领域,包括UML、面向方面程序设计、面向服务体系结构、基于构件的软件工程。考虑它们之间的相互联系、共同性和独特性,给出一种分类框架。指出软件体系结构的发展方向：SA与这些领域的关系,动态SA的机理,特殊领域ADLs的设计,理论基础建立以及工具开发。