a relational database model for representation of formal specifications
Literature has established the effectiveness of formal specifications for modeling specifications for computer system properties as well as for verifying program correctness. However, tools that can enable the typical commercial software developer to utilize formal methods are not in widespread use. A possible reason for this is that commercial tools can more easily be produced if industry-standard storage mechanisms such as relational database management systems (RDBMS) can be leveraged as repositories. This paper explores how to model and store formal specifications, specifically those based on the Zed method, in a relational database. We explore a technique for fully decomposing the predicate calculus to a relational database to provide a framework for manipulation and reverse generation of formal specifications and automating the implementation of relational states.
formal specification formal methods relational database management system rdbms zed relational state state transition