Chapter 6: The Compact Dynamic Bus Station

AbstractThis document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [8]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique in the day to day software practice. The approach followed was to execute a number of projects in cooperation with industry on realistic cases.In this document is reported on the design of an innovative system for the control of bus stations. The innovative aspect is that buses do not have a fixed platform at the station, the platform is dynamically assigned and communicated to the driver upon entering the station. It was tried to specify data and processes in an algebraic style. During the project it turned out that formal specification in this style did not work to our advantage