Method and apparatus for generating program code for world wide web service applications

A method of producing a service code application, comprising the steps of:

• storing a source code program written in a World Wide Web specific language in a memory of a computer system;
• storing at least one MHTML document template associated with said source code program in said memory of said computer system;
• inputting said source code program and said at least one MHTML document template to a World Wide Web specific compiler executing within said computer system;
• checking said source code program and said at least one MHTML document template for errors by said World Wide Web specific compiler;
• and
• compiling said checked source code program and said at least one MHTML document template into a compiled World Wide Web program to provide an executable World Wide Web program that is as correct as said source code program, and that is capable of processing state information, and said at least one MHTML document template before said executable World Wide Web program is executed.

A method of generating from a source code program written in a MAWL language a service application program that is as correct as the source code program, comprising the steps of:

• a. inputting the source code program written in the MAWL language to a MAWL compiler;
• b. checking the source code program for correctness;
• and
• c. compiling said checked source code program into a run-time service application that is capable of processing state information.

A method of producing a service application that is free from coding errors, comprising the steps of:

• typing a source code program in an expressive MAWL language;
• inputting said source code program written in the MAWL language to a MAWL compiler;
• inputting at least one MHTML form program to said MAWL compiler with said source code program;
• checking said source code program and said at least one MHTML form program for errors;
• correcting all errors in said source code program and said at least one MHTML form program discovered by the checking step;
• and
• compiling said source code program into a compiled web program and providing an executable web program that is as correct as said source code program, and that is capable of processing state information, before said executable web program is executed.

A system for providing a World Wide Web service, comprising:

• means for storing a source code program;
• means for generating World Wide Web service code from said source code program;
• said means for generating World Wide Web service code having means for issuing an error message if an error is found in said source code program;
• and
• means for submitting said source code program to said means for generating World Wide Web service code;
• wherein said generating means generates correct World Wide Web service code from said source code program if said source code program does not have an identifiable error or generates an error message if said source code program has an identifiable error, said service code being capable of processing state information.

A method of generating service code for a service application, comprising the steps of:

• a. inputting a source program written in a World Wide Web specific language to a World Wide Web specific compiler;
• b. inputting at least one separate form program to said World Wide Web specific compiler;
• c. checking said source program for errors by said World Wide Web specific compiler;
• and
• d. compiling said checked source program into a compiled World Wide Web program to provide an executable World Wide Web service code program that is as correct as said source program, and capable of processing state information, before said executable World Wide Web service code program is executed.