Patent ID: 8141031

Claim:
A process comprising the steps: A) using an editor computer program to control a computer to display diagrams and textual interactive dialogs which a user of said computer can use to enter requirements data which is stored in and defines a Conceptual Model of an application computer program to be automatically written by a translator program controlling a computer, said Conceptual Model defining the object classes, attributes, services, functionality, behavior and user interface of said application computer program; B) controlling a computer using said editor computer program or another computer program to automatically convert said Conceptual Model into a Formal Specification of said application computer program written in a formal specification language which has rules of syntax and semantics, each piece of requirements data stored in said Conceptual Model having a formal language counterpart, and each piece of requirements data being converted into its formal language counterpart as it is entered, and controlling said computer to use said rules of syntax and semantics to check said Formal Specification to ensure said Formal Specification is complete and correct; C) using said Formal Specification as a source of data, controlling a computer with a one or more translator programs to perform a translation process to automatically generate source code for said application computer program including object server code for every service defined in said Conceptual Model, and controlling a computer with said one or more translator programs to automatically generate source code which implements the user interface for said application computer program which is modeled in said Conceptual Model, said translation process functioning to automatically generate source code which implements said user interface.