The Generic Structure Editor
Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend · Electronic Notes in Theoretical Computer Science · 1999
The 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.