基于构件运算的软件体系结构设计方法

软件体系结构对软件的稳定性、软件维护和软件演化等各方面的性能很重要.该文引入构件运算的方法描述体系结构,分析调用运算、协作运算和条件运算的相关性和构件的复杂度,综合体系结构的多方面因素,采取局部性能指标方案对体系结构的性能进行分析评估,利用最佳性能方法调整构件关系和体系结构性能指标,设计出最优性能的软件体系结构.     

基于构件运算的软件体系结构设计方法

软件体系结构对软件的稳定性、软件维护和软件演化等各方面的性能很重要。该文引入构件运算的方法描述体系结构,分析调用运算、协作运算和条件运算的相关性和构件的复杂度,综合体系结构的多方面因素,采取局部性能指标方案对体系结构的性能进行分析评估,利用最佳性能方法调整构件关系和体系结构性能指标,设计出最优性能的软件体系结构。     

基于构件运算的软件演化研究

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统科学地描述软件演化。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化,把软件系统的演化归结为构件表达式的变化,利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究,并给出将演化后的结果用图形方式表示的方法。     

基于构件运算的软件体系结构及其复杂性度量

为了达到对软件体系结构SA的描述目标,引进了基于消息的5种构件组合运算,并给出了基于这些运算的SA的图形与其代数表达式之间的转换算法。为了降低SA复杂性,给出SA的直观复杂性度量方法,提出了11种构件演化运算,并给出了一个实例。     

基于构件组合运算的SA可演化性度量

在满足当前需求的众多软件体系结构（SA）中,选择适应未来发展变化的（SA）,需要度量软件体系结构可演化性SAE。本文提出了基于构件组合运算的SA;从构件组合运算和SA两个层次分析了构件操作的波及效应,提出了一种新的SAE度量方法,设计了度量算法;在给出的实例中,度量了同一系统的不同SA的可演化性。最后,根据领域软件工程的特点,利用特征迹,对SAE的度量方法进行了改进。该度量方法克服了传统方法需要大量数据、过度依赖人工参与和个人经验、只适合小规模系统等不足。     

基于构件运算和XML的体系结构描述方法

通过对现有的体系结构描述方法进行分析,指出其存在的不足,并提出了一种基于XML的体系结构描述方法:XCOBA。XCOBA在基于构件运算的基础上,把XML应用于SA的描述,具备较多的良好特性。由于XML的特性,XCOBA支持系统的逐步精化与演化,可以实现异构构件之间的相互通讯,在XCOBA方法描述下的SA具有良好的扩展性。     

基于消息的构件组合运算与构件演化

根据构件能够接收和发送的消息，扩展了构件接口定义框架，给出了基于消息的构件组合模型，定义了构件的执行路径，对四种组合运算进行了形式化描述，提出并证明了六则构件演化运算．给出了一个实例：把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型，并给出了模型的代数表达式和简化算法．     

构件化软件开发探究

对软件复用的核心技术-基于构件的软件开发进行了探究,介绍了构件的发展、定义、构件的封装、分类、构件库以及以体系结构为中心的构件化软件开发,并提出了一些发展的不足,最后提出了构件化软件开发长足进步的意见。     

构件化信息系统体系结构及其业务构件模型研究

构件化信息系统是根据用户需求通过组装现有构件的方式来建立满足不同企业需求和适应企业需求变化的信息系统,其核心是构建即插即用型领域业务构件。本文提出了构件化信息系统的体系结构及面向制造业的业务构件模型,以支持构件化信息系统及业务构件的开发。     

电子商务领域构件的研究和设计

为了适应河南省电子商务技术发展的要求,填补"河南省软件行业资源库及服务平台"中电子商务领域构件的空白,提出采用面向构件技术来构建电子商务系统.该研究在需求、分析、设计等开发阶段都以构件为基础,把面向构件技术融入了开发的各个周期,研究和设计了电子商务平台,提取出电子商务领域构件,丰富了资源库的建设,推动了河南省电子商务产业的发展.     

主体完整性标记动态确定方案及其正确性证明

B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.     

反射式实时构件的实现

反射式实时构件的实现,是对基于反射的实时构件模型规约描述机制的进一步研究与实践,其实现过程中涉及到两个关键问题,即实时构件模型到实时构件实现体的转换,以及实时构件实现体反射动态性的体现。本文主要围绕这两个关键问题,给出反射式实时构件的实现方法。     

联合作战模拟中武器装备体系结构研究

“联合作战模拟”中作战能力研究,涉及的关键问题之一就是如何准确地确定“联合作战背景”下“武器装备体系结构”。该文结合正在进行的“联合作战模拟系统”建设工作,针对上述问题确定了“联合作战背景”下的武器装备体系结构,分析了武器装备体系各层次的作战能力固有属性,并界定了武器装备体系作战能力与作战行动之间的关系。     

软件组件技术与知识发现系统

本文介绍了组件技术及知识发现的概念,阐述了在软件构架支持下,利用组件堆积木似的搭建知识发现系统的特点,实现了软件的大粒度复用,大大缩短开发周期,降低维护成本,且可即插即用。     

法院基础服务组件库研究

如今各级法院信息化建设已越来越受到国家的重视,同时社会对法院审判系统的功能和透明度的要求也在日益提高.目前绝大部分法院信息系统在不同程度上存在着可扩展性差、互操作能力不强、适应需求能力差、重复建设、新应用周期长、容易形成"信息孤岛"等较为严重的问题.SOA(Service Oriented Architecture)面...