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.展开更多
In this paper, the author considers a new Loss-distribution-approach model, in which the over-dispersed operational risks are modeled by the compound negative binomial process. In the single dimensional case, asymptot...In this paper, the author considers a new Loss-distribution-approach model, in which the over-dispersed operational risks are modeled by the compound negative binomial process. In the single dimensional case, asymptotic expansion for the quantile of compound negative binomial process is explored for computing the capital charge of a bank for operational risk. Moreover, when the dependence structure between different risk cells is modeled by the Frank copula, this approach is extended to the multi-dimensional setting. A practical example is given to demonstrate the effectiveness of approximation results.展开更多
文摘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.
基金supported by the National Natural Science Foundation of China under Grant No.11201001 in partthe Science Research Grant of Shaanxi Province under Grant No.2011JM1019the Foundation Research Project of Engineering University of CAPF under Grant No.WJY201304
文摘In this paper, the author considers a new Loss-distribution-approach model, in which the over-dispersed operational risks are modeled by the compound negative binomial process. In the single dimensional case, asymptotic expansion for the quantile of compound negative binomial process is explored for computing the capital charge of a bank for operational risk. Moreover, when the dependence structure between different risk cells is modeled by the Frank copula, this approach is extended to the multi-dimensional setting. A practical example is given to demonstrate the effectiveness of approximation results.
