49. A process for using a computer to automatically translate a validated Formal Specification written in a formal language as that term is used in computer science and meaning that there is an agreed upon syntax to every statement defining the proper structure of the component parts of the statement and there is an agreed upon semantic meaning for every term and that term is defined so as to have one and only one meaning, said Formal Specification defining an application computer program the source code of which will be created by said automatic translation of said Formal Specification, said automatic translation creating working and complete source code with a user interface and a database schema that is the functional equivalent of said Formal Specification, comprising the steps: A) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code implementing fixed files to embody headers, definitions, constants and auxiliary functions; B) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code implementing auxiliary widgets; C) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to carry out the following functions, for each class, generate a query/selection form, an instance selection component, a specialization component if the class is specialized from other classes and requires extra initialization, and, for each service of said class, locating the appropriate object server code and generating and displaying an activation service form which points to the appropriate object server for said service; D) using a computer to automatically generate source code structured to control a computer to generate and display an access form to identify a user who wishes to use said application program by providing user name and password login capability; E) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to implement a main form containing a menu application block which displays, in menu form, all the services an authenticated user is allowed to access, and wherein said computer automatically generates system logic code to implement a server object which is source code structured to control a computer to receive arguments needed to execute said service and execute said service; F) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to implement communication functions to, for each service, send a message containing the necessary arguments needed to execute said service and send said message to the appropriate object server code structured to control a computer to carry out said service so as, so as to allow a logged on user to invoke services selected by said user; and G) using a computer to automatically generate source code structured to control a computer to extract the state of all attributes of all classes defined in said Formal Specification and automatically generate a data store such as a relational database which stores the state of said attributes, and wherein step E is carried out in such a way as to automatically generate system logic source code structured to control a computer to access said data store so as to provide the ability to store changes in attributes of said classes as the values of said attributes change.
49. A process for using a computer to automatically translate a validated Formal Specification written in a formal language as that term is used in computer science and meaning that there is an agreed upon syntax to every statement defining the proper structure of the component parts of the statement and there is an agreed upon semantic meaning for every term and that term is defined so as to have one and only one meaning, said Formal Specification defining an application computer program the source code of which will be created by said automatic translation of said Formal Specification, said automatic translation creating working and complete source code with a user interface and a database schema that is the functional equivalent of said Formal Specification, comprising the steps: A) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code implementing fixed files to embody headers, definitions, constants and auxiliary functions; B) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code implementing auxiliary widgets; C) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to carry out the following functions, for each class, generate a query/selection form, an instance selection component, a specialization component if the class is specialized from other classes and requires extra initialization, and, for each service of said class, locating the appropriate object server code and generating and displaying an activation service form which points to the appropriate object server for said service; D) using a computer to automatically generate source code structured to control a computer to generate and display an access form to identify a user who wishes to use said application program by providing user name and password login capability; E) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to implement a main form containing a menu application block which displays, in menu form, all the services an authenticated user is allowed to access, and wherein said computer automatically generates system logic code to implement a server object which is source code structured to control a computer to receive arguments needed to execute said service and execute said service; F) using a computer to automatically extract necessary requirements data from said Formal Specification and automatically generate source code structured to control a computer to implement communication functions to, for each service, send a message containing the necessary arguments needed to execute said service and send said message to the appropriate object server code structured to control a computer to carry out said service so as, so as to allow a logged on user to invoke services selected by said user; and G) using a computer to automatically generate source code structured to control a computer to extract the state of all attributes of all classes defined in said Formal Specification and automatically generate a data store such as a relational database which stores the state of said attributes, and wherein step E is carried out in such a way as to automatically generate system logic source code structured to control a computer to access said data store so as to provide the ability to store changes in attributes of said classes as the values of said attributes change. 50. The process of claim 49 wherein step D is performed by controlling a computer to iterate over said Formal Specification to determine a list of agent classes and by controlling a computer to execute a code generation method of a code generation structure stored in memory of a computer which stores requirements data from said Formal Specification which is used by said code generation method to fill in blanks in a source code template so as to generate source code which is structured to control a computer to display a dialog box which provides a list of agent classes from which a user logging onto said application program can choose and displays a field where a user can enter an object ID of a valid object ID for a valid object instance belonging to a class said user selects and displays a field in which said user enters a password, and wherein step G is performed by controlling a computer to execute a code generation method of a code generation structure stored in memory of a computer which stores requirements data from said Formal Specification which is used by said code generation method to fill in blanks in a source code template so as to generate source code for said application computer program which is structured to control a computer to create said data store by creating a table in a relational database for every class defined in said Formal Specification with a field in each said table for each said constant or variable attribute of said class.