基于软构件的软件开发方法研究

软构件技术虽然已被使用，但缺少一种从软件工程角度支持软件开发的系统方法，文中提出了一种以剧本为需求模型，基于构件的组装式软件开发方法，包括软件体系结构的定义，各部分的组成关系以及控制结构和通信机制的实现方法等，最后介绍了该方法指导下软件的开发流程。     

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

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

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

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

形式化方法对构件库管理系统支持的探讨

依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索构件组装和构件演化的自动化支持     

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

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

构件形式化描述与模糊检索研究

在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点.本文参照3C构件模型,提出一种基于形式化方法的、可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项.在此描述模型基础上提出了构件的分步检索法,并着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率.     

基于Event-B的软件工程形式化方法综述

在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种构造即正确的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控...     

软件构件表示与检索形式化的研究与进展

1 引言软件复用被认为是提高软件生产效率和软件质量较为现实的途径。尽管软件复用的思想已经提出了30多年,但软件复用的现状离人们最初的设想仍然相距甚远。阻碍大规模软件复用的技术与非技术因素很多,主要的技术因素有构件分类、构件表示、构件检索、构件更改及构件库的管理与维护等。其中,软件构件表示与检索是软件复用获得成功的重要前提。     

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

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

基于Internet的软构件信息系统

1 引言基于构件的软件工程(CBSE)是一种正在逐步走向成熟,已受到高度重视的革命性的软件开发的新方法,已在软件界和众多的产业部门中产生了巨大的兴趣和影响。构件信息系统是促进软构件复用的核心机制之一。传统的构件信息系统,其复用范围往往局限于一个公司或开发小组之间,缺乏大规模的普遍的     

形式化方法在软件开发中的应用

形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来,这样可以确保和需求的一致性,并能用于分析和验证应用程序。     

COTS软构件评估研究综述

对COTS（Commercial OffTheShelf）软构件评估进行综述,包括COTS软构件评估在整个CBS活动框架中的定位、COTS软构件评估的过程和方法及与其密切相关的其他CBS活动领域简介等,并对COTS软构件评估的未来发展方向进行了展望。     

面向构件的系统开发及其形式化

回顾了软件构件与形式化方法的基本概念,介绍了软件构件的形式化,根据典型的面向构件的开发流程和基于形式化方法开发软件的特点,提出了一个基于形式化方法的面向构件的系统开发模型.针对目前面向构件的软件开发形式,提出了一些建议和方向.     

形式化方法的发展及展望

形式化方法的研究和应用已有近川年的历史了,其产生是D伽tra和HOars在程序验证方面的工作和＆。ti,stratchey以及其他学者在程序语义方面的工作基础上发展起来的,从最简单的形式化方法,即用一阶逻辑和等式组成的规范语言,至80     

形式化构件规约自动生成中的演化转换

基于软件体系结构的开发将是未来大型、复杂软件开发的主要技术,而构件是该方法的基础。形式化构件规约对构件的功能描述、分类和检索有重要意义。文中给出了一种用于形式化构件规约自动生成的转换方法即演化转换,对该方法的转换过程、转换规则提取、表示及主要转换算法进行了详细说明,并对规约的完整性和转换的正确性进行了探讨。最后,还对该方法的实现系统及其特点进行了简要介绍。演化转换能较好地控制转换粒度和跨度,对转换正确性和规约完整性也有一定的保证,在转换过程中实现了规约的垂直重用,使构造的模型和规约对需求变化有一定的适应性。     

软构件技术在信息系统开发中的应用研究

以高等院校教务管理系统的开发为背景,提出了一个基于软构件技术、适合于小型应用软件开发的过程模型和组织模型.介绍了基于主题文档的分析方法在高等院校教务管理中的应用,提出了一个基于原子文档关联矩阵发现系统中大粒度构件的方法.对系统中的构件进行了层次划分,给出了高等院校教务管理系统中的构件抽取实例,并探讨了利用构件组装应用软件的方法和过程.     

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

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

基于构件的信息系统形式化需求分析方法的研究

提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。     

建造信息系统的构件集成方法

基于Ｈ．Ａ Ｓｉｍｏｎ的决策认识过程,提出新型的以构件组装实现适应不同需求的信息系统的方法。为了提高研制效率,给出信息系统及其构件的形式化描述。并沿用软件集成块Ｓｏｆｔｗａｒｅ－ＩＣ的思路提出一种系统构成的自组织方法,体现信息系统的自适应体系结构。