基于B方法的组件开发

现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义。     

一个基于Web技术的网络银行系统的B方法设计与实现

B方法作为少数几种具有较强商业化工具支持的形式化方法之一,支持规格说明到代码生成的全部开发周期。文章将B方法应用于网络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用Atelier B。     

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

基于Web的网络旅游服务系统的形式化B开发

形式化B方法支持从规格说明到代码生成的全部软件开发过程。结合网络旅游服务系统模型，讨论了形式化B方法的具体运用，在分析服务器端和客户端状态表示的基础上，给出了该系统的抽象机模型及其精化过程。     

一个抽象机库中B方法的研究

B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。     

B方法规格说明的构造及应用

B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期.本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化.     

形式化方法与可视化模型的结合及其应用

阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性.为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程.     

基于产品线工程方法提高组件容器的可复用性

组件容器为组件提供部署和运行环境,是基于组件的分布式应用开发的核心。近年来,开发网构软件的需求驱动着组件技术持续改进,新型组件不断涌现,这对组件容器的开发效率提出更高的要求。因此,在组件容器开发过程中大规模复用已有的软件资产变得非常重要。在许多情况下,产品线工程已被证实是有效的系统化复用的工程方法。首先探讨将产品线工程应用于组件容器开发所面临的主要困难,并提出相应的解决方案;然后给出了一个组件容器的产品线——PLACE的设计,解释了其两个主要部分:产品线体系结构和产品派生流程;最后,通过一个实际案例,展示利用PLACE设计开发组件容器的完整过程,结果证实体系结构和源代码的复用性都有一定程度的提高。     

基于Z规格说明的可复用测试用例形式化描述

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。     

Packaging reusable software assets

With resources tight in today's economy, a renewed interest in making the most of legacy code is spurring various attempts to recycle software assets. With such an emphasis on components, reusing them - or reusing significant portions of them - can lower development costs and improve productivity by accelerating software development cycle times and eliminating redundancy. A consortium of software development and component management tool companies have banded together to hammer out an outline of common conventions for packaging software assets that makes it easier to manage and reuse them. They call the standards they've developed the reusable asset specifications.     

构件化技术在学生成绩查询统计系统中的应用

利用已有的软件构件来构造新的软件系统,使得用各种技术形成的软构件可以最大程度地进行重用(复用),以减少大量的重复劳动,从而大大提高生产效率。构件的可复用性越高,复用越广泛,其复用次数就会越多,价值也越大。通过对构件化技术主要思想和方法的分析,运用PowerBuilder所提供的典型的可复用构件PFC,阐述了构件化技术在学生成绩查询统计系统中的应用。     

构件化技术在学生成绩查询统计系统中的应用

利用已有的软件构件来构造新的软件系统,使得用各种技术形成的软构件可以最大程度地进行重用（复用）,以减少大量的重复劳动,从而大大提高生产效率。构件的可复用性越高,复用越广泛,其复用次数就会越多,价值也越大。通过对构件化技术主要思想和方法的分析,运用PowerBuilder所提供的典型的可复用构件PFC,阐述了构件化技术在学生成绩查询统计系统中的应用。     

A Behavior-based Classification and Retrieval Technique for Object-oriented Specification Reuse

This paper presents a classification and retrieval technique for object-oriented specification reuse, based on the assumption that existing specifications exhibiting behaviors similar to that of the system under development are appropriate for reuse. Existing specifications are classified and retrieved according to the semantic networks abstracted from their behaviors. Since semantic networks attach semantic meanings to certain degrees of detail, our technique is rather precise. Primary behavior is used to classify specifications because it can be obtained in the early phases of system analysis. Therefore, our technique allows early reuse. Moreover, subspecifications and classes of existing specifications are classified independently so that they can be retrieved for reuse separately. Thus, our technique encourages reusing subspecifications as well as classes. Since a subspecification is composed of classes and their relationships, reusing it corresponds to reusing all those classes and relationships. A technique that reuses subspecifications as well as classes is thus expected to save more time than those that reuse only classes.     

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

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

Reusing specifications in OO applications

Work on the ESPRIT Ithaca project has produced a model and environment for reusing specifications. Central to the environment is Recast, a tool to retrieve reusable specifications from a repository of development knowledge. Developers can also use Recast to tailor existing specifications to suit the current application. The tool, Recast (Requirement Composition and Specification Tool), supports developers in composing reusable specifications from the repository. The examples in this article are taken from the office application     

本体论与构件复用

软件复用主要有两种方式,一是产品复用,二是过程复用。构件的产品复用建立在接口不变的基础上。传统的建模方法关于对象之间联系的概念存在着模糊性,为构件接口设计和构件复用带来了隐患。该文将本体论引入构件设计,对构件对象的联系进行本体分析,目的在于为构件对象建立清晰、完整的本体模型,为设计遵守接口不变性原则和具有产品复用性的构件奠定基础;同时也在理论层次上探索本体模型向构件接口定义自动映射的机制,研究构件开发的过程复用。     

业务流程驱动的森林仿真构件组装技术及应用研究

针对森林仿真系统的需求或应用目标不断发生变化的问题,提出了一种业务流程驱动的森林仿真构件组装方法。该方法设计和实现了森林仿真领域的构件模型和仿真构件接口,并通过业务流程驱动的构件组装框架实现了森林仿真系统的业务流程、模型算法等的软件复用,解决了现有森林仿真系统存在的快速构建或重构困难的问题。通过在虚拟森林仿真系统开发中的应用表明,基于构件组装的方法与代码级重用、重新开发方式相比,可以大幅减少开发工作量,降低系统的开发难度,实现森林仿真系统的快速搭建或重构。     

煤矿设备信息管理系统的构件化设计方法

针对现有的煤矿设备信息管理系统开发效率和复用粒度低、难以满足煤矿个性需求的问题,从软件复用的角度介绍了一种煤矿设备信息管理系统的构件化设计方法,给出了系统开发模型和体系结构,详细介绍了系统构件的设计和实现方法。该构件化设计方法通过创建.NET功能构件,复用.NET中的基本构件和已创建的功能构件,最后在.NET开发平台上组装构件来达到软件复用的目的,提高了系统软件的开发效率、可靠性和可重用性。     

基于XML的组件标准化描述

基于组件的软件系统开发的出现大大简化了软件开发的过程,开发人员可以重用以前开发过的大量组件来构造系统。文章提出了一种基于XML的组件标准化描述语言csXML,并从组件的标准信息、外部信息、技术信息、性能信息和内部信息五个方面对组件进行了描述。根据这种标准化描述,组件开发者可以有效地将这些组件组织起来,组件使用者可以根据这些信息快速地找到合适的组件并充分了解组件的功能和性能。