TUG: An Executable Specification Language
Chia-Chu Chiang · 2006
The TUG (Tree Unified with Grammar) specification language aims at providing formality and abstraction for capturing requirements and expressing the functionality of programs. A TUG specification is formal since the language uses a mathematical notation based on the principles of definite clause grammars (DCGs) and regular expression. This paper introduces the syntax and semantics of the TUG specification language. Some important features of TUG are illustrated with the aid of sample program specifications. With the formality of the TUG specification language, a specification in the language can be interpreted through a language processor. A prototype can be exercised by executing the specification. Formality and executability are designed into the language to give an improvement in quality for user requirements.