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.