构件适应和组装的形式化语义描述

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。     

硬件构件的形式化描述及其组装机制

针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.     

二进制构件柔性组装机制及其形式化研究

构件组装是基于构件的软件开发的核心和最终目的，其中，二进制构件组装是构件技术实用化的最佳途径，目前的研究主要集中在特定二进制构件的组装上。该文根据程序控制结构的基本形式，提出了一种普适性的二进制构件组装机制，定义了二进制构件组装的3种方式，即顺序组装、条件组装和循环组装，并给出了其形式化定义。该组装机制使用“无冲突”思想代替传统的“匹配”思想，从而使二进制构件的组装具有更大的柔性。     

接口连接式构件组装的一种形式化方法

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。     

基于构件视图的组装技术

构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术.     

基于构件组装的应用软件开发过程研究

基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。     

基于软件体系结构连接器的构件组装技术研究

构件是为了复用和可组装的目的而设计的,但是在构件的组装过程中常常会碰到组装不匹配的问题。从软件体系结构层次出发,可以找出组装不匹配的症结所在。在对软件体系结构和构件组装技术进行分析研究的基础上,提出了基于软件体系结构连接器的构件组装技术,并给出了相关实例。     

基于连接器模型的构件组装技术研究

基于连接器的构件组装是实现动态组装的有效途径之一。针对当前连接器模型的不足之处,提出一种更细粒度的连接器模型,该模型采用分层方式抽象构件内部的控制机制,使连接器成为构件组装的控制源。详细介绍模型中不同层次连接器的具体实现,给出连接器的演化过程,最后给出相关实例。     

基于构件组装的项目管理系统开发研究

由于项目管理技术的不断提升和管理模式的多样化,不同行业甚至不同企业对项目管理系统的要求各不相同。如何利用软件构件技术快速地构造新的项目管理系统成为急需解决的问题。从项目管理系统的框架出发,首先对构件进行了形式化定义,然后基于此定义对项目管理系统组成部分进行了形式化描述,最后利用定义好的连接器,通过顺序、选择和并行三种组装方式组装成项目管理系统。并在此基础上提出了基于构件组装的PMS开发模型。     

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

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

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.     

基于构件组装的网站系统开发过程研究

如何结合实际应用要求实施基于构件组装的网站开发过程是一个值得研究的课题。文章根据构件技术的发展,提出一种基于构件组装的网站系统开发框架,并研究了网站构件的开发与组装方法,将这一技术应用到精品课程网站系统的开发中,结果表明了该方法的有效性。     

基于扩展的WebService的构件组装的研究

构件组装是基于构件的开发（CBD）研究的核心,为了使构件系统适应网络发展的要求,针对传统的WebService对服务间依赖表达较弱的不足,提出一种基于扩展WebService的构件组装模式,并给出其组装体系结构。这种组装模式将构件部署包装成WebService构件,用扩展的WSDL（Web服务描述语言）描述单个服务及服务间的依赖,在构件组装平台下,根据一定的组装机制和Web服务间通信机制完成组装,既可屏蔽构件的异构性,又充分利用了系统资源。     

基于交互路径的构件组装测试方法研究

构件组装测试通过组合构件模型来实现,容易产生状态空间的爆炸,且生成用例会重复单元测试的一些工作.针对此问题,提出了通过生成交互路径来进行构件组装测试的方法,并给出了生成交互路径的过程与算法.该方法可以更有效地生成组装测试用例,并能够避免模型组合时状态空间爆炸的问题.实例分析证明,该方法拥有较好揭错能力,计算量小且具有通...     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。     

基于Web Service的构件组装的研究

构件组装是基于构件的开发(CBD)研究的核心,为了使构件系统适应网络发展的要求,针对传统的构件组装技术的不足,提出一种基于Web Service的构件组装模式,并给出其组装体系结构.这种组装模式将构件部署包装成Web Service构件,用WSDL(Web服务描述语言)描述单个服务及服务间的依赖,在构件组装平台下,根据一定的组装机制和Web服务间通信机制完成组装,既可屏蔽构件的异构性,又充分利用了系统资源.     

基于Object-Z的Web组件形式化建模

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Objcct Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object Z对Web组件建模,能够保证Web组件在异构平台、松散藕合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Wcb组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻辑分解方法将该框架应用于复杂的组件组合过程,并提出了需求驱动的组件组合方法。在此基础上,结合实例对组件的交互、组合进行了建模分析。