基于MDA的联邦开发和执行过程研究

模型驱动体系架构（MDA）是对象管理组织（OMG）2001年7月提出的先进的软件开发方法学,对开发基于HLA的仿真联邦具有很好的借鉴作用;在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势;将MDA应用于基于HLA仿真系统的开发,初步探讨了基于MDA的联邦开发和执行过程,并描述了该过程模型的顶层视图。     

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。     

基于eXecutable UML的网上购物系统建模分析

介绍了基于eXecutable UML的MDA软件工程方法的概念,通过在实际开发中运用eXecutable UML对网上购物系统的建模的例子来进一步阐述了它的买现啄理。运用UseCase用例来获取系统需求,并为系统的各个问题域建模;运用xUML进行系统分析,这个阶段主要有：概念模型、系统顺序图、系统行为契约等。     

基于MDA的联邦开发和执行过程分析与改进

模型驱动体系架构（model driven architecture,MDA）是先进的软件开发方法学,对开发HLA仿真系统具有很好的借鉴作用.在系统地总结了MDA系统开发原理以及联邦开发和执行过程模型（federation development and execute processmodel,FEDEP）的基础上,归纳了应用MDA系统开发方法进行HLA仿真系统开发的技术优势,初步探讨了基于MDA的FEDEP和联邦VV＆A过程.     

MDA概念和技术在仿真系统开发中的应用研究

模型驱动架构(MDA)集成了统一建模语言(UML)、元对象机制(MOF)、可扩展标记语言(XML)和基于XML的元数据交换(XMI)等一系列标准,强调模型在软件开发中的重要作用.简要分析了建模与仿真和软件工程领域的若干典型模型开发与运行过程,将仿真系统的开发过程划分为需求工程、分析、设计、实现和试验五个主要阶段;探讨了模型驱动架构(MDA)的概念和技术(包括模型、建模技术、模型变换技术、代码自动生成技术等)在仿真系统开发各个阶段的应用;以交通仿真为例,给出了部分建模与仿真结果,展示了仿真系统开发过程与MDA相结合的可行性,表明了在MDA工具的支持下,MDA概念和技术的应用可以提高仿真系统的开发效率.     

关键字驱动自动化测试的原理和实现

由GUI自动化功能测试存在的问题,引出了一种以关键字驱动思想为指导的自动化测试模型。首先解释了关键字驱动思想的原理,进而根据这个原理介绍了一种自动化功能测试模型,详细讨论了这个模型的优越性,以及如何应用它来进行测试开发的流程。     

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

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

模型驱动的分布式测试执行自动化研究与实现

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。本文提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,本文提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,我们设计了一个分布式测试执行框架。最后,通过Web 应用测试的实例验证了该方法能有效减少测试时间。     

敏捷模型驱动开发中UML的应用

敏捷模型驱动开发是模型驱动开发的敏捷版,强调构建＂足够好＂的模型。通过分析敏捷模型驱动开发与UML之间的关系,探讨如何在敏捷建模中应用UML,得出合理利用UML可以提高开发效率的结论。最后,指出在软件开发中,敏捷模型驱动开发与UML共同存在的问题。     

协同状态网及其在软件建模和分析中的应用

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻“银弹”式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。     

The Next Generation Software Program

The papers in this issue provide an overview of the research fostered by the NSF Next Generation Software (NGS) Program², and some representative projects funded under the program. The NGS Program was announced in October of 1998, and with several calls for proposals between 1998 and 2004 has supported research in two broad technical thrusts. One program component has supported research for developing Technology for Performance Engineered Systems (TPES) for the Design, Management and Runtime Support of Computing Systems and Applications. The second program component, Complex Application Development and runtime Support Systems (CADSS) has sought to create new systems’ software technology, including enhanced compiler capabilities, and tools for the development, runtime support and dynamic composition of complex applications executing on complex computing platforms, such as Computational Grids, assemblies of embedded systems and sensor systems, as well as high-end platforms (Grids-in-a-Box) and special purpose processing systems. Work along the directions of the NGS Program presently continues under the successor program, the NSF Computer Systems Research Program.     

面向下一代网络的软交换技术

本文介绍下一代网络NGN的特征、网络结构，面向NGN的软交换(Softswitch)解决方案以及现有软交换技术的发展方向，着重阐述了软交换的核心思想以及软交换的优势所在。     

下一代网络的核心技术——软交换

软交换作为下一代网络的核心技术,受到业界的普遍关注。文章首先提出了软交换的概念,然后从软交换的体系结构、软交换协议、软交换设备的功能特点三个方面介绍了软交换技术。最后,指出了软交换待研究的问题。这对当前网络向下一代网络的演进具有一定的影响。     

下一代网络的核心技术——软交换

软交换作为下一代网络的核心技术，受到业界的普遍关注。文章首先提出了软交换的概念．然后从软交换的体系结构、软交换协议、软交换设备的功能特点三个方面介绍了软交换技术。最后，指出了软交换待研究的问题。这对当前网络向下一代网络的演进具有一定的影响。     

下一代通讯网络技术IMS简介

在通讯领域由电路交换系统向分组包交换系统过渡的历程中，阶段性的出现了很多种技术，而IMS（IP多媒体子系统）技术是目前通讯界公认的下一代通讯网络的主要标准。IMS技术最大的特点是将传统通讯系统中的业务、控制和接入部分完全分离开，各自成为一个体系．各体系间用统一标准的接口进行连接，这样的结构可以简化网络结构。节省投资，易于管理。     

下一代互联网核心技术IPv6

介绍了IPv6协议的报头结构、包头的扩展、地址表示、域名技术、路由技术以及超长数据传送问题,分析了IPv6的发展现状并对未来的应用作了展望。     

UML技术在实际工程中的应用

UML(标准建模语言)是面向对象技术一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具。该文首先介绍了UML的基本内容,然后结合课题的分析设计过程对UML技术的具体应用做了详细的描述。     

基于UIA技术的软件自动化测试框架实践

介绍了微软的UIA技术，基于UIA开发的一套图形界面软件自动化测试框架，对其关键实现环节做了分析和说明。     

一种利用UML的软件需求阶段风险评估方法

在软件开发活动早期阶段评估软件的风险及其影响程度将有效减少软件开发成本和降低软件开发风险。针对目前软件风险评估的研究主要集中在软件过程的中后期阶段的现状及遵循"尽早识别和控制风险"的实践准则,提出了一种在软件需求分析阶段,利用UML建模图形度量软件风险的方法。该方法主要关注在软件需求分析阶段预防软件风险,为降低风险在软件开发后期产生严重影响提供优化参考。     

下一代木马的关键技术方向探究

研究下一代木马技术的原理和发展方向,是当前计算机安全领域亟待解决的问题,也是未来信息对抗中掌握网络控制主动权的重要环节。根据木马程序多年发展中技术和功能不断演进的趋势,在深入分析目前常见木马的工作机制、主要技术手段以及反木马检测技术手段的基础上,预设一个由主控端群、被控端群和服务中心三部分组成的下一代木马体系结构模型。基于该模型的功能和特点,重点对公钥+私钥的远程控制体系结构、全新的特征隐藏、复杂的通信协议和跨平台执行中所涉及的关键技术进行了分析研究。