Design and Implementation of the Formal Specification Acquisition System SAQ
Yunmei Dong, Li Kaide, Haiming Chen, Hu Yongqian, Zhang Ruiling, Tang Ruqing, Zhanyong Wan, Ziming Chen · 2000
The formal specification acquisition system SAQ is designed to assist users to acquire and validate specifications with support of specification bases. In SAQ, specifications are represented by context-free languages and recursive functions defined on contextfree languages, which are called concepts and operations defined on concepts respectively. Acquisition of specifications is completed by human-machine cooperation, based on specification reuse. Concepts are validated by sample recognition and generation, and operations are validated by applying operations on samples of concepts. The design and key implementation techniques of SAQ are introduced, experiments are presented. Key words: formal specification, acquisition, validation, grammar learning algorithm, recursive function evaluation. 1