| S.F.M. van Vlijmen, P.N. Vriend, and A. van Waveren. Control and data transfer in the distributed editor of the ASF+SDF meta-environment. |
....unaware of the fact that we made the transition from a completely sequential system to a system with several concurrent components. Unavoidably, we encountered hard to explain deadlocks and race conditions. In 1993, a next step was to write a formal specification of the desired system behavior [34] using PSF, a specification language based on process algebra and algebraic specifications [27] Simulation of this specification unveiled other, not yet observed, deadlocks. Although this was clearly an improvement over the existing situation, this specification approach also had its limitations ....
S.F.M. van Vlijmen, P.N. Vriend, and A. van Waveren. Control and data transfer in the distributed editor of the ASF+SDF meta-environment. Technical Report P9415, University of Amsterdam, Programming Research Group, 1994.
....tools like an editor and a parser cooperating with a set of computational components speci ed by the user in ASF SDF. Typical components are typecheckers, compilers and interpreters. The complexity of the resulting system is very high. An attempt to get a grip on this complexity can be found in [SvVvW93]. Although very educational, the attempt is ad hoc and not very exible. A more promising approach is taken in [Kli93b] In that report, Paul Klint proposes a new software application architecture, the ToolBus, which is described in full detail in [BK94] The ToolBus is a general communication ....
P.N. Vriend S.F.M. van Vlijmen and A. van Waveren. Control and data transfer in the distributed editor of the asf+sdf meta-environment. Technical report, Programming Research Group, University of Amsterdam, 1993. 46
No context found.
S.F.M. van Vlijmen, P.N. Vriend, and A. van Waveren. Control and data transfer in the distributed editor of the ASF+SDF meta-environment.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC