A theory of distributing train rescheduling

  • Chris George
Session 7b: Distributed Systems (2)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1051)


We outline the formal modelling of a software system to support the scheduling and rescheduling of trains. The current (prototype) system supports only centralized rescheduling, but in practice rescheduling is done on an area basis, and a distributed system is required. Developing a distributed system involves the notions of delegability of functions to adjust schedules and distributability of functions to analyse them for conformance to regulations. We formalize these notions in terms of a more abstract, generic specification and then instantiate this to generate a specification of the distributed system.


Analysis Function Railway Network Adjustment Function Theorem Versus Feasible Timetable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Peter Michael Bruun et al: RAISE tools user guide. Technical report LACOS/-CRI/DOC/4, CRI A/S (1995)Google Scholar
  2. 2.
    Dong Yulin and Dines Bjørner: PRaCoSy: Document deliverables. Technical report dyl/deliv/1, UNU/IIST (1994)Google Scholar
  3. 3.
    Chris George: Distributed train rescheduling. Technical report 42, UNU/IIST (1995)Google Scholar
  4. 4.
    Chris George and Søren Prehn: The RAISE Justification Handbook. Technical report LACOS/CRI/DOC/7, CRI A/S (1995)Google Scholar
  5. 5.
    Hong Mei: Distributed concurrent architecture for rescheduling. Technical report hm/arch/1, UNU/IIST (1995)Google Scholar
  6. 6.
    Liu Xin: A simple running map display tool. Technical report 1x/tool/01, UNU/IIST (1994)Google Scholar
  7. 7.
    Søren Prehn: A formal model of the railway application domain system. Technical report sp/5, UNU/IIST (1994)Google Scholar
  8. 8.
    Søren Prehn: A railway running map design. Technical report sp/12, UNU/IIST (1994)Google Scholar
  9. 9.
    The RAISE Language Group: The RAISE Specification Language. Prentice Hall BCS Practitioners Series (1992)Google Scholar
  10. 10.
    The RAISE Method Group: The RAISE Development Method. Prentice Hall BCS Practitioners Series (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Chris George
    • 1
  1. 1.United Nations University International Institute for Software Technology (UNU/IIST)Macau

Personalised recommendations