17. A compiler for compiling instructions in an asynchronous transactional messaging language, said compiler comprising: a code generator for: iteratively compiling a predetermined number of times said instructions in said asynchronous transactional messaging language for providing compilation units, wherein said predetermined number is determined in accordance with a level of dependency of variables within said asynchronous transactional messaging language; organizing said compilation units into a tree; and traversing said tree in depth first traversal order; and a transformer for translating selected encountered compilation units into corresponding second instructions compatible with web services.
17. A compiler for compiling instructions in an asynchronous transactional messaging language, said compiler comprising: a code generator for: iteratively compiling a predetermined number of times said instructions in said asynchronous transactional messaging language for providing compilation units, wherein said predetermined number is determined in accordance with a level of dependency of variables within said asynchronous transactional messaging language; organizing said compilation units into a tree; and traversing said tree in depth first traversal order; and a transformer for translating selected encountered compilation units into corresponding second instructions compatible with web services. 20. A compiler in accordance with claim 17 , wherein: upon encountering all types associated with a service, said transformer transforms method message types and class based port types appearing in service link types in said asynchronous transactional messaging language into corresponding types compatible with said web services; and upon encountering subsequent services, said transformer transforms method based messages and class based ports in said asynchronous transactional messaging language into types compatible with said web services.