A generic framework for modeling heterogeneous real-time systems

Complex real-time systems usually consist of heterogeneous components. These components interact with different semantics. Modeling these systems normally need integrating several domain-specific tools such as UML, Simulink. But interchanging data between these tools is very difficult. UML is a standard modeling language for object-oriented software development, used more and more in real-time domain. It provides several extensibility mechanisms to allow modeling special domains. This paper presents a generic framework, which is based on UML notations and metamodels, for heterogeneous modeling real-time systems. So engineers from different domains can work together on a unified platform.     

基于UML-RT的复杂嵌入式系统建模方法及其应用

分析了UML在实时系统设计中的优点和需要解决的主要问题,论述了基于UML RT的实时嵌入式系统设计方法,并且对其进行扩展以支持数据流计算模型的建模,最后以汽车巡航系统为例加以说明。     

XUML/ACME集成建模方法与VMI构架研究

以供应商管理库存（VMI）模型的软件开发为背景,研究扩展UML（XUML）与ACME的集成建模方法及其在构架设计中的应用问题。探讨了UML结构模型和行为模型的语义扩展,以增强其表达能力,并将其用于VMI构架设计;进而基于ACME的开放语义框架,给出可实现的VMI构架模板的描述;最后对XUML和ACME两种建模方法的互补与集成的价值做了基本评价。通过在VMI软件开发中的实际应用,证明该方法是可行的,并取得良好的效果。     

Aspect-oriented modeling framework for security hardening

Aspect-oriented modeling (AOM) emerged as a promising paradigm for handling crosscutting concerns, such as security, at the software modeling level. Most existing AOM contributions are presented from a practical perspective and lack formal syntax and semantics. In this paper, we present a practical and formal AOM framework for software security hardening. Our contributions are threefold. First, we define an AOM approach for the specification of security aspects at the unified modeling language (UML) design level. Second, we design and implement the matching and the weaving processes into UML design models. Third, we elaborate formal specifications for aspect matching and weaving in UML activity diagrams. Finally, we demonstrate the viability and the relevance of our propositions using a case study. The proposed framework is supported by a tool built on top of IBM-Rational Software Modeler.     

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

一种改进的软件工程需求建模框架

软件需求建模是软件工程中一个非常重要的环节，同时也是一个非常困难的环节。在统一建模语言UML的基础上，文章提出一种改进的软件工程需求建模框架，在此框架中，引入任务陈述和功能求精树的技术来确定用例，并给出了一个新的用例描述模板。开发人员利用该框架能够更详尽、更精确地获取软件系统的功能需求，并且利用该框架建立的高层次需求模型也比较容易细化为更详细的软件规格说明。     

统一建模技术研究*

统一建模是指采用UML语言并运用RUP过程进行软件系统建模的技术。分析了统一建模的特点,总结了在统一建模过程中使用的一些技术,包括如何分析用例,如何在设计中保持一致的体系结构风格,如何识别和重组设计元素等。     

扩展UML语义以支持并行和分布式仿真系统设计

标准UML中不包含虚拟时间和时间同步语义，因而缺乏对并行和分布式仿真(parallel and distributed simulation，PADS)系统设计的支持，对标准UML语义进行扩展以支持PADS领域的概念并降低PADS系统构造的复杂性．主要的工作包括在UML，中引入虚拟时间语义，用包含虚拟时间标记和约束的状态图和交互图来描述仿真实体的功能属性，另外，通过创建虚拟时间同步构造型(stereotype)，提出“分离法”将时间同步细节与仿真模型内部的功能属性逻辑地分离，不仅使得仿真对象建模更加容易，而且使仿真模型和时间同步策略两者的重用性大大提高。     

基于UML系统分析的关系数据库设计

针对系统开发中业务分析、软件开发与数据库开发之间的协同问题，从统一建模语言（Unified Modeling Language，UML）系统分析的角度，提出业务建模、系统分析与设计、模型映射构成的面向对象的关系数据库设计流程，通过UML可视化模型，实现软件开发周期中的需求统一．     

Architectural concepts and Design Patterns for behavior modeling and integration

