基于UML语言的CTCS-1级车载ATP功能建模分析

分析CTCS-1级车载ATP的硬件结构和功能需求,建立系统的用例模型;从系统运营场景出发,划分系统功能的参与者,定义参与者的属性和行为,由此建立了场景类图模型和系统类图模型;利用活动图和时序图,从不同角度描述了系统功能参与者间的交互情况;借助编程语言对所建功能模型进行了验证。