| 摘要 |
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.
|
