Relational Inference-based Formalization of Detection Method for Structure Clash between Program Input and Output Data

摘要

For improving software productivity and reliability, the authors proposed comprehensible and extensible Program Specification Description Language PSDL. The PSDL adopted the ER (Entity-Relationship) model as a conceptual model, and data flow to express its computations. The authors also proposed the transformation method from non-procedural language PSDL program specifications to procedural program. However, the proposition remains in the basic parts, and still has problems. For examplre, recursive processing and complicated input-output data processing are still not established. To solve these problems, rigorous discussions of the transformation method are needed. This paper proposes the formalization for program generation particularly to detect structure clash, in this case is the ordering clash in the transformation method from program specifications to procedural program. The formalization employs relational inference based on the data model.