Automatic software production system

• US 7,278,130 B2
• Filed: 06/01/2001
• Issued: 10/02/2007
• Est. Priority Date: 04/04/2000
• Status: Expired due to Fees

• Current Assignee: SOSY Incorporated
• Original Assignee: SOSY Incorporated
• Inventors: Iborra, Jose, Pastor, Oscar
• Primary Examiner(s): CHAVIS, JOHN Q
• Application Number:
  US09/872,413
• Publication Number:
  US 20020100014A1
• Time in Patent Office: 2,314 Days
• Field of Search: 717/101
• US Class Current: 717/101
• CPC Class Codes: G06F 16/2365 Ensuring data consistency and integrity
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/35 model driven
• CPC Class Codes: G06F 8/73 Program documentation

Abstract

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Claims

1. A computer-readable medium having stored thereon

computer-readable instructions, which, when executed by a computer,

cause said computer to perform the following process:

receive user input data that defines primitives of a conceptual model, said conceptual model being comprised of an object model, a dynamic model, a functional model and a presentation model which together define the complete functionality of a target computer program to be automatically generated and which defines complete interface mechanisms for interaction of user or other processes with the functionality of said target computer program, no other software code, code component, code libraries or any other third party software artifact being necessary to completely define the functionality of said target computer program and its interface mechanisms;

automatically converting said user input data into data structures in the form of formal language statements organized by a formal language syntax, the collection of all such formal language statements forming a formal language specification;

validating said formal language specification to ensure it is complete, correct and unambiguous to prepare said formal language specification for automatic translation into complete, operative code of said target computer program which is the functional equivalent of said conceptual model and having a user interface defined by the primitives entered by said user which define said presentation model.