System and method for source code generation

A method for generating computer source code from a model such that a resulting source code is to be generated in a desired programming language, and the model and the generated source code form a correspondence of conceptual design, the method comprising:

• including design patterns in a catalog of pre-existing design patterns;
• creating formal definitions of the design patterns in the catalog in terms of elemental design patterns (EDPs);
• selecting the design patterns according to original design decisions to provide an abstract form model representing an abstracted view of a computer program;
• binding the selected design patterns to elements in the model to produce bindings;
• using the formal definitions of the EDPs to re-express the model as the abstract form model;
• mapping the EDPs of the abstract form model to constructs in one of a target programming language, assembly language, or bytecode language to produce mapped constructs.