UML状态机模型元素的RSL形式化定义

UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。

基于UML/OCL的C^4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。

基于UML及属性的需求分析方法在列控系统需求规范中的应用

采用基于属性的分析方法,对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行,不断修正该模型,得到可实现的PSL模型。最后运用验证工具对PSL模型进行相关属性的验证,通过反例对错误进行定位和修改。以需求规范中的模式转换为例,采用该方法对其可达性、转移性及死锁性进行验证,验证过程表明基于属性的分析方法适用于CTCS-3级列控系统需求规范的验证。

面向对象的软件工程方法——统一软件过程

介绍了统一软件过程与UML的关系 ,分析了统一软件过程的各个主要阶段 。

交通地理信息系统中的时空动态分段模型研究

动态分段技术是交通地理信息系统(GIS-T)中一项重要的线性要素动态显示与分析技术,该文提出了一种时空动态分段模型,使动态分段系统的组成成分融入时态因素,并将属性的时态信息作为属性信息表的字段存储,通过时态地理信息系统技术完成物理段的时态变化。利用统一建模语言(UML)的类图设计方式开发了物理模型,描述了时空动态分段模型中对象之间的关系,并定义了必要的属性和操作;同时基于线性参照系统(LRS)表达空间实体的方法,概括了模型中所涉及到的主要拓扑关系。实验表明,时空动态分段模型弥补其他模型将时空参考分为时间参考和空间参考所产生的不足,而且更明确地将多重属性和物理实体有机结合起来。

基于模型驱动的电信业务需求建模方法设计

本研究针对电信业务在技术、性能、需求、异构融合等多方面需求日益增加的发展状况,对比业务需求建模方法与模型驱动开发方法的契合度,提出一种采用统一建模语言(UML)用例图进行电信业务的需求捕获和高层次需求描述的方法,辅以统一建模语言顺序图对业务执行流程进行动态描述,从现有的电信业务中根据ParlayX标准尽量全面地抽取业务能力集,并在模拟环境中扩展UML用例图实现该电信业务领域元模型集合,最终即可调用生成的元模型集合搭建不同的电信业务逻辑。