XML-based representation of mobile process calculi

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 6516322
SERIAL NO

09560223

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., .pi.-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 .pi.-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

  • MICROSOFT TECHNOLOGY LICENSING, LLC

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Meredith, Lucius Gregory Seattle, WA 10 1036

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation