武器装备体系作战需求分析框架研究

武器装备体系作战需求分析是信息时代作战需求分析领域的新概念,对联合作战能力的发展意义重大.在深入研究美军的联合能力集成开发系统基础上,提出一种新的武器装备体系作战需求分析框架.该框架基于两项关键技术:作战任务形式化描述与作战能力量化,包含四个主要步骤:基本任务需求分析、作战能力需求分析、解决方案生成与事后独立分析.实验表明,该框架能有效地将联合作战概念、联合使命转换为相应的作战需求,具有很好的应用前景.     

基于UML的信息系统需求分析模型

针对目前常用的需求分析方法存在的弊端,提出了一种基于UML的信息系统需求分析模型,该模型提供了一个基于UML信息系统需求分析框架及其应用过程.实践表明,该模型对信息系统开发具有较好的适应性.     

作战仿真中基于UML的通信建模研究

依据作战模拟中通信仿真的重要性和关键性,提出了作战模拟中通信仿真研究的框架,分析了在通信仿真中可能使用的各类通信模型.在仿真初期需求分析阶段,利用UML类图开发一套建模标准,对典型的通信模型进行分类细化,赋予相应的最小属性组,并以类图关联示例,说明模型间的关系,实现了大量通信模型描述的模块化、标准化,增强建模、分析研究的可重用性和互操作性.     

基于UML的海军作战仿真想定设计方法研究

作战想定是作战仿真系统运行的基础,仿真想定辅助生成系统是作战仿真系统一个重要组成部分.以海军装备应用研究系统为背景.着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的特点和应用,探讨了使用UML表示标准的作战想定开发方法,以合同进攻敌海上编队为例介绍了海军作战想定的设计方法.通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了使军事专业人员和仿真技术开发人员之间顺利交流沟通的目的,为仿真想定辅助生成系统的开发奠定了基础.     

基于WDA的卫星应用作战需求分析研究

根据全球卫星军事应用正在从主要为战略服务向以战术应用转换为重点,对卫星应用装备从以完成特定任务为主体转变为以支持作战单元为主体的应用。因此,如何准确、高效的获得卫星应用需求是引导装备发展规划的前提。利用WDA方法对作战需求分析领域进行研究,并提出按照部队编成和作战层次分为两维的作战空间分解模型;再根据模型提出了需求提取的过程,阐述了作战空间模型如何使用。由于WDA方法具有非事件的特点,其对各种作战情况的分析下提取的需求将更加全面。通过对不同作战具体情况的细致分析,可以发现采用WDA方法对需求分析结果更加详细。     

基于HLA的海航作战仿真系统设计研究

首先对基于高层体系结构（HLA）的海航作战仿真系统进行了介绍和分析,在分析作战特点的基础上,依据HLA的体系结构规范,构建了海航作战仿真系统的体系结构框架,并利用统一建模语言（UML）,完成了系统对象类和交互类模型设计,研究了仿真成员代码实现的方法,对航空兵作战仿真的进一步研究和系统开发具有一定的借鉴意义。     

基于原语-模式的体系结构作战活动模型建模方法

为了理解、比较和集成由不同框架、不同工具及建模方法开发的体系结构,更好地支持以数据为中心的体系结构开发策略,提出了基于原语-模式的军事信息系统体系结构建模方法;依据XML的模型转换实现,重点研究了基于建模原语-模式的体系结构元模型与建模方法之间的语义映射规则;基于国际国防企业体系结构规范构建了作战活动模型(OV-5)的元模型,分别研究了OV-5的IDEF0建模和UML活动图建模的具体实现,构建了IDEF0及UML活动图与OV-5元模型数据元素严格的语义映射规则,规范了体系结构建模方法并保证了体系结构语义的精确性和一致性。     

构建面向Agent的网上选课系统的需求模型

随着Agent技术的发展,面向Agent的需求工程已经成为软件工程研究的热点。当前对面向Agent需求工程的研究提出了一个新的观点,即把需求工程的活动划分为早期需求分析和后期需求分析两个阶段。在该文构建的需求模型中,早期需求分析过程主要采用由Eric Yu等人提出的I*框架,同时为了防止对需求分析的随意性和不准确,基于该框架提出新的需求模型。在后期的需求分析过程中,主要采用UML来完成。基于此,该文采用基于I*和UML的面向Agent需求建模方法,以网上选课系统案例为背景,研究构建面向Agent系统的需求模型的主要过程。     

信息牵引的空基任务系统能力需求分析方法

空基任务系统大规模集成传感器、计算设备和通信设备,具有高度复杂性。基于电子设备物理特性和操作特性获取系统能力需求的传统方法过于关注模块细节,系统性差,难以准确全面反映军事需求。针对该情况,提出信息牵引的系统能力需求分析方法。该方法基于作战任务需求,以信息为纽带,建立作战行为与系统行为的映射关系,依次分析系统信息的获取、加工、存储、应用、分发等过程以及各过程之间的相互关系,在此基础上获取对具体软硬件模块的能力需求。在新型空基任务系统装备研制中,该方法有效提升了需求产品质量和需求开发效率,得到了用户肯定。实践表明,该方法可以准确、全面地获取空基任务系统的能力需求。     

UML语言及其在人力资源管理系统建模中的应用

UML(Unified Modeling Language)是一种面向对象的标准建模语言.文中介绍了UML的主要内容和基于UML的建模过程;并以人力资源管理系统为例,描述了如何运用UML语言进行系统的建模,包括需求分析、领域分析、结构设计、详细设计、实现、测试和配置.通过采用UML语言进行系统的分析和设计,建立系统的静态模型和动态模型,解决了领域专家、软件设计人员和客户之间交流的难题,从而加速了开发的进程,提高了代码的质量,并且支持动态的业务需求.     

基于整体效果的装备体系作战效能评估方法研究

针对武器装备体系作战效能评估进行了研究,提出了基于整体效果的装备体系作战效能评估方法,包括任务完成情况分析、整体作战效果分析、基于价值中心的等效分析、灵敏度分析及装备贡献度分析等环节。在此基础上,建立了基于整体效果的装备体系作战效能评估元模型,并设计开发了装备体系作战效能评估分析系统。实践证明,所提出的方法是可行的。     

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk     

基于进程代数的UML序列图的形式语义

UML序列图用于建模实例间动态交互过程．但UML规范并没有给出其形式化的动态语义，这不利于对模型进行形式化验证和证明。本文把序列图中的事件动作及其执行序列映射为进程代数中的进程表达式，利用进程代数语义框架来构建UML序列图的形式语义。首先，建立了序列图到进程代数的语义映射规则；然后用Plotkin风格的结构化操作语义给出并证明务件组合算子演绎规则；最后，归纳定义了算子次序约束条件并证明了其可终止性。     

基于UML的系统分析与设计框架

UML是一种标准的建模语言,但它并没有定义一个标准的开发过程.根据多年的教学科研和开发实践,提出一个基于UML的面向对象分析与设计框架,以用例为核心,描述软件系统的功能需求,静态结构,动态行为和物理结构4个方面.该框架展示了UML建模在系统开发中的应用,深入地研究建模过程中所用的模型图及其之间的关系,解决了开发过程中的模型平稳过渡问题,时面向对象分析与设计具有很强的指导性.     

基于元模型的软件开发与管理集成研究

当今软件开发呈现一些新特点：团队并行开发,基于模型的软件开发,迭代增量开发等。开发过程是如此复杂,融合软件开发与管理支持的环境成为必要。文章认为开发与管理集成的关键是：环境提供对元模型的支持,以UML为基础的软件产品标准化,多种开发工具的数据集成和良好的数据管理机制。文章介绍了将开发与管理融为一体的集成化环境UML＿IDME,集中讨论环境如何提供和协调过程模型,产品模型,组织模型和开发工具集合来达到开发与管理集成的目的。此外,还讨论了过程模型如何组织,指导和监控软件开发。     

基于结构化操作语义的安全协议分析框架研究

操作语义模型是一种用来分析安全协议的新模型,它以操作语义学为基础,结合了多种协议分析模型的优点,能直接分析多个协议的组合问题.本文在对安全协议操作语义模型进行研究的基础上,构建了一个基于结构化操作语义的安全协议分析框架,给出了该框架中的协议规格,协议运行,威胁模型和安全性质等形式化定义.最后,以经典的Needham Schroeder Lowe 协议为例,用该分析框架分析了其机密性和认证性.     

Systems performance prediction using requirements quality attributes classification

Poor requirements definition can adversely impact system cost and performance for government acquisition programs. This can be mitigated by ensuring requirements statements are written in a clear and unambiguous manner with high linguistic quality. This paper introduces a statistical model that uses requirements quality factors to predict system operational performance. This work explores four classification techniques (Logistic Regression, Naïve Bayes Classifier, Support Vector Machine, and K-Nearest Neighbor) to develop the predictive model. This model is created using empirical data from current major acquisition programs within the federal government. Operational Requirements Documents and Operational Test Reports are the data sources, respectively, for the system requirements statements and the accompanying operational test results used for model development. A commercial-off-the-shelf requirements quality analysis tool is used to determine the requirements linguistic quality metrics used in the model. Subsequent to model construction, the predictive value of the model is confirmed through execution of a sensitivity analysis, cross-validation of the data, and an overfitting analysis. Lastly, Receiver Operating Characteristics are examined to determine the best performing model. In all, the results establish that requirements quality is indeed a predictive factor for end-system operational performance, and the resulting statistical model can influence requirements development based on likelihood of successful operational performance.     

基于UML的软件形式化需求分析与验证

针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言（UML）模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。     

UML顺序图的结构化操作语义研究

UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。