The Generic Structure Editor

AbstractThe ASF+SDF Meta-environment is an algebraic specification environment geared to language design, and a generator for interactive programming environments for these languages. During a reengineering project of the tooling of this system problems arose: the functionality was distributed over several tools, but the system as a whole contained a deadlock. This document reports on how PSF and Synchronous Interworkings were used to model the interaction of the tools, and to clarify the communication behaviour of the tools to the ASF+SDF engineering team

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