As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
To satisfy the instancy requirements of resources integration inside and outside the enterprises for resolving the uniformity of information resources for steel enterprises in competing environment, a control model of...To satisfy the instancy requirements of resources integration inside and outside the enterprises for resolving the uniformity of information resources for steel enterprises in competing environment, a control model of ISPS-ERP system integration is proposed. The schemes based on regeneration of operation flow are designed here. The well effects are achieved during the implementing course in XG enterprise.展开更多
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
文摘To satisfy the instancy requirements of resources integration inside and outside the enterprises for resolving the uniformity of information resources for steel enterprises in competing environment, a control model of ISPS-ERP system integration is proposed. The schemes based on regeneration of operation flow are designed here. The well effects are achieved during the implementing course in XG enterprise.
