Formalization of Business Process with Flexibility Based on Service Interaction

The formalization of business process with flexibility is to make the collaboration between organizations more detailed and explicit. Based on business process modeling notation, this paper firstly abstracts and concludes explicit and implicit structural features of the across-organizational business process with dynamism and flexibility. Meanwhile, a hierarchical mapping model is then constructed combined with the service interaction patterns. Furthermore, the choreography of transmission on message, channels and parameters between entities is achieved in a modular approach, and defined with the semantic rules of Pi-Calculus. It concludes that the method can effectively distinguish the collaborative relationship between organizations, and also be used to achieve the formal choreography of complicated and dynamic business process.