形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

基于UML的软件体系结构开发方法

模型间的平稳过渡是软件系统开发的关键。然而,通常基于UML的软件系统的四种模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构开发方法,改进了模型间的平稳过渡问题。为了表明这个方法的可用性和有效性,我们陈述了库存管理系统应用的案例研究。     

一类通用的适应性软件体系结构风格研究

研究并提出一类通用的适应性软件体系结构风格.通过对适应性软件体系结构的基本特性分析,抽取适应性软件体系结构的通用框架,建立基于多视图建模理论的集成化适应性软件体系结构参考模型,给出多视图模型的演化与映射规律.基于元建模和图转换理论,提出模型映射一致性算法.最后,建立了适应性软件体系结构支撑环境.适应性软件体系结构适用于复杂软件系统,特别是网络环境下大型、开放式软件系统的开发和实施.     

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

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

基于UML的多agent系统软件体系结构建模研究

针对面向agent软件开发方法普遍缺乏对多agent系统软件体系结构的描述的问题,基于UML 2.0规定的两种扩充方式,在UML元模型的基础上增加了描述多agent系统和软件体系结构两个方面特征的建模元素,并用八个视图对多agent系统的软件体系结构进行描述,最后通过实例说明了该方法适用于多agent系统软件体系结构的构造.     

面向方面软件体系结构建模研究

用面向方面编程思想研究软件体系结构,提取体系结构中的横切属性,并以方面连接件的形式对其进行建模,然后提出基于UML的面向方面体系结构元模型,最后通过图书管理系统实例说明具体建模过程,对传统体系结构模型和面向方面体系结构模型进行比较分析,结果表明了面向方面软件体系结构模型具有更高的实际应用价值.     

基于统一建模语言的软件开发实例

统一建模语言(UML)是功能强大的可视化建模语言, 针对UML在建模方面的优势, 以汉中茶叶客户投诉管理系统为例, 从系统的功能分析、系统设计到系统实施, 重点描述了基于UML的软件系统开发建模过程, 并通过建模工具Power Designer 15, 构建了系统的需求模型、静态模型和动态模型.     

基于UML的POS系统体系结构建模

本文采用统一建模语言UML对软件体系结构进行建模,探索了UML在软件体系结构建模方面的特性。全文以POS系统为示例说明该方法的有效性。     

基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域。对软件体系结构的分析和设计已成为决定软件系统（特别是大型软件系统）成功的重要因素。体系结构描述语言ADL能以一种比较直接、精确的方式来描述软件体系结构,但它很难与主流开发方式集成。UML是一种应用广泛的对象建模语言,已被工业界广泛接受。本文介绍了一种UML与ADL集成的方法,对软件系统的开发具有较大的实用价值。     

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

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

Developing platform specific model for MPSoC architecture from UML-based embedded software models

In this paper, we describe a technique to design UML-based software models for MPSoC architecture, which focuses on the development of the platform specific model of embedded software. To develop the platform specific model, we define a process for the design of UML-based software model and suggest an algorithm with precise actions to map the model to MPSoC architecture. In order to support our design process, we implemented our approach in an integrated tool. Using the tool, we applied our design technique to a target system. We believe that our technique provides several benefits such as improving parallelism of tasks and fast-and-valid mapping of software models to hardware architecture.     

基于UML的多视图软件体系结构描述方法研究

提出一种新的基于UML(unified modeling language)的多视图模型,即“6＋1”视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

CHARMY: A Framework for Designing and Verifying Architectural Specifications

Introduced in the early stages of software development, the Charmy framework assists the software architect in making and evaluating architectural choices. Rarely, the software architecture of a system can be established once and forever. Most likely poorly defined and understood architectural constraints and requirements force the software architect to accept ambiguities and move forward to the construction of a suboptimal software architecture. Charmy aims to provide an easy and practical tool for supporting the iterative modeling and evaluation of software architectures. From an UML-based architectural design, an executable prototype is automatically created. Charmy simulation and model checking features help in understanding the functioning of the system and discovering potential inconsistencies of the design. When a satisfactory and stable software architecture is reached, Java code conforming to structural software architecture constraints is automatically generated through suitable transformations. The overall approach is tool supported.     

PKUMoDEL:模型驱动的开发和语言家族支持环境

OMG发布的UML语言家族和MDA架构促进了模型驱动软件开发的思想成为现实.建模语言版本升级或者面向不同领域的语言家族新增成员的不断出现,要求模型驱动开发环境除了使得模型成为软件开发生命周期中的主体之外,还应该具有元模型的定义和操纵能力.模型驱动的开发和语言家族支持环境PKUMoDEL是基于MOF的元建模环境和基于UML2.0的建模环境的集成体,很好地解决了诸如元模型的定义、扩展和评估、建模工具的自适应和演化、不同类型工具之间的集成、模型复用、从模型到运行环境的直接映射和部署等问题.     

面向软件密集型系统的体系结构可变性建模

软件体系结构提供了软件系统的高层抽象,对于软件密集型系统的开发具有重要意义,基于体系结构层次的可变性管理可以有效地实现软件的定制和演化。目前体系结构层次的可变性建模并没有得到足够的关注,在分析出领域体系结构后,无法很好地实现体系结构的建模,而且体系结构层次可变性建模方法并没有很好地对可变性的复杂依赖关系进行建模。提出了一种基于多视图的体系结构可变性建模方法,基于UML Profile扩展机制,定义了可变性的构造型、标记值和相关的约束,并利用基于分离的可变性建模方法,定义可变点交互视图对系统中存在的依赖进行建模。基于可变性视图和依赖视图分离的可变性建模方法,实现了复杂依赖关系的有效管理,提高了可变性建模的效果。以船舶故障预测与健康管理系统作为研究案例,对该方法进行了验证,结果表明该方法能够有效地实现软件密集型系统的建模。     

Software Architecture Design Reasoning: A Case for Improved Methodology Support

Software architecture design is a critical aspect of developing large-scale software systems. However, the practice of architecture design reasoning is immature, partly because of a lack of practical methodology support. The authors discuss why capturing design rationale—the elements of design reasoning—is useful and how developers use it in architecture design. They demonstrate architecture design reasoning's application with a UML-based modeling method called Architecture Rationale and Elements Linkage.     

计算机软件应用体系结构模型研究

通过对计算机软件应用体系结构模型技术的分析研究,可以提高计算机软件系统的开放性、复用性以及集成性。本文主要针对计算机软件应用体系结构模型当中的两层应用体系结构模型、多层应用体系结构模型以及单层应用体系结构模型进行分析研究,对计算机软件应用方面具有指导性作用。     

基于UML的测试用例生成方法研究

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.