Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

摘要: A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet appear. Such represents necessary step toward high-dependability engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts spacecraft integration and testing, autonomous systems. Currently available tools methods that start with formal of produce implementation are valuable but not sufficient. The gap current leave unfilled is their models cannot be proven the as originated by customer. For classes systems whose behavior can described finite (but significant) set scenarios, we offer transforming (expressed in restricted natural language, or other appropriate graphical notations) used basis code generation transformations.