论文部分内容阅读
摘要:计算机联锁系统是通过对车站信号设备的控制,实现联锁功能,保证行车安全和提高行车效率的实时控制系统。联锁软件作为计算机联锁系统的核心,是一种规模庞大、功能复杂的安全苛求性软件。联锁软件开发难度大、开发周期长。随着计算机联锁系统的发展,在联锁软件开发中实现软件复用,对提高软件开发效率和开发质量具有重要实际意义。传统的联锁软件开发方法缺乏指导进行软件复用的技术手段,领域工程是实现软件复用的关键技术,有利于实现大粒度的软件复用。因此,基于领域工程方法开发联锁软件是一项值得研究的课题。本文以计算机联锁系统为背景,结合领域工程理论,研究基于特征分析的领域建模方法在联锁系统核心功能建模与开发中的应用。论文主要研究内容如下:(1)分析了联锁软件开发的方法及现状,剖析了已有软件开发方法在软件复用上的不足。阐述了领域工程的定义、基本理论以及工程意义。在此基础上,分析了领域工程方法应用于联锁软件开发中的可行性和重要性。(2)阐述了领域工程方法的研究现状,分析了领域工程发展方向。针对联锁系统的领域特点,确定采用一种基于领域特征分析的领域建模方法进行联锁软件开发研究。(3)将面向特征的领域分析方法应用于联锁系统的需求分析中。划分了联锁软件领域的结构层次。重点对联锁系统核心——联锁逻辑模块进行上下文分析,定义了联锁逻辑模块的领域边界。设计了实体关系模型,以领域实体和实体之间的关系描述了联锁逻辑领域知识。通过建立信号控制单元(包括信号机、道岔、轨道电路和进路)的特征模型捕获了领域用户的需求。分析了功能特征之间的数据流关系,建立了功能模型。(4)在特征模型的基础上,利用元建模工具GME构建了联锁逻辑领域元模型,并解释生成了该领域的建模环境。以进路选排功能为例,验证了建模环境的可用性和易用性。本文研究表明,将基于领域特征分析的领域建模方法应用在联锁软件建模和开发中具有可操作性和实用价值,这对于改进联锁软件开发方法具有借鉴意义。