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. 53. The process of claim 49 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 so as to extract requirements data from said Formal Specification needed to create a database schema and fill in blanks of a source code template stored in said code generation structure so as to automatically create source code structured to control a computer to create a persistence tier in the form of said database schema in memory of a computer which stores the values of all object attributes for all class objects or class instances, and wherein said code generation method extracts for each class defined in said Formal Specification requirements data including name, constant attributes of either the emergent or inherited type, variable attributes of either the emergent or inherited type, identification function, inherited identification function, aggregation relationships of either the emergent or inherited type and agent information, and wherein said database schema comprises any data structure which stores the values of all object attributes in a manner that allows system logic of said application computer program to retrieve said object attribute values at will, said data structure preferably being a table in a relational database in said memory for each elemental class defined in said Formal Specification, each said table having a field therein for each constant or variable attribute defined for said class in said Formal Specification, each said field being of a type determined by the type of said attribute to which said field corresponds in said Formal Specification, each said table having a primary key, said primary keys for said tables so created being fields in said tables and being determined by attributes marked in said Formal Specification for each class as being identification attributes for their respective classes, and wherein tables in said database schema representing specialized classes, in addition to having fields for emergent and inherited attributes will also have fields corresponding to attributes that constitute the primary key of a table representing an ancestor class, and wherein if a specialized class has its own identification function, these fields constitute a foreign key to a parent class table, and wherein if a class has an aggregation relationship which is multi-valued, a new table is added to represent said aggregation relationship which has a field for each attribute which constitutes a primary key of a related table, the set of all these fields representing the primary keys of related tables representing the primary key of said new table and representing fields coming from each related table's primary key, these fields constituting foreign keys to each related table, and if the aggregation relationship is univalued, said source code is structured to control said computer to copy the fields of the primary key of the other class and these fields constitute a foreign key to the related class table, and wherein said source code which is automatically generated is structured to control a computer to create in each table corresponding to a class a field for each object to store a name of a current state of said object, and to create a field to store a password in tables corresponding to classes that are agents of any service specified in said Formal Specification so as to limit the users which may have access to each said service, and wherein step E is performed by controlling a computer to execute a code generation method of a code generation structure stored in memory of a computer so as to extract requirements data from said Formal Specification needed to fill in a source code template stored in said code generation structure so as to create system logic source code which identifies each point where an internal or external error might occur and generate error checking and handling source code structured to control a computer to notify a user of said application computer program about an error's occurrence, said system logic code including source code structured to control a computer to provide user interfaces defined in said Formal Specification to allow clients to request services and to add, retrieve, update and delete information in said relational database.