Meeting the IS Challenge: A Success Story

Facing large-scale economic, social, and technological upheaval, IS executives everywhere are beginning to see that the typical IS department sits on shaky ground. This column describes one IS executive's approach to establishing a solid IS management support system.     

Meeting the IS Challenge: A Success Story

Facing large-scale economic, social, and technological upheaval, IS executives everywhere are beginning to see that the typical IS department sits on shaky ground. This column describes one IS executive's approach to establishing a solid IS management support system.     

软件需求的形式化转换模型

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。     

软件开发模型研究：发展、问题与挑战

在信息资源的开发中,软件是最重要的基础设施,软件开发是最重要的组成部分。介绍了软件开发模型研究的现状与发展,深入分析了各类开发模型存在的问题、环境适应性以及在开放环境下遇到的挑战,从软件系统开发问题复杂性角度出发,提出了相关问题的思考。     

Using Meta-Model Transformation to Model Software Evolution

Understanding how software systems evolve is useful from different perspectives: reverse engineering, empirical studies etc.. For an effective understanding we need an explicit meta-model. We introduce Hismo, a meta-model which is centered around the notion of history and we show how we can obtain it from a snapshot meta-model. Based on our experience in developing the Hismo reverse engineering system, we show how we can transform a snapshot meta-model in a history meta-model.     

软件形式化与可视化软件模型的转换

1.前言现有的面向对象的可视化方法和形式化方法都具有各自的优点,UML是可以完全可视化的图形语言,使用简单,能够很好地体现面向对象软件开发的特点。现在已经有很多面向对象的软件CASE工具都支持UML,其中包括Rational公司的Rational Rose系列,微软公司的Visio,北大青鸟CASE工具,Visual UML等。这些工具支持基于UML的软件开发过程模型RUP(Rational Unify Process)下工作,能够很方便地使用UML建立软件模型,根据软件模型可以自动     

使用基准测试促进研究--对软件工程的挑战

计算机科学中,基准测试已经用来比较计算机系统性能、检索算法信息、数据库和其他一些技术。在研究领域,基准测试的创建和普遍使用经常伴随着快速的技术进步和团队建设。这些形成了科学学科的基准测试理论。基于这个理论,通过团队工作的方式定义基准测试来挑战软件工程研究,变得越来越具有科学性和需要。本文介绍一个成功使用基准测试促进研究状况的个案研究——逆向工程。     

一种软件可信分级模型

软件可信评估是软件可信研究中的一个新方向,相关的理论和方法还处在研究阶段。在分析软件可信内涵的基础上,提出了一种分层的软件可信分级模型。该模型定义了软件可信属性模型与软件可信等级,建立了软件可信证据参考模型,并描述了可信属性、可信等级、可信证据以及可信评价指标之间的内在联系。软件可信分级模型为建立软件可信评估机制提供了一种有效的方法。     

软件可靠性混沌模型

在分析软件失效机理后认为：有些软件失效行为具有混沌性,所以可以用混沌方法来处理其软件可靠性推断问题。但在应用混沌方法前先要进行系统辨识,确定为混沌系统后,才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子,进而用吸引子的揭示的混沌属性来估计软件可靠性。文中在三个标准数据集的基础上对此进行了实证分析,结果表明其中两个数据来源于混沌机制,他们的吸引子具有低维的小数极限维数,而且预测与实际可靠性吻合较好。值得指出的是文中所提混沌方法突破了软件可靠性一贯使用随机分析的局限。     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

基于软件模式的PIM到PSM的模型变换

模型驱动体系结构(MDA)是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型(PIM)和平台相关模型(PSM),然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中,从而提高模型变换效率和降低模型变换出错率。同时,设计了基于软件模式的PIM到PSM的模型变换方法的框架。     

基于软件模式的PIM到PSM的模型变换

模型驱动体系结构（MDA）是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型（PIM）和平台相关模型（PSM），然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中，从而提高模型变换效率和降低模型变换出错率。同时，设计了基于软件模式的PIM到PSM的模型变换方法的框架。     

面向嵌入式软件开发的UML到Simulink模型转换方法

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。     

基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

A Model Curriculum for Aspect-Oriented Software Development

As new software engineering techniques emerge, there's a cognitive shift in how developers approach a problem's analysis and how they design and implement its software-based solution. Future software engineers must be appropriately and effectively trained in new techniques' fundamentals and applications. With techniques becoming more mature, such training moves beyond specialized industrial courses into postgraduate curricula (as advanced topics) and subsequently into undergraduate curricula. A model curriculum for aspect-oriented software development provides guidelines about fundamentals, a common framework, and a step toward developing a body of knowledge     

面向服务领域软件的参考模型

基于构件和面向服务体系结构（SOA）的软件工程被认为是提高大规模的分布式软件开发效率和质量的有效途径.但是,SOA目前还停留在抽象的高层概念模型层面上,还没有一个实用、具体的应用参考模型.介绍了一种基于Web服务软件体系结构的领域系统构造过程.在此基础上,提出了一种面向Web服务的领域软件体系结构参考模型（WS-DSARD）,对其主要元元素角色、操作、服务构件和服务构件类等进行了较为详细的描述,并从服务构件交互与集成的角度分析了服务构件的组合语义.该研究对于面向服务领域软件开发活动的成功实施具有一定的指导作用.     

一种用于软件通信体系结构的构件模型

软件通信体系结构(SoftwareCommunicationsArchitecture,简称SCA)已被软件无线电(SoftwareDefinedRadio,简称SDR)论坛采纳为嵌入式系统的标准通信软件结构。SCA提供了一种支持通信软件和硬件可移植、可配置、可扩充和可重用的软件平台,但作为构件框架时仍显不足,主要是缺乏明确的构件模型。在研究CORBA构件模型(CORBAComponentModel,简称CCM)基础上,提出了适用于SCA的轻量级(Lightweight,简称Lw)CORBA构件模型———LwCCM。