14. A computer-readable storage medium having computer-readable instructions stored thereon, which, when executed by a computer, control said computer to provide a user interface mechanism which allows a user to enter user input data which defines a transaction which is a formula which expresses the composition of services which make up said transaction where a service is part of a class which is part of an object model which is part of a conceptual model of a target computer program to be automatically written and whose functionality is defined by said conceptual model, and wherein said transaction is a molecular execution unit expressed in terms of a formula that specifies services in the form of events or transactions which together comprise said molecular execution unit, and said instructions controlling said computer to convert said user input data into one or more data structures in the form of one or more formal language statements written in a formal language which has rules of syntax and semantics which define a grammar, said formal language statements defining said transaction, and said instructions controlling said computer to use said rules of syntax and semantics to validate said formal language statements.
14. A computer-readable storage medium having computer-readable instructions stored thereon, which, when executed by a computer, control said computer to provide a user interface mechanism which allows a user to enter user input data which defines a transaction which is a formula which expresses the composition of services which make up said transaction where a service is part of a class which is part of an object model which is part of a conceptual model of a target computer program to be automatically written and whose functionality is defined by said conceptual model, and wherein said transaction is a molecular execution unit expressed in terms of a formula that specifies services in the form of events or transactions which together comprise said molecular execution unit, and said instructions controlling said computer to convert said user input data into one or more data structures in the form of one or more formal language statements written in a formal language which has rules of syntax and semantics which define a grammar, said formal language statements defining said transaction, and said instructions controlling said computer to use said rules of syntax and semantics to validate said formal language statements. 20. The computer-readable storage medium of claim 14 wherein said computer-readable instructions control said computer to provide a user interface mechanism which allows a user to enter user input data which defines said transaction as a global transaction, wherein said one or more services which comprise said global transaction have arguments whose value is determined in said transaction formula by contained formulas formed by constants, values of input arguments of said transaction or values of attributes of any class in said conceptual model, said computer-readable instructions also controlling said computer to convert said user input into one or more data structures in the form of one or more formal language statements written in a formal language which has rules of syntax and semantics which define a grammar, and which define said global transactions and wherein said instructions control said computer to use said rules of syntax and semantics to validate said one or more formal language statements to ensure that each is complete and correct.