基于构件模型的应用框架扩展方法研究

框架是实现大粒度软件复用的重要途径，开发人员可通过对框架的扩展和实例化实现应用系统。但现有的框架扩展方法大都可操作性差，仅仅解决了局部扩展的问题。提出基于构件模型的应用框架扩展方法，借鉴面向领域的特征模型的思想，确定了构件模型中构件间的关系及组织方法，对扩展点进行了分类，并用UniCon形式化语言描述了应用框架的扩展方法。通过构件模型简述了应用框架的功能和技术特点，为扩展提供了良好的文档支持。     

基于JZEE框架的构件组装技术的研究

以框架的扩展点作为我研究的出发点,提出由基于角色的扩展形态对构件框架进行扩展。文章着力建立一个基于构件技术的分布式应用框架,应用设计模式实现基于JZEE的企业构件框架,并运用形式化语言对基于JZEE的企业构件框架及其框架构件、构件组装进行了形式化描述。并利用基于JZEE企业构件框架的角色扩实践证明基于框架的构件组装技术在提高系统的开发效率,可扩展性和复用性方面有相当大的效果,对进一步研究基于框架的构件自动化组装技术,有着一定的理论意义和实用价值。     

一种基于构件管理模型的域框架设计

通过使用构件管理模型来重新设计基于WEB的协作系统框架.构件管理模型通过关键字、内容和配置信息获得构件与高级开发知识间的连接信息.构件管理模型可以通过每个构件的关键字和内容信息来表示构件之间的连接关系,它也支持特定应用子系统的设计知识.引入构件管理模型来实现更为容易的框架构件管理以及框架自身更为方便的使用.     

基于构件技术的通用ATS框架设计

通过总结传统测试系统开发方法的弊端,提出了通用ATS框架的概念,并分析了其优越性;然后介绍了构件及框架的基本概念,给出了ATS框架的设计方法及开发过程;分析了框架的整体结构,详细研究了构件在ATS框架的测试管理、数据管理、仪器管理和网络通信4个子系统中的应用;最后识别出了各个子系统的扩展点,利用Strategy、Template等设计模式的软件技术方法对扩展点进行了设计,实现了通用ATS面向对象框架,提高了系统的复用性和可扩展性,达到了ATS测试软件设计高效率,低成本的要求。     

构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

支持构件自描述的CAR_CLSID机理剖析

CAR构件技术是面向构件的编程模型,它兼容微软的COM并对COM进行了扩展。该文分析了COM的不足之处,提出了以CAR_CLSID扩展CLSID的方案,并应用到CAR构件技术之中。CAR_CLSID是对CLSID的扩展,通过CAR_CLSID,客户可以不依赖于系统注册表来创建CAR对象,CAR构件不需要安装和注册即可被客户端使用,而且可以很好地描述构件依赖关系,这些都有力地支持了构件的自描述。该文从以上各个方面深入剖析了CAR_CLSID的机理。     

UML及框架元模型在智能农业诊断平台开发中的应用

UML是一种标准的建模语言,框架元模型是一种对应用框架进行建模的方法。以智能农业诊断平台为实例,描述了UML建模的过程以及框架元模型对构件扩展点的分类和管理。     

构件化的EIS领域通用框架模型

通过分析企业信息系统的组成结构和领域共性,将企业信息系统框架分为通用业务构件、专用业务构件和基础构件三部分,提出企业信息系统领域通用的构件化框架模型(GFEIS).给出了该框架模型的体系结构、构件约束规则以及装配算法.该框架模型提供了可扩展、可裁剪的描述能力,实际应用表明,利用该框架模型可以提高企业级应用的开发效率,降低开发成本.     

基于依赖矩阵的构件软件复杂性的度量模型

目前的构件软件复杂性度量模型未考虑构件之间不同依赖关系和软件构件内部复杂性两个重要因素,度量结果不够完整、准确.针对该问题,通过将软件体系结构抽象为加权的有向图,获得构件之间的依赖矩阵和影响矩阵,进而获取复杂性的度量公式.从度量公式分析和最后的示例可以得出,该度量模型可以更加真实、准确地反映构件之间不同的依赖关系和构件内部复杂性对软件复杂性的影响,而且具有简单、易于实现等特点.     

一种基于类间关系动态分析的领域框架和构件提取方法

框架和构件提取是面向复用的软件再工程的一个重要目标.在分析遗产系统中框架和构件的存在方式的基础上,提出了一种领域框架和构件的提取方法.该方法首先标识框架骨干类,然后以这些类为原点向外进行扩展得到整个框架实例,并通过抽象和精化得到领域框架.从框架实例分离的那些类上继续进行扩展可以获取遗产构件.整个扩展过程都是以所考察的类与当前类簇的整体关系作为判断依据,因此划分更加合理.     

面向图形的构件依赖关系的描述方法

对CORBA分布式应用中构件间依赖关系的描述和依赖关系的动态更新进行了较详细的分析.在此基础上提出了一种面向图形的构件间依赖关系的描述方法,该方法把基于CORBA的分布式应用的体系结构视为一张逻辑图,在图上预定义一组操作,这有助于构件间依赖关系的描述和应用系统的动态配置.同时在CORBA之上实现了一个原型,概括地介绍了实现方法.     

基于MonoRail、Castle和NiHbernate架构的Web开发框架研究

通过研究企业应用架构模式,提出基于MonoRail、Castle和NHibernate等开源框架的4层架构模型,总结出一种适合企业Web应用的通用方法：采用MonoRail来实现MVC模式;将Web应用中的业务逻辑交给Castle管理,相关组件和类通过Castle的配置文件联系起来;由NHibernate负责数据的持久化。实际的项目开发结果表明：整个系统与采用传统的方法所开发的系统相比较,有着更好的可维护性、可扩展性、可移植性和组件的可重用性。     

Pi演算与动态描述逻辑DDL的关系研究

分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.     

Spring在实现MVC构架中的应用

Spring框架是一种在J2EE的基础上构建起来的一个轻量级的框架实现。叙述了基于MVC模式的Spring框架的应用,讲解了在Spring框架中各个模块的划分和功能,阐述了各个模块的实现逻辑,特别针对MVC模式中的控制器、模型和视图三个方面进行了详细的分析,从而说明了该框架的特点和优势。文中还通过对于该框架中一个典型的页面处理流程进行了分析和解释,阐明了将Spring框架用于Web应用的实现方式,并展望了Spring框架与其他框架集合的运用前景。     

基于JavaBeans技术的快速流程建模工具研究

利用JavaBeans技术所具有的独特特点构造流程模型元素,并以现成的Java开发测试环境为组件框架实现了流程模型的设计。以该方式构建的流程建模工具环境,分离了应用程序环境处理逻辑与业务逻辑,使开发人员专注于具体的业务逻辑,具有快速、可靠、高扩展能力等优点。     

Efficient model-checking of weighted CTL with upper-bound constraints

We present a symbolic extension of dependency graphs by Liu and Smolka in to model-check weighted Kripke structures against the computation tree logic with upper-bound weight constraints. Our extension introduces a new type of edges into dependency graphs and lifts the computation of fixed-points from boolean domain to nonnegative integers to cope with the weights. We present both global and local algorithms for the fixed-point computation on symbolic dependency graphs and argue for the advantages of our approach compared to the direct encoding of the model-checking problem into dependency graphs. We implement all algorithms in a publicly available tool and evaluate them on several experiments. The principal conclusion is that our local algorithm is the most efficient one with an order of magnitude improvement for model checking problems with a high number of “witnesses”.