基于排队网络的VoIP信令解析系统性能分析

基于软件性能模型的软件性能评估可以应用在软件研发周期的早期阶段,以便对软件系统的行为进行定量分析。该文给出一种应用排队网络模型对VoIP信令解析软件体系结构性能的评估方法。该方法的基本思想是：从基于UML描述的活动图导出多类排队网络性能模型,通过统计分析将得出的性能参数反馈给UML软件体系结构模型,不断完善体系结构设计。模型提供的统计性能评估方法克服了受限估计离散事件分析的局限性。     

基于排队论的组件式系统的性能测试方法研究

提出了一种利用软件的结构特性进行软件性能评估的方法;这种方法利用正式模型和非正式模型的优点,进行软件架构的描述,提供了一种软件架构设计级的软件性能评估方法;首先,将软件系统的静态结构描述为序列图,将结构性能描述为UML组件图;然后将所描述的模型自动转化为自动化接口(Interface Automata),从而能够提供性能评估的基础;最后,利用排队论(queuing theory)评估软件系统的性能;提出的方法与其它方法的主要区别在于提出的方法利用了信息描述方法,比如UML来描述软件系统的结构;这种方法具有正式的、简便的语言来提供验证和评估的基础;同时能够在软件开发的早期进行性能的评估,特别是在架构设计阶段,能够进一步降低软件开发的成本。     

资源敏感的分布式系统性能建模方法

早期的性能预测可帮助设计人员有效地评估和改进系统设计,降低性能风险,提高软件制品满足性能需求的可信程度.但复杂低效的性能模型构造过程,严重阻碍了它在软件开发过程中的应用.为简化建模复杂度,以典型的UML模型为基础,研究了一种面向分布式系统的性能模型方法,并提出了一种中间模型——资源场景模型(Resource Scenario Model,RSM),解决了多UML视图转化为多性能模型的问题,使设计人员可以根据自身偏好选择熟悉的工具进行性能建模和性能分析.最后,以UML活动图和序列图到分层排队网和通用随机Petri网模型的转换为例,说明了本方法的可行性和有效性.     

USDP分析设计中基于排队网络模型的软件性能预测方法

在统一软件开发过程（USDP）中，基于统一建模语言（UML）的模型是面向软件功能实现的。为了在软件开发的早期预测软件性能，基于UML的软件模型需要被扩展，增加获取和描述软件性能预测模型变量所需的信息。本文提出了在USDP分析和设计阶段预测软件性能的过程框架；定义了一个排队网络模型（QNM）元模型；基于QNM元模型，扩展软件分析和设计模型，增加软件系统应用模式描述以及协同实现软件系统功能的物理计算设备的特性和行为描述；采用基于可扩展标记语言元数据交换（XMI）的模型变换技术，生成软件性能预测QNM；通过分析所生成的QNM，可以评估和比较软件体系结构和软件设计对待实现的软件系统性能特性的影响。通过示例展示了所提出方法的可应用性。     

MVC体系架构从模式到框架的持续抽象进化

针对有互动响应要求的复杂软件系统的设计和开发,提出一种“(组合)模型-视图-控制器”软件体系架构框架的设计方案。该方案基于进化式软件架构设计理念体系,运用以持续抽象策略为导引的进化式迭代方法,对传统的模型-视图-控制器体系架构模式进行了进化式抽象迭代,并在SAL Studio 1.0项目中予以应用。结果证明,由该方法得出的设计方案提高了相应软件体系的可靠性、可扩展性和可复用性,促进了软件体系的技术进化,能优质、有效、可靠地完成软件开发。     

基于排队网络的流水线模拟器任务缓存新分析模型

流水线软件模拟器是嵌入式微处理器软件仿真系统的关键技术,提出对嵌入式微处理器流水线仿真系统的排队网络建模与缓存大小分析方法.对SPARC-V8流水线模拟器建立M/M/1/N型排队网络模型,分析指令到达及服务阻塞机制.为了解决模型计算中的阻塞问题,在排队网络模型中增加"保持节点",得到扩展的等价排队网络模型.采用近似计算迭代算法,得到系统性能评价指标,并建立排队网络节点性能关系曲线,确定各功能模块的任务缓存大小.根据得出的任务缓存计算值设置流水线软件模拟器实际缓存大小,实验表明模型计算数据与实际运行数据基本一致.该评价方法对嵌入式微处理器流水线仿真系统的建模与性能分析具有重要的指导意义.     

基于软件架构的可靠性分配算法

研究软件可靠性分配中的软件开发成本最小化问题.将软件系统的成本最小化问题表达为一类带约束条件的组合优化问题,并且提出了基于架构的软件可靠性与开发成本评估及分配思想,建立了基于软件架构的可靠性-成本模型,提出了基于该模型的可靠性最优分配算法.该算法可以求解在给定可靠性目标前提下的可靠性分配问题,使得软件系统预期开发成本最小.     

基于元模型的HBase数据模型转换方法

模型驱动架构方法（MDA）可以减少需求变更对软件开发的影响,提高软件开发效率和系统的可移植性、可维护性。本文在MDA思想的基础上,建立平台无关模型和平台相关模型的元模型,在元模型层次上提出UML类图模型到HBase数据模型的转换思想。最后,在ATL模型转换框架中实现UML类图模型到HBase数据模型的转换,证明了自动生成数据库目标模型和MDA在软件开发中的可行性。      

UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.     

UML模型测试策略及在软件测试中的应用

组件技术在软件开发中的应用日益广泛,同时对软件系统质量也有着越来越高的要求.因此,保证软件系统可靠性的软件测试技术显得益发重要.本文分析了组件系统的特点,从整体上研究了基于UML模型的组件测试方法,给出基于UML模型的测试策略,并对部分模型图进行了可测性与测试策略分析.     

一种从UML模型到可靠性分析模型的转换方法

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程，而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准，在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型，如用例图、顺序图、活动图，可以生成软件使用模型，进而可据此产生测试用例。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。     

基于UML的C3I系统软件建模

UML是一种通过面向对象分析确定由类图和行为图表述的逻辑体系结构和通过面向对象设计确定由构件图和配置图表述的物理体系结构的方法,目前已经成为面向对象分析与设计建模事实上的标准;首先介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML结合光电干扰武器系统C3I的建模应用实例对其进行了具体论述。     

基于UML的软件体系结构的定量评估

软件体系结构是软件开发过程的关键制品,应该尽早地分析和评估其质量.目前研究的软件体系结构评估主要集中在基于场景的评估方法,其特点是定性的、主观的、无需专用的体系结构描述语言.本文提出以统一建模语言UML作为软件体系结构描述语言以及度量的软件体系结构的定量评估.针对UML的可视化、多视图、半形式化以及一致地应用在整个软件开发活动的特性,提出一组UML度量,从UML图所表达的信息含量、可视化影响以及图形建模元素之间的关联性这三个方面度量软件体系结构.分析并讨论这组UML度量在评估软件体系结构的规模、复杂性和结构性等质量属性方面的应用.     

基于UML的教务系统设计方法研究

作为一种优秀的统一建模语言UML可以清晰快速地定义面向对象的软件体系结构。该文通过UML建模语言利用用例图,协作图和时序图为教务系统的部分功能建模,充分体现UML语言简洁,图形结构清晰,容易掌握和使用的特点。     

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.     

基于UML类图的软件预测模型

针对面向对象软件开发过程中对软件进行复杂性预测的问题,提出一种在面向对象软件开发的初期阶段通过统一建模语言（UML）类图对软件的复杂性进行度量的模型,该模型运用多元线性方程和统计学原理。对比实验结果表明,为UML类图的可理解性和可修改性所生成的预测模型能建立在由关联和泛化所组成的早期度量标准上。     

基于UML的文档管理系统研究

统一建模语言UML（Unified Modeling Language）是面向对象软件开发方法的重要技术。UML可以对大型复杂的系统的各种成分可视化，说明并构造系统模型，以及建立各种所需的文档。本文以文档管理系统为例，介绍了Intranet／Web体系结构的信息系统站点的构建，以及基于ASP和ISAPI的动态Web页面发布技术，并对基于Intranet和Web技术应用的一些典型问题进行了分析。