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.展开更多
An attempt study of fine course construction strategy of modern education technology, Starting from the modern education technology professional career goals, while, in curriculum setting, highlights the profession＇...An attempt study of fine course construction strategy of modern education technology, Starting from the modern education technology professional career goals, while, in curriculum setting, highlights the profession＇ s ＂Normal＂ , and ＂technical＂ and ＂managerial＂ character. And fully reflect the characteristics of higher vocational college and strengthen the ability of students to achieve a to job competency-based, employment-oriented training model. Through the construction of the core curriculum system, cultivating high-quality skilled training objectives Normal talents.展开更多
文摘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.
文摘An attempt study of fine course construction strategy of modern education technology, Starting from the modern education technology professional career goals, while, in curriculum setting, highlights the profession＇ s ＂Normal＂ , and ＂technical＂ and ＂managerial＂ character. And fully reflect the characteristics of higher vocational college and strengthen the ability of students to achieve a to job competency-based, employment-oriented training model. Through the construction of the core curriculum system, cultivating high-quality skilled training objectives Normal talents.
