区域控制器(Zone Controller, ZC)作为轨道交通运行系统的重要组成部分,是轨道交通现代化的主要标志之一。该系统设计和开发的合理性及安全性考虑是城市轨道交通系统未来研究的主要趋势。结合ZC软件的具体功能需求,利用统一建模语言(Unified Modeling Language, UML)的建模机制,本文采用UML对ZC的移动授权功能(Movement Authority, MA.)进行建模并且实现模型的功能验证。UML分别为ZC的移动授权生成功能建立系统级和典型场景级模型。通过形式化语言对MA功能进行抽象化和模块分析,有效地整理系统的复杂逻辑,从而保证系统需求与抽象出来的模型之间清晰的对应关系。依据UML建模机制特点,进行模型代码化的规范设计,针对静态模型生成功能验证的代码框架,参照动态模型编写功能验证的实现代码,实现模型代码的高度规范与契合。最后,根据城市轨道交通系统中线路数据的特点以及软件工程中相关理论,编写出一组模拟线路数据,完整构建线路地图,实现了UML模型的功能验证。仿真程序完成ZC辖区内多辆列车的同时管理,实现列车进站场景下MA计算、不同状态的列车之间互相追踪场景下MA计算、ZC交界处的MA计算、列车折返场景下MA计算以及CBTC(Communication Based Train Control, CBTC)设备非正常状态下MA的计算与处理。同时,针对模型-代码转化过程中暴露的列车MA生成计算不合理部分进行修正,同时反馈到UML模型中,最终使得模型建立与验证过程均能够实现系统设计预期的所有功能。论文将形式化建模语言UML应用到列控系统中,利用其模型逻辑的清晰度和关系的直观性为典型场景下的MA计算功能建立模型。UML模型细化软件设计的理论方案,同时模型-代码互相转化的特性为软件开发提供参考规范,改善了MA计算功能应用软件的设计人员与开发人员的沟通和交流。模型的建立与功能验证证明,通过UML建立的模型能够很好实现系统需求设计的功能,该模型构建的代码框架和实现流程能够通过VisualStudio2010仿真平台清晰、完整的实现预计场景下列车的MA计算。因此,UML建模工具的应用在列控系统的开发中有一定实践意义,CBTC其他子系统也可以做相关尝试。