Abstract of The Waveform Description Language: Moving from Implementation to Specification in Ptolemy II
Ed Willink, Chief Technical Consultant, Thales Research

Many current research and development activities make significant contributions to the quality of some particular implementation approach. In this paper we describe the Waveform Description Language, in which the best characteristics of a variety of distinct programming approaches are exploited so that standard implementation domain practices can be applied in the specification domain. A single WDL specification may be refined to support semi-automated conversion to a variety of implementations. A WDL specification avoids the ambiguities and contradictions characteristic of many conventional specifications with an underlying formality that remains accessible and familiar to programmers.