TRAMWAY NETWORKS AS ROUTE GRAPHS
L Klaus, Bernd Krieg-Br, Till Mossakowski · 2004
The purpose of this paper is threefold: (1) to show a methodology for introducing formality step-by-step, starting from a light-weight ontology, (2) to apply it to the generic Route Graph model, instantiated here to Tramway Networks, and (3) to demonstrate that separation of concerns into layers of abstraction and application of generic formal notions such as graph abstraction lead to a useful decomposition of safety properties.