The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of interconnected entities and behaviors. To tackle this complexity, the approach proposed consists in combining architectural concepts, Design Patterns and object-oriented modeling with unified modeling language (UML). In this context, the present paper describes a modeling framework to take greater advantage of these concepts and to design flexible, intelligible control software. It proposes to objectify the behaviors, which leads to a two-level architecture based on three concepts: resources software images of the controlled system-behaviors applied to these resources, and meta-behaviors, i.e. means for behavior integration and adaptation. Two Design Patterns are proposed to describe how to specify behaviors and define the means to combine and adapt them. The first pattern, Polymorphic Behavior, provides the means to define new behaviors for a system and to plug them dynamically. The second one, Structured Behavior, provides the means to use finite state machines for behavior switching. The originality of the framework is that it defines concepts, a UML-based notation and heuristics which specifies how to apply these concepts. To illustrate the elements mentioned, this paper uses the control software of a walking robot as a running example.     

基于UML实时系统的分析和设计

介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性.     

Generative geometric design

Boundary solid grammars use design rules that express complex geometric conditions and operations using a logical reasoning mechanism, allowing one to construct powerful rules and describe appropriate grammars for the generation of solid models for a variety of design domains. The formalism I present in this article is not sufficient for all engineering and architectural domains (e.g., polyhedral solids are not adequate geometric abstractions for mechanical design). The boundary solid grammar formalism is, however, well suited to extensions for the representation of nonlinear geometry and mixed-dimensional modeling. Design in these domains will require additional representations, such as electrical and hydraulic schematics, structural and aerodynamic meshes, kinematics, and assemblies. These representations and their analysis techniques will need to be integrated into a common framework to permit interdependent design analysis and generation     

Documenting electronic commerce systems and software using the unified modeling language

Electronic commerce (EC) systems are complex systems consisting of cooperating heterogeneous software, hardware and database subsystems that are distributed among processing nodes [1]. They are reactive, real-time and concurrent distributed systems. They are financially critical systems since they perform distributed business functions, the success of which is very critical for the business operation. The use of well-defined specification and documentation techniques is very essential for the effective development and maintenance of these systems. In this paper, we propose the use of the unified modeling language (UML) [2] as a technique for documenting and specifying EC systems at various levels of abstractions and from different views. We believe that the use of UML ensures a better reliability and reusability of these systems.     

角色Use Case:UML的一个更加完全的分析方法

根据角色模型 ,讨论了一个更加完全的 U ML角色 U se Case分析方法 .提倡使用角色的视点定义和分析UML Use Case,使用概念的角色 Use Case模型定义和分析系统的需求 .提出了运用 AOP和角色 U se Case法的求精 (refine)、实现 (realization)和反演 (reflection)的 3R机制与 U ML相结合 ,跨越系统分析和设计之间的鸿沟 .为开发可构造、可扩充的开放式软件系统提供了一些方法和手段 .     

In practice: UML software architecture and design description

The Unified Modeling Language has attracted many organizations and practitioners. UML is now the de facto modeling language for software development. Several features account for its popularity: it's a standardized notation, rich in expressivity; UML 2.0 provides 13 diagram types that enable modeling several different views and abstraction levels. Furthermore, UML supports domain-specific extensions using stereotypes and tagged values. Finally, several case tools integrate UML modeling with other tasks such as generating code and reverse-engineering models from code. Our study focused on UML use and model quality in actual projects rather than on its adequacy as a notation or language.     

面向软件模糊自适应的UML用例扩展

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法--Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入新的构造型和标记值,建立了Fuzzy Case的一般模型;同时定义了Fuzzy Case的语法结构,并用对象约束语言(OCL)定义了其语义描述,形成了完整的SFSA建模设施。实例验证表明,与传统方法相比,Fuzzy Case能更清晰地表达SFSA的结构,准确定义软件的内部语义,建模过程更加简单方便,能有效提高SFSA的开发效率。     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

量化迭代和增量软件过程的一组UML度量

迭代和增量把软件开发分成可以重复的不同活动的流程,是现代软件开发过程的基本特征。迭代地执行每个流程就相应地增加软件产品,直至完成产品的开发。为定量地指导和管理迭代式增量软件开发,提出了基于UML模型的一组软件度量。这组度量针对UML的可视化以及一致地应用在多个软件开发活动的特性,对UML各种图所表达的信息量、可视化大小以及复杂性三个方面度量软件制品,进而度量迭代的增量。分析并通过案例讨论了这组度量的有效性及其在软件项目管理中的应用。     

基于UML的系统需求分析

UML(Unified Modelling Language)是面向对象方法建模的语言标准工具,在系统建模过程中应用很广泛,在UML技术指导下,针对软件开发过程中的需求分析阶段,提出了一种结构清晰的功能需求分析模型,在系统用例图的基础上,建立类图和时序图,从静态和动态不同侧面表达系统模型,迭代的建模过程保证了模型的一致性,一个实例详细描述了系统功能需求分析建模的过程.