US5966535A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method and apparatus for generating program code for world wide web service applications
Assignee: AT&T Inc
•
Filing: 1995-12-07
•
Granted: 1999-10-12
•
Expires: 2015-12-07
Abstract
Abstract A new application language called the MAWL language and a compiler for the new application language called the MAWL compiler are provided for use by programmers of World Wide Web services. The MAWL language and the MAWL compiler may be used to provide any World Wide Web service, but they are especially useful for programming interactive services. The MAWL language provides an expressive typing capability. Through this expressive ability World Wide Web services that have defined states, sequences and sessions are straightforward where previously such capabilities do not exist. Further, the MAWL compiler performs error checking for common errors and self-consistency before actual compiling so run-time error checking is avoided. Together the MAWL language and the MAWL compiler greatly increase the productivity of the World Wide Web programmer and the complexity of the World Wide Web services that can reliably be provided.
Inventors
- 👤 Michael Abraham Benedikt
- 👤 David Alan Ladd
- 👤 James Christopher Ramming
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-05 02:34
CPC Classifications
G; G06; G06F; G06F8/00; G06F8/40; G06F8/41; G06F8/43; G06F8/436; G06F8/30
Claims Analysis
Total Claims: 26
Claim 1
Independent Claim
96 words
A method of generating service code for a service application, comprising the steps of: a. inputting a source code written in a language for a distributed network to a compiler; b. inputting at least one separate document to said compiler; c. compiling said source code and said document into a program to provide a state defining executable service code program that is capable of processing state information, wherein the state information is capable of at least one of: being passed from document to document, and controlling the scope and persistence of information within or between documents.
Claim 2
Independent Claim
96 words
A method of generating service code for a service application, comprising the steps of: a. inputting a source code written in a language for a distributed network to a compiler; b. inputting at least one separate document to said compiler; c. compiling said source code and said document into a program to provide a state defining executable service code program that is capable of processing state information, wherein the state information is capable of at least one of: being passed from document to document, and controlling the scope and persistence of information within or between documents.
Claim 3
Dependent Claim
27 words
The method of claim 1, between step b and step c, further comprising the step of: checking all forms for errors and consistency with said source program.
Claim 4
Dependent Claim
24 words
The method of claim 1, wherein: said error checking step includes checking said forms for correct syntax and checking for type-correct substitution of variables.
Claim 5
Dependent Claim
32 words
The method of claim 3, wherein said error checking step includes parsing said source program and analyzing said parsed source program for correctness before said source program is compiled into executable code.
Claim 6
Dependent Claim
22 words
The method of claim 1, wherein said error checking step includes checking said forms to ensure that only HTML can be generated.
Claim 7
Dependent Claim
36 words
The method of claim 1, wherein said error checking step includes the steps of: identifying an error in said source program; and correcting said identified error in said source program before said compiling by said compiler.
Claim 8
Dependent Claim
39 words
The method of claim 1, wherein said error checking step includes the steps of: identifying each error in said source program; and correcting each said identified error in said source program respectively before said compiling by said World compiler.
Claim 9
Independent Claim
163 words
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.
Claim 10
Independent Claim
163 words
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.
Claim 11
Dependent Claim
20 words
The method of claim 8, wherein: said error checking step includes checking source code program for type-correct substitution of variables.
Claim 12
Dependent Claim
35 words
The method of claim 8, wherein said error checking step includes parsing said source code program and analyzing said parsed source code program for correctness before said source code program is compiled into executable code.
Claim 13
Dependent Claim
42 words
The method of claim 8, wherein said error checking step includes the steps of: identifying an error in said source code program; and correcting said identified error in said source code program before said compiling by said World Wide Web specific compiler.
Claim 14
Dependent Claim
44 words
The method of claim 8, wherein said error checking step includes the steps of: identifying each error in said source code program; and correcting each said identified error in said source code program respectively before said compiling by said World Wide Web specific compiler.
Claim 15
Dependent Claim
29 words
The method of claim 8, wherein said source code program specifies all of the service logic and the MHTML document templates do not specify any of the service logic.
Claim 16
Dependent Claim
24 words
The method of claim 8, wherein changing said MHTML document templates changes a presentation of said service logic without changing said service logic itself.
Claim 17
Independent Claim
74 words
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.
Claim 18
Independent Claim
74 words
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.
Claim 19
Dependent Claim
55 words
The method of claim 15, between step b and step c, further comprising the steps of: generating an error message identifying an error in said source code program; correcting said identified error in said source code program to provide a corrected source code program; and inputting said corrected source code program to said MAWL compiler.
Claim 20
Dependent Claim
20 words
The method of claim 15, wherein said step c further comprises the step of parsing said inputted source code program.
Claim 21
Independent Claim
134 words
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.
Claim 22
Independent Claim
134 words
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.
Claim 23
Independent Claim
124 words
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.
Claim 24
Independent Claim
124 words
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.
Claim 25
Independent Claim
112 words
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.
Claim 26
Independent Claim
112 words
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.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2002-10-11 | 2003-04-12 | 2003-10-12 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2006-10-11 | 2007-04-12 | 2007-10-12 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2010-10-11 | 2011-04-12 | 2011-10-12 | $7700.00 | Window Closed / Lapsed |