基于本体的铁路客运枢纽内部设施建模研究

按照设计功能不同,将铁路客运枢纽内部设施分为行人步行设施、交通服务设施和辅助服务设施3类。运用本体建模方法,分析了枢纽内部不同类型设施使用与行人行为之间的关系,建立了设施功能与行人行为关系概念模型,并运用Z语言对其进行了形式化描述。该模型揭示了行人在每一设施内的行为特征以及设施与行人的交互关系,为系统设计、实现和验证提供了准确的、一致的文档依据,为下一步软件结构建模奠定了基础。