支持软件演化的扩展SDDM软件过程模型

软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化过程的扩展SDDM软件过程模型。     

遗产软件重构技术的研究

随着计算机技术的不断发展,遗产软件在软件生产过程中起着越来越重要的作用.如何积极地利用好遗产软件已经成为目前软件工程中讨论的一个热门话题,国内外科研人员对重构遗产软件已经做了大量的研究并且取得了不少研究成果.文中是一篇关于遗产软件重构技术研究的综述性文章.介始了一些遗产软件系统相关的概念,从整体上对遗产软件重构方法进行了分类,阐述并分析了近年来国内外科研人员就遗产软件重构提出的一些思想、方法及模型,对遗产软件重构技术做了一个总结,并提出了组合Agent-Component(AC)来重构分布异构环境下遗产软件的思想,为解决遗产软件的重构尤其是大型复杂系统的重开发问题提供了一个新的思路和途径.     

逆向工程分析技术研究

近年来,许多组织面临着遗产系统的理解和演化问题,理解和演化遗产系统的问题在软件研究领域越来越重要。逆向工程通过提供一个对目标系统的设计和总体结构的较好的理解来辅助遗产系统的演化,是解决遗产系统问题的关键技术。文中介绍了逆向工程的定义,综述了逆向工程分析技术的研究进展,探讨了分析技术研究存在的不足之处,给出了未来的发展趋势。     

逆向工程分析技术研究

近年来,许多组织面临着遗产系统的理解和演化问题,理解和演化遗产系统的问题在软件研究领域越来越重要.逆向工程通过提供一个对目标系统的设计和总体结构的较好的理解来辅助遗产系统的演化,是解决遗产系统问题的关键技术.文中介绍了逆向工程的定义,综述了逆向工程分析技术的研究进展,探讨了分析技术研究存在的不足之处,给出了未来的发展趋势.     

一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模。针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述。     

管理信息系统开发与系统调查

一、软件生存周期通常,管理信息系统(MIS)的开发所采用的方法,是软件工程(SE-Software engineering)所建议的软件生存周期模型(Swlife Cycle model)即传统的瀑布模型(Waterfall model)和后来兴起的原型模型(Prototypemodel)以及MIS生成工具法等.瀑布模型把软件生存期划分为计划、开发、运行三个时期,每一个时期又分为若干阶段,图1是根据boehn划     

基于Petri网的软件演化过程

随着遗产软件系统的老化,软件演化已成为软件工程的一个新兴领域.对软件演化及过程的特征进行了描述,提出基于Petri网的软件演化过程;最后给出了软件演化过程的活性判断及优化算法.     

软件可信性演化的移动元胞自动机模拟

演化是软件可信性的核心问题。为了研究在动态、开放、多变环境下,干扰对软件可信性的影响,在分析软件系统可信性传递过程的基础上,结合元胞自动机机理和耗散理论,构建基于用户视角的软件系统可信性演化的移动元胞自动机仿真模型,仿真研究了软件系统在受到干扰的情境下,软件可信性的变化过程。研究表明,软件系统在受到干扰的环境下,当运行状态发生变化时,其可信性评价值降低,在经历了多次干扰后,系统可信性评价值最终稳定,这为动态评价、预测软件系统可信性提供了一个新的模型与方法。     

生成式程序设计研究概述

随着软件规模越来越大、软件复杂度越来越高，如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标，已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U．Eisenecker融合先进方法和技术的精髓，提出了一种新的软件工程范型——生成式程序设计：基于为软件系统族进行建模，对给定的需求规格说明，利用配置知识，把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型，该模型包括三个基本成分：问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期：一个是设计和实现生成式领域模型，即支持重用的开发；另一个是利用生成式领域模型生产出具体的软件系统，也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。     

用于软件维护的集成生存期模型

本文提出一个用于软件维护环境的集成生存期模型,它有助于维护人员修改现有的软件系统,为工具自动化提供了基础。该模型用来表示软件系统开发和维护信息,主要表示软件生存期不同阶段间的关系。因为它只表示软件系统某些“基本的”语义性质:控制流、数据流和数据结构,所以与特定的规格说明、设计和程序语言无关。从软件生存期的一个阶段导出另一个阶段的软件开发过程是用图重写规则表示的,从而说明如何实现软件系统的各个成分。这种方法可以分析软件系绕在整个生存期中的基本性质。文中举例说明了该模型的使用。