9. The process of claim 8 where the steps in step D of translating said Formal Language Specification comprises using a computer for automatically retrieving information from said Formal Language Specification to create said code generation structures which are structured such that when said code generation method(s) of said code generation structure(s) are executed, said code generation methods(s) generate computer readable source code which is structured to control a computer to allow a logged on user to execute an event which said logged on user has privileges to execute, said source code structured to control a computer to provide a mechanism to construct a message associated to said event and which will be sent to an object server implemented in said source code which executes said event.
9. The process of claim 8 where the steps in step D of translating said Formal Language Specification comprises using a computer for automatically retrieving information from said Formal Language Specification to create said code generation structures which are structured such that when said code generation method(s) of said code generation structure(s) are executed, said code generation methods(s) generate computer readable source code which is structured to control a computer to allow a logged on user to execute an event which said logged on user has privileges to execute, said source code structured to control a computer to provide a mechanism to construct a message associated to said event and which will be sent to an object server implemented in said source code which executes said event. 11. The process of claim 9 wherein said step D includes the steps of automatically retrieving information from said Formal Language Specification which is such as to create said code generation structures which are structured such that when said code generation method(s) of said code generation structure(s) are executed, computer readable source code is automatically generated which has the capability to control a computer to provide a mechanism to execute a service which is an event and by performing the following steps: controlling a computer to provide a mechanism to, except in the case of a creation event, verify the existence of said object on which said event will be executed, or the non-existence of the object to be created in the case of a creation event; controlling a computer to provide a mechanism to, except in the case of a creation event, recover the state of the object on which the event is executed from whatever memory or database or repository or any other persistence means (hereafter just “memory”) to which said state of said object has been saved; controlling a computer to provide a mechanism to verify that, according to the state transition diagram of the class owning said event, there is a valid state transition labelled with said event being executed and for the agent class to which the user belongs who logged onto said application, in which case said mechanism will update the state of the object on which the event is executed according to said state transition diagram, and if there is no valid state transition, said mechanism will produce an error message causing the execution of the event to stop and roll back all changes made to the state of the object on which said event is executed; controlling a computer to provide a mechanism to verify that every precondition that is defined for said event being executed and for said agent class to which the user logged on to the computer application belongs, is satisfied, and should any of said preconditions not be satisfied, then said mechanism will produce an error with the error message being predefined for said precondition that does not hold causing the execution of the event to stop and roll back all changes made to the state of said object on which said event is executed; except in the case of creation events or destruction events, controlling a computer to provide a mechanism to produce the changes of values to the variable attributes of said class owning said event for which valuation formulas in said functional model have been defined such that said valuations relate said variable attributes with the event being executed, and wherein said mechanism applies only the changes to the variable attributes which are required by valuation formulas of valuations whose valuation condition formula evaluates to true, if any, or the change required by a valuation formula of a valuation having no valuation condition formula; in the case of a creation event, controlling a computer to provide a mechanism to assign a value to every constant or variable attribute of an object on which said creation event is executed and establishing relationships between said object on which said creation event is executed with objects of classes related with the class owning said creation event; in the case of a destruction event, controlling a computer to provide a mechanism to delete relationships of the object on which said destruction event is executed with objects said object is related to; except in the case of destruction events, controlling a computer to provide a mechanism to check that every integrity constraint define d in the class owning said event is satisfied, for the object whose state has been changed by said event, and should any of said integrity constraints not be satisfied, said mechanism will produce an error with the error message predefined for said integrity constraint that does not hold, said mechanism causing the execution of the event to stop and roll back all changes made to the state of the object on which the event is executed; except in the case of a destruction event, controlling a computer to provide a mechanism to save the changes made to said object on which the event is executed to memory; in the case of a destruction event, controlling a computer to provide a mechanism to delete the object on which said destruction event is executed from memory to which said object has been saved; except in the case of a destruction event, controlling a computer to provide a mechanism to check every trigger condition on said object on which said event is executed for every trigger relationship defined on said class owning said event, and wherein for every trigger condition that holds, a mechanism to execute the service associated to said trigger relationship by: providing a mechanism to determine the set of objects on which said service associated to said trigger will be executed, and executing said service on every object of said set of objects by: giving a value to every argument of said service, and ensuring that every argument that requires a value is provided a value and that any argument whose value is provided receives a valid value; and invoking the execution of said service on said object; and controlling a computer to provide a mechanism to inform the requestor of the result of executing the event.