3. The process of claim 2 wherein said step of executing said one or more methods of said code generation class comprises executing said code generation methods of said instances of translation structures in an order needed to write source code which, when compiled and executed by a computer, cause said computer to perform the following functions in accordance with an execution model: A1) providing a dialog by which a user can log in and identify himself or herself; A2) providing an object system view to the user who logged in which displays only the set of object attributes the logged in user can see and only the services the user who logged in can see or activate; A3) providing a dialog by which the user who logged in can provide information to identify an object server which is to carry out a service and introduce service arguments of the service being activated and to build a service activation message containing said arguments and send said service activation message to said object server which is to execute said service; A4) controlling said object server to check any state transition which will be caused by execution of said service is a valid state transition as defined in said Formal Specification; A5) controlling said object server to check for satisfaction of any preconditions specified in said Formal Specification, and if either a precondition is not satisfied or the state transition which would be caused by execution of said service is not valid, ignore said service activation message and provide feedback to the user in the form of an error message; A6) controlling said object server to carry out the service identified in step A3 above if the state transition said object server will cause in every object which will be affected by said service is valid and preconditions of said service are satisfied, and if said state transitions are all valid and all preconditions are met, carrying out said service by making all valuation calculations required by said service and changing the values of attributes in accordance with formulas of said valuations and arguments of said service to change the state of the system implemented by said computer program; A7) controlling said object server to check integrity constraints of each object the state of which is changed by said service to ensure said change of state does not violate an integrity constraint, and, if an integrity constraint is violated, to change the state of said system back to what it was before execution of said service and provide feedback to the user in the form of an error message; A8) controlling said object server to check condition-action rules specifying triggers to determine if any trigger conditions have been satisfied by valid changes of state of any object affected by execution of said service, and, if a trigger condition has occurred, causing the service specified in said condition-action rule to be executed.
15. The process of claim 3 further comprising the steps: C) controlling a computer to display diagrams and textual interactive dialogs and process and store requirements data entered using said diagrams and textual interactive dialogs so as to perform the functions recited herein, said diagrams and textual interactive dialogs being tools which a designer of said computer program uses to enter requirements data that define the meta-model building blocks or elements which comprise an Object Model, a Dynamic Model, a Functional Model and a Presentation Model which together comprise the Conceptual Model which fully specifies the desired structure, behavior and user interface of said computer program, said Conceptual Model being the entity from which said validated Formal Specification is generated; D) storing in said memory of said computer said requirements data entered using said diagrams and textual interactive dialogs and using said computer to automatically convert said requirements data, as it is entered, into elements of a formal specification language and storing all said elements automatically created from items of requirements data as said Formal Specification, said Formal Specification being written in a formal specification language having rules of syntax and semantics that define a grammar; E) controlling a computer to use said rules of syntax and semantics to validate said Formal Specification to ensure it is correct and complete so as to generate said validated Formal Specification.