Generation of database schemas from Z specifications

Khalafinejad, S ; Sharif University of Technology | 2011

633 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/EIT.2011.5978562
  3. Publisher: 2011
  4. Abstract:
  5. 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 specification-implementation 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
  6. Keywords:
  7. Code generation ; Formal methods ; Software development ; Automatic translation ; Code Generation ; Database ; Database applications ; Database schemas ; Direct mapping ; High level specification ; Mathematical foundations ; Translation functions ; Z specifications ; Diagnostic radiography ; Formal methods ; High level languages ; Software design ; Specification languages ; Specifications ; Database systems
  8. Source: IEEE International Conference on Electro Information Technology, 15 May 2011 through 17 May 2011, Mankato, MN ; 2011 ; 21540357 (ISSN)
  9. URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5978562