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.

 
Web www.patentalert.com

< System and method for providing user defined aggregates in a database system

> Offline editing of XML files using a solution

~ 00434