Efficient formalization of railway interlocking data in RailML
作者：
Highlights：
• We propose a database of railway interlocking mapping logical and physical features.
• The database builds on a novel UML formalization of interlocking elements.
• The standard machine-readable language RailML is used to structure the database.
• Our formalization overcomes the limits of previous approaches proposed so far.
• Using a standard database eases the communication process among stakeholders.
摘要
•We propose a database of railway interlocking mapping logical and physical features.•The database builds on a novel UML formalization of interlocking elements.•The standard machine-readable language RailML is used to structure the database.•Our formalization overcomes the limits of previous approaches proposed so far.•Using a standard database eases the communication process among stakeholders.
论文关键词：Railway interlocking,RailML database,UML class diagram,Simplification of railway engineering processes,Knowledge-based railway systems
论文评审过程：Received 30 October 2014, Revised 17 November 2014, Accepted 18 November 2014, Available online 27 November 2014.
论文官网地址：https://doi.org/10.1016/j.is.2014.11.007
