13. The process of claim 2 wherein said step of articulating instances of translation structures comprise the steps of creating the following translation structure class instances and storing requirements data therein and storing the created translation structure class instances in memory of said computer: a server class instance storing requirements data needed to generate server components; a global interactions server class instance storing requirements data needed to generate server components for global interactions; an analysis class instance storing requirements data needed to generate executive components; a global interactions analysis class instance storing requirements data needed to generate executive components for global interactions in the form of names of global interactions, global interactions formulas and a list of arguments; an inheritance hierarchy analysis class instance storing requirements data needed to generate executive components for inheritance hierarchies; a query class instance storing requirements data needed to generate query components; a T class instance storing requirements data needed to generate T components; a C class instance storing requirements data needed to generate C components; a CC class instance storing requirements data needed to generate CC component; a P class instance storing requirements data needed to generate P components; a PL class instance storing requirements data needed to generate PL components; an arguments list class instance storing requirements data on the arguments for every service of every class in said Conceptual Model; an analysis class list class instance storing requirements data on the identification function of every class in the Conceptual Model; one or more event class instances having a code generation method to generate the methods needed to resolve a service in executive components to implement events, shared events, transactions and object interactions; one or more auxiliary method class instances having a code generation method to generate the auxiliary methods needed to resolve a service in both executive components and executive components for inheritance hierarchies to implement at least precondition classes, static constraint classes, dynamic constraint classes if preconditions, static constraints and dynamic constraints are present in said Conceptual Model; T & Q method class instances having a code generation method to generate methods needed in query and T components; an inheritance method class instance having a code generation method to generate inheritance-specific methods.
2. A process for automatically generating a computer program from a validated Formal Specification written in a formal language, comprising: starting with a validated Formal Specification that defines the desired structure and behavior and user interface of a computer program to be automatically generated, said validated Formal Specification being automatically generated from and containing requirements data from a Conceptual Model of said computer program, said Conceptual Model being created by an analyst by entering requirements data defining the desired structure and behavior and user interface of said computer program, automatic generation of the source code of said computer program being accomplished by carrying out the following process steps using a computer having a memory: A) articulating instances of translation structure classes stored in said memory by receiving and storing therein requirements data extracted from said validated Formal Specification so as to create translation structure class instances which store requirements data to create a plurality of translation structure instances that, collectively, contain all requirements data encoded in formal language elements of said Formal Specification, said elements being meta-model building blocks, and wherein each said translation structure instance is an instance of a class in any object-oriented programming language at least some of said translation structure instances storing requirements data extracted from said Formal Specification and at least some of said translation structure instances including one or more code generation methods which, when executed, function to generate one or more source code components needed for said computer program in a target programming language desired for said computer program, at least some of said source code components having been articulated with requirements data stored in said translation structure instances, and wherein said translation structure instances include a code generation class instance containing one or more methods to keep a list of translation structure instances which have been created and capable of calling into execution code generation methods of said translation structure instances needed to generate source code of said computer program, and capable of doing so in an order needed to write source code of said computer program, and capable of writing the generated source code to files and organizing said files, and wherein said components of source code which can be generated by said code generation methods of said translation structure instances including source code which implements the structure and behavior and user interface of said computer program defined in said validated Formal Specification; B) executing said one or more methods in said code generation class instance so as to loop through said list of instances of translation structure instances and call into execution the code generation methods of said translation structure instances in an order needed to generate source code components which are articulated with said requirements data stored in said translation structure instances, and generating a global interactions executive component, and generating a global interactions server component, and generating a global functions component, and generating standard components, and writing generated source code components to files and organizing said files so as to create said computer program said computer program capable of controlling a computer to implement the computer program defined in said validated Formal Specification.