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.

Une méthodologie est donnée pour coder le calculi de processus mobile dans XML. Le calculi de processus mobile (par exemple, le pi.-calcul, joignent le calcul, le calcul bleu) sont souvent utilisés en modelant des processus d'affaires. La méthode actuelle prévoit coder une algèbre de processus mobile dans XML en fournissant une algèbre de processus mobile, en ramenant l'algèbre de processus à la notation d'infixe, en transformant l'algèbre de processus mobile de la notation d'infixe pour mettre en tête la notation, et puis en transformant la notation de préfixe à un ensemble d'étiquettes par l'intermédiaire d'induction structurale. L'annotation des étiquettes peut alors être fournie autour des constructeurs de processus de base d'algèbre. L'ensemble d'étiquettes représente un schéma de XML. Le schéma de XML peut alors être réduit à un langage de programmation. Un exemple de ramener une algèbre spécifique (combinators -- un dérivé de pi.-calcul) à un schéma de XML est fourni. Le schéma de XML est réduit à un langage de programmation idéal pour des processus de déroulement des opérations d'affaires.