15. The process of claim 8 wherein the steps in step D comprise 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 controls a computer to allow a logged on user to interact with and execute the functionality associated to a global transaction by providing a mechanism to construct the message associated to said global transaction and send said message to one or more object servers to execute said global transaction.
15. The process of claim 8 wherein the steps in step D comprise 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 controls a computer to allow a logged on user to interact with and execute the functionality associated to a global transaction by providing a mechanism to construct the message associated to said global transaction and send said message to one or more object servers to execute said global transaction. 16. The process of claim 15 wherein the steps in step D comprise using a computer for 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, said code generation methods(s) generate computer readable source code which controls a computer to provide mechanisms to give a value to every argument of said global transaction, said mechanisms further controlling said computer such that restrictions and validity checking are performed on the supplied values such that arguments that require a value are provided a value and that any argument whose value is provided is guaranteed to receive a valid value.