초록 ▼

A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process alge

A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process algebra, reducing the process algebra to infix notation, transforming the mobile process algebra from infix notation to prefix notation, and then transforming the prefix notation to a set of tags via structural induction. Annotating tags can then be provided around the basic process algebra constructors. The set of tags represent an XML schema. The XML schema can then be reduced to a programming language. An example of reducing a specific algebra (combinators--a derivative of π-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes.

대표청구항 ▼

A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process alge

A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process algebra, reducing the process algebra to infix notation, transforming the mobile process algebra from infix notation to prefix notation, and then transforming the prefix notation to a set of tags via structural induction. Annotating tags can then be provided around the basic process algebra constructors. The set of tags represent an XML schema. The XML schema can then be reduced to a programming language. An example of reducing a specific algebra (combinators--a derivative of π-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes. "Smarter Cards Think for Themselves in US Tests," The Daily Telegraph, p. 20, Nov. 2, 1990 (printout of online version, 1 sheet). Rylla R. Goldberg, "MICR Handbook", Health Printers Inc., and Goldberg Publications, 1985, 5 cover pages and pp. 1, 3, 5 and 7-65. Lorrie Grant, "Let Your Fingers Do Shopping . . . In Store," USA Today, Jul. 28, 1999, p. 3B (1 sheet); and printout of online version (3 sheets). Martha Groves, "Frequent-Shopper Plans are Wooing Customers," Los Angeles Times, pp. 1 and 36-37, Oct. 1, 1989 (4 sheets). Rob Jackson, "Package Goods' New Target: Database Marketing," DM News, Dec. 10, 1990 (printout of online version, 6 sheets). Jeffrey Kutler, "Chase Forms Alliance with Terminal Vendor," The American Banker, May 18, 1988 (printout of online version, 2 sheets). Linda P. Campbell, "Looking for ways to Protect Privacy--Caller ID Brings Calls for Safeguards," Chicago Tribune, Sec. C, p. 21 (printout of online version, 4 sheets). "MICR 101", Xerox Internet Site, 1998 (excerpts, 20 sheets). Nancy Zeldis, "Targeted Coupons Hit Non-Users," Advertising Age, p. S-26, Apr. 27, 1987 (3 sheets). Russ Stanton, "Notebook," The Orange County Register, Nov. 8, 1990 (printout of online version, 1 sheet). Murray Raphel, "Take a Card . . . Any Card Please!", Direct Marketing, pp. 63-68, Feb. 1990. "Scanning a New Horizon" Food & Beverage Marketing, Aug. 1989, cover page, index page, and pp. 32-33 (7 sheets). Schedule of Presentation at May 1991 Food Marketing Institute Chicago Conference, and transcript of presentation by Robert J. Mannarino, 4 cover pages and pp. 1-14. "Are You Thinking About the New Benefits of Scanning?", transcript of speech by Robert S. Ukrop, 1987 Food Marketing Institute Convention, May 5, 1987, 1 cover page and pp 1-9. Carlene Thissen & John Karolefski, "Target 2000: The Rising Tide of TechnoMarketing," American Book Company, 1998. Michael Gates, "Database Marketing--The Unfulfilled Promise," Incentive, Sep. 1989 (5 sheets). "What Are We Learning About Electronic Marketing," Willard Bishop Consulting, Ltd., Competitive Edge, pp. 1-4, Jun., 1990. Virginia Miller, "The Vonschek: Electronic Checkwriting With Built-In Float", presented at The Supermartket Industry's Convention, Chicago, May 10, 1988, cover sheet and pp. 1-5.