Generation of database schemas from Z specifications

Abstract

Automatic translation of a high-level specification language to an executable implementation would be highly useful in maximizing the benefits of formal methods. We will introduce a set of translation functions to fill the specificationimplementation gap in the domain of database applications. Because the mathematical foundation of Z has many properties in common with SQL, a direct mapping from Z to SQL structures can be found. We derive a set of translation functions from Z to SQL for the generation of a database. The proposed methodology results in reducing the expenses and duration of the software development, and also, prevents the errors originated from the manual translation of specifications to code.

Human-Machine Cooperative Program Translation Based on Abstract Syntax Tree

“…Sawan et al [18] proposed a rule-based machine translation method to generate pseudocode from Python code. Saeed et al [19] proposed a rule-based method to translate software requirements to SQL code, which was written with Z specifications. Prahanna et al [20] proposed a tool for automate version conversion.…”

A proposed framework for full automation of software testing process

“…In [19], they have mapped objective-z specification to C++ and the authors of [20] have generated database schemas from Z language specification. On the other hand, [21] presents a method for automatically generating fitness functions based on a method proposed by [22] for test data generation in assertion based testing.…